PersistentBranchingModule

Companion:
object
trait Module
class Object
trait Matchable
class Any

Type members

Inherited types

type Lang[K[_], A]
Inherited from:
BranchingModule
type StateK[K[_]]
Inherited from:
BranchingModule
type ValK[K[_], A]
Inherited from:
BranchingModule
type VarK[K[_], A]
Inherited from:
BranchingModule

Value members

Abstract methods

override def stashable: AuxL[VarK, ValK, Lang] & StashModule
Definition Classes

Inherited methods

def assess[K[_]](s: StateK[K])(fetch: NaturalTransformation[[_] =>> VarK[K, _$26], Id])(implicit K: Aux0[K, [_] =>> VarK[K, _$27]]): Assessment[List[K[Unit]]]
Inherited from:
BranchingModule
def emptyK[K[_]]: StateK[K]
Inherited from:
BranchingModule
def stepInterpreter[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang[K, _$24], S]
Inherited from:
BranchingModule

Implicits

Inherited implicits

implicit def freeBranchingPropagation[F[_[_], _]](implicit i: Inject[[_] =>> Lang[[_] =>> FreeK[F, _$8], _$9], [_] =>> F[[_] =>> FreeK[F, _$10], _$11]], P: Aux1[[_] =>> FreeK[F, _$12], [_] =>> VarK[[_] =>> FreeK[F, _$13], _$14], [_] =>> ValK[[_] =>> FreeK[F, _$15], _$16]]): Aux1[[_] =>> FreeK[F, _$17], [_] =>> VarK[[_] =>> FreeK[F, _$18], _$19], [_] =>> ValK[[_] =>> FreeK[F, _$20], _$21]]
Inherited from:
BranchingModule