nutcracker/nutcracker.toolkit/PropagationListModule

PropagationListModule

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

Type members

Types

override type OutK[K[_], A] = Out0[K, A]
override type ValK[K[_], A] = Val0[K, A]
override type VarK[K[_], A] = Var0[K, A]

Inherited types

type Lang[K[_], A] = Lang0[K, A]
Inherited from:
ListModule
type StateK[K[_]] = NonEmptyList[State0[K]]
Inherited from:
ListModule

Value members

Concrete methods

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

Inherited methods

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

Implicits

Implicits

implicit def freePropagation[F[_[_], _]](implicit inj: Inject[[_] =>> Lang0[[_] =>> FreeK[F, _$117], _$118], [_] =>> F[[_] =>> FreeK[F, _$119], _$120]]): Aux[[_] =>> FreeK[F, _$121], [_] =>> Var0[[_] =>> FreeK[F, _$122], _$123], [_] =>> Val0[[_] =>> FreeK[F, _$124], _$125], [_] =>> Out0[[_] =>> FreeK[F, _$126], _$127]]
implicit override def valOrderK[K[_]]: HOrderK[[_] =>> Val0[K, _$111]]
Definition Classes
implicit override def valShowK[K[_]]: ShowK[[_] =>> Val0[K, _$113]]
Definition Classes
implicit override def varOrderK[K[_]]: HOrderK[[_] =>> Var0[K, _$107]]
Definition Classes
implicit override def varShowK[K[_]]: ShowK[[_] =>> Var0[K, _$109]]
Definition Classes

Inherited implicits

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