object PersistentBranchingModule
- Companion:
- class
Type members
Types
type Aux[Var0[_[_], _], Val0[_[_], _], Lang0[_[_], _], State0[_[_]]] = Aux[Var0, Val0, Lang0, State0] & PersistentBranchingModule
type Aux0[Var0[_[_], _], Val0[_[_], _]] = PersistentBranchingModule { type VarK = [K[_], A] =>> Var0[K, A]; type ValK = [K[_], A] =>> Val0[K, A]; }
Value members
Concrete methods
def instance[Var0[_[_], _], Val0[_[_], _]]: PersistentBranchingModule { type VarK = [K[_], A] =>> Var0[K, A]; type ValK = [K[_], A] =>> Val0[K, A]; }