nutcracker/nutcracker/OnDemandPropagation

OnDemandPropagation

object OnDemandPropagation
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[M[_], Var0[_], Val0[_], Out0[_]] = Aux1[M, Var0, Val0] { type Out = Out0; }
type Aux1[M[_], Var0[_], Val0[_]] = OnDemandPropagation[M] & Aux1[M, Var0, Val0]