nutcracker/nutcracker/BranchingPropagation

BranchingPropagation

trait BranchingPropagation[M[_]]
Companion:
object
class Object
trait Matchable
class Any

Type members

Types

final type Val >: (Val) <: (Val)
final type Var >: (Var) <: (Var)

Value members

Abstract methods

def newVar[A](a: A)(implicit ev: Splittable[A]): M[Var[A]]

Concrete methods

def newVar[A](implicit ev: SplittableDomWithBottom[A]): M[Var[A]]
def vars[D](d: D, n: Int)(implicit dom: Splittable[D]): M[Vector[Var[D]]]

Implicits

Implicits

implicit def M: Monad[M]
implicit val propagation: Propagation