OnDemandPropagationModule

class Object

trait Matchable

class Any

class OnDemandPropagationListModule[Var0, Val0, Out0, Lang0, State0]

Type members

Instructions set.

Type parameters:

K: allows instructions to refer to the type of program in which they are embedded. That is, K will be instantiated into FreeK[F, ?], where F[_[_], _] is a superset of this instruction set (i.e. there is an injection from Lang to F).

Inherited from:

Module

State that the interpreter operates on.

Type parameters:

K: Some states need to store programs or program-producing functions. This type parameter allows the state to talk about the type of programs. It will be instantiated into FreeK[F, ?], where F[_[_], _] is a superset of the instruction set Lang (i.e. there is an injection from Lang to F).

Inherited from:

Module