Indexing

object Indexing

Fold functions to create index files

class Object
trait Matchable
class Any

Value members

Concrete methods

def createEntries(page: IndexedPage): Vector[IndexEntry]
def createIndexedPage(env: Env, outDir: DirectoryPath): SpecStructure => IndexedPage
def createIndexedPages(env: Env, specifications: List[SpecStructure], outDir: DirectoryPath): List[IndexedPage]
def indexFold(path: FilePath): Fold[[A] =>> Operation[A], 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

def sanitize(name: String): String

remove quotes from names in order to add as json values

remove quotes from names in order to add as json values

Concrete fields

final lazy val ExecutionEnv: ExecutionEnv