nutcracker/nutcracker.toolkit/BranchingModule

BranchingModule

object BranchingModule
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[Var0[_[_], _], Val0[_[_], _], Lang0[_[_], _], State0[_[_]]] = AuxL[Var0, Val0, Lang0] { type StateK = [K[_]] =>> State0[K]; }
type Aux0[Var0[_[_], _], Val0[_[_], _]] = BranchingModule { type VarK = [K[_], A] =>> Var0[K, A]; type ValK = [K[_], A] =>> Val0[K, A]; }
type AuxL[Var0[_[_], _], Val0[_[_], _], Lang0[_[_], _]] = Aux0[Var0, Val0] { type Lang = [K[_], A] =>> Lang0[K, A]; }