Propagation

Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[M[_], Var[_], Val[_], Out0[_]] = Aux1[M, Var, Val] { type Out = Out0; }
type Aux0[M[_], Var0[_]] = Propagation[M] { type Var = Var0; }
type Aux1[M[_], Var[_], Val0[_]] = Aux0[M, Var] { type Val = Val0; }

Value members

Concrete methods

def apply[M[_], Ref[_], Val[_], Out[_]](implicit M: Aux[M, Ref, Val, Out]): Aux[M, Ref, Val, Out]