Indexing

object Indexing

Fold functions to create index files

class Object
trait Matchable
class Any

Value members

Concrete methods

def createIndexedPage(env: Env, outDir: DirectoryPath): SpecStructure => IndexedPage
def createIndexedPages(env: Env, specifications: List[SpecStructure], outDir: DirectoryPath): List[IndexedPage]
def indexFold(path: FilePath): Fold[Operation, IndexedPage, Index]

An Index fold creates an Index page based on all pages to index and saves it to a given file path

An Index fold creates an Index page based on all pages to index and saves it to a given file path

Concrete fields

final lazy
val ExecutionEnv: ExecutionEnv