Levels

object Levels extends Levels
Companion
class
trait Levels
class Object
trait Matchable
class Any

Type members

Types

type Mapper = Fragment => Option[Fragment]

Value members

Concrete methods

def tree(fs: Fragments)(ee: ExecutionEnv): Option[Tree[Fragment]]
def treeLoc(fs: Fragments)(ee: ExecutionEnv): Option[TreeLoc[Fragment]]
def treeLocMap(fs: Fragments)(mapper: Mapper)(ee: ExecutionEnv): Option[TreeLoc[Fragment]]
def treeMap(fs: Fragments)(mapper: Mapper)(ee: ExecutionEnv): Option[Tree[Fragment]]
def treeMap(structure: SpecStructure)(mapper: Mapper)(ee: ExecutionEnv): Option[Tree[Fragment]]

Inherited methods

def fold(fragment: Fragment, level: Level): Level
Inherited from
Levels
Inherited from
Levels
Inherited from
Levels
def levelsToTreeLoc(mapper: Mapper): (Fragment, Int) => TreeLoc[Fragment]
Inherited from
Levels

Concrete fields