nutcracker/nutcracker.toolkit/OnDemandPropagationListModule

OnDemandPropagationListModule

class OnDemandPropagationListModule[Var0[_[_], _], Val0[_[_], _], Out0[_[_], _], Lang0[_[_], _], State0[_[_]]](base: Aux[Var0, Val0, Out0, Lang0, State0]) extends PropagationListModule[Var0, Val0, Out0, Lang0, State0] with StashOnDemandPropagationModule
class PropagationListModule[Var0, Val0, Out0, Lang0, State0]
class ListModule[Lang0, State0]
trait Module
class Object
trait Matchable
class Any

Type members

Inherited types

type Lang[K[_], A] = Lang0[K, A]
Inherited from:
ListModule
override type OutK[K[_], A] = Out0[K, A]
Inherited from:
PropagationListModule
type StateK[K[_]] = NonEmptyList[State0[K]]
Inherited from:
ListModule
override type ValK[K[_], A] = Val0[K, A]
Inherited from:
PropagationListModule
override type VarK[K[_], A] = Var0[K, A]
Inherited from:
PropagationListModule

Value members

Inherited methods

override def emptyK[K[_]]: StateK[K]
Definition Classes
Inherited from:
ListModule
override def fetchK[K[_], A](ref: Val0[K, A], s: StateK[K]): Option[A]
override def fetchK[K[_], A](ref: Var0[K, A], s: StateK[K]): A
override def readOnlyK[K[_], A](ref: Var0[K, A]): Val0[K, A]
override def readOutK[K[_], A](a: Out0[K, A], s: StateK[K]): A
override def stepInterpreterK[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang0[K, _$129], S]

Implicits

Implicits

implicit override def freePropagation[F[_[_], _]](implicit inj: Inject[[_] =>> Lang0[[_] =>> FreeK[F, _$202], _$203], [_] =>> F[[_] =>> FreeK[F, _$204], _$205]]): Aux[[_] =>> FreeK[F, _$206], [_] =>> Var0[[_] =>> FreeK[F, _$207], _$208], [_] =>> Val0[[_] =>> FreeK[F, _$209], _$210], [_] =>> Out0[[_] =>> FreeK[F, _$211], _$212]]

Inherited implicits

implicit override def stashRestore[K[_]]: StashRestore[StateK[K]]
Definition Classes
Inherited from:
ListModule
implicit override def valOrderK[K[_]]: HOrderK[[_] =>> Val0[K, _$111]]
implicit override def valShowK[K[_]]: ShowK[[_] =>> Val0[K, _$113]]
implicit override def varOrderK[K[_]]: HOrderK[[_] =>> Var0[K, _$107]]
implicit override def varShowK[K[_]]: ShowK[[_] =>> Var0[K, _$109]]