Type Members

1.  final class DomOps[D, U, Δ] extends AnyRef
2.  final case class FinalValOps[M[_], Var[_], Val[_], D, U, Δ, A](ref: Val[D])(implicit dom: Aux[D, U, Δ], fin: Aux[D, A], P: Propagation[M, Var, Val]) extends Product with Serializable
3.  final case class JoinValOps[M[_], Var[_], Val[_], D, U, Δ](ref: Val[D])(implicit dom: Aux[D, U, Δ], P: Propagation[M, Var, Val]) extends Product with Serializable
4.  final case class JoinVarOps[M[_], Var[_], Val[_], D, U, Δ](ref: Var[D])(implicit dom: Aux[D, U, Δ], P: Propagation[M, Var, Val]) extends Product with Serializable
5.  final case class RelativelyComplementedRefOps[Ref[_], D, U, Δ](ref: Ref[D])(implicit dom: Aux[D, U, Δ]) extends Product with Serializable
6.  final case class RelativelyComplementedRefSeqOps[Ref[_], D, U, Δ](refs: IndexedSeq[Ref[D]])(implicit dom: Aux[D, U, Δ]) extends Product with Serializable
7.  trait ToDomOps extends AnyRef
8.  trait ToFinalValOps extends AnyRef
9.  trait ToJoinValOps extends AnyRef
10.  trait ToJoinVarOps extends AnyRef
11.  trait ToRelativelyComplementedRefOps extends AnyRef
12.  trait ToRelativelyComplementedRefSeqOps extends AnyRef
13.  trait ToValOps extends AnyRef
14.  trait ToVarOps extends AnyRef
15.  final case class ValOps[Val[_], D](ref: Val[D]) extends AnyVal with Product with Serializable
16.  final case class VarOps[Var[_], D](ref: Var[D]) extends AnyVal with Product with Serializable