package mft
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- mft
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- sealed trait EventSelector[Guard, InTag] extends AnyRef
- sealed trait Forest extends AnyRef
- class MFTBuilder[Guard, InTag, OutTag] extends AnyRef
- sealed trait Rhs[+OutTag] extends AnyRef
- case class Rules[Guard, InTag, OutTag](nparams: Int, tree: List[(EventSelector[Guard, InTag], Rhs[OutTag])]) extends Product with Serializable
Value Members
- def aLeaf[Guard, InTag, OutTag](in: InTag)(implicit builder: MFTBuilder[Guard, InTag, OutTag]): Guardable
- def aNode[Guard, InTag, OutTag](in: InTag)(implicit builder: MFTBuilder[Guard, InTag, OutTag]): Guardable
- def any[Guard, InTag, OutTag](implicit builder: MFTBuilder[Guard, InTag, OutTag]): Guardable
- def anyLeaf[Guard, InTag, OutTag](implicit builder: MFTBuilder[Guard, InTag, OutTag]): Guardable
- def anyNode[Guard, InTag, OutTag](implicit builder: MFTBuilder[Guard, InTag, OutTag]): Guardable
- def applyToLeaf[OutTag](f: (OutTag) => Either[String, OutTag]): ApplyToLeaf[OutTag]
- def copy: Rhs[Nothing]
- def copy[OutTag](children: Rhs[OutTag]): Rhs[OutTag]
- def default[OutTag](out: OutTag): Rhs[OutTag]
- def dsl[Guard, InTag, OutTag](build: (MFTBuilder[Guard, InTag, OutTag]) => Unit): MFT[Guard, InTag, OutTag]
- def eps: Rhs[Nothing]
- def epsilon[Guard, InTag, OutTag](implicit builder: MFTBuilder[Guard, InTag, OutTag]): PatternBuilder
- def leaf[OutTag](out: OutTag): Rhs[OutTag]
- def node[OutTag](out: OutTag)(children: Rhs[OutTag] = Rhs.Epsilon): Rhs[OutTag]
- def state[Guard, InTag, OutTag](args: Int, initial: Boolean = false)(implicit builder: MFTBuilder[Guard, InTag, OutTag]): StateBuilder
- def x0: Forest
- def x1: Forest
- def x2: Forest
- def y(i: Int): Rhs[Nothing]
- object EventSelector
- object Forest
- object MFT
- object Rhs