nutcracker/nutcracker.toolkit/BranchingListModule

BranchingListModule

class BranchingListModule[Var0[_[_], _], Val0[_[_], _], Lang0[_[_], _], State0[_[_]]](base: Aux[Var0, Val0, Lang0, State0]) extends ListModule[Lang0, State0] with BranchingModule
class ListModule[Lang0, State0]
trait Module
class Object
trait Matchable
class Any

Type members

Types

override type Lang[K[_], A] = Lang0[K, A]
type ValK[K[_], A] = Val0[K, A]
type VarK[K[_], A] = Var0[K, A]

Inherited types

type StateK[K[_]] = NonEmptyList[State0[K]]
Inherited from:
ListModule

Value members

Concrete methods

override def assess[K[_]](s: StateK[K])(fetch: NaturalTransformation[[_] =>> Var0[K, _$119], Id])(implicit K: Aux0[K, [_] =>> Var0[K, _$120]]): Assessment[List[K[Unit]]]
Definition Classes
override def freeBranchingPropagation[F[_[_], _]](implicit i: Inject[[_] =>> Lang0[[_] =>> FreeK[F, _$102], _$103], [_] =>> F[[_] =>> FreeK[F, _$104], _$105]], P: Aux1[[_] =>> FreeK[F, _$106], [_] =>> Var0[[_] =>> FreeK[F, _$107], _$108], [_] =>> Val0[[_] =>> FreeK[F, _$109], _$110]]): Aux1[[_] =>> FreeK[F, _$111], [_] =>> Var0[[_] =>> FreeK[F, _$112], _$113], [_] =>> Val0[[_] =>> FreeK[F, _$114], _$115]]
Definition Classes
override def stepInterpreter[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang0[K, _$117], S]
Definition Classes

Inherited methods

override def emptyK[K[_]]: StateK[K]
Definition Classes
Inherited from:
ListModule

Implicits

Inherited implicits

implicit override def stashRestore[K[_]]: StashRestore[StateK[K]]
Definition Classes
Inherited from:
ListModule