nutcracker/nutcracker/BranchingPropagation

BranchingPropagation

object BranchingPropagation
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux0[M[_], Var0[_]] = BranchingPropagation[M] { type Propagation <: Aux0[M, Var0]; }
type Aux1[M[_], Var0[_], Val0[_]] = BranchingPropagation[M] { type Propagation <: Aux1[M, Var0, Val0]; }

Implicits

Implicits

implicit def toPropagation[M[_]](implicit bp: BranchingPropagation[M]): Propagation