package ops
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ops
- ToRelativelyComplementedRefSeqOps
- ToRelativelyComplementedRefOps
- ToJoinVarOps
- ToJoinValOps
- ToFinalValOps
- ToDomOps
- ToVarOps
- ToValOps
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- final class DomOps[D, U, Δ] extends AnyRef
- 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
- 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
- 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
- final case class RelativelyComplementedRefOps[Ref[_], D, U, Δ](ref: Ref[D])(implicit dom: Aux[D, U, Δ]) extends Product with Serializable
- final case class RelativelyComplementedRefSeqOps[Ref[_], D, U, Δ](refs: IndexedSeq[Ref[D]])(implicit dom: Aux[D, U, Δ]) extends Product with Serializable
- trait ToDomOps extends AnyRef
- trait ToFinalValOps extends AnyRef
- trait ToJoinValOps extends AnyRef
- trait ToJoinVarOps extends AnyRef
- trait ToRelativelyComplementedRefOps extends AnyRef
- trait ToRelativelyComplementedRefSeqOps extends AnyRef
- trait ToValOps extends AnyRef
- trait ToVarOps extends AnyRef
- final case class ValOps[Val[_], D](ref: Val[D]) extends AnyVal with Product with Serializable
- final case class VarOps[Var[_], D](ref: Var[D]) extends AnyVal with Product with Serializable
Value Members
- implicit def domOps[D](d: D)(implicit dom: Dom[D]): DomOps[D, Update, Delta]
- Definition Classes
- ToDomOps
- implicit def toFinalValOps[M[_], Var[_], Val[_], D](ref: Val[D])(implicit dom: Dom[D], fin: Final[D], P: Propagation[M, Var, Val]): FinalValOps[M, Var, Val, D, Update, Delta, Out]
- Definition Classes
- ToFinalValOps
- implicit def toFinalValOps1[M[_], Var[_], Val[_], D](ref: Var[D])(implicit dom: Dom[D], fin: Final[D], P: Propagation[M, Var, Val]): FinalValOps[M, Var, Val, D, Update, Delta, Out]
- Definition Classes
- ToFinalValOps
- implicit def toJoinValOps[M[_], Var[_], Val[_], D](ref: Val[D])(implicit dom: JoinDom[D], P: Propagation[M, Var, Val]): JoinValOps[M, Var, Val, D, JoinDom.Update, JoinDom.Delta]
- Definition Classes
- ToJoinValOps
- implicit def toJoinVarOps[M[_], Var[_], Val[_], D](ref: Var[D])(implicit dom: JoinDom[D], P: Propagation[M, Var, Val]): JoinVarOps[M, Var, Val, D, JoinDom.Update, JoinDom.Delta]
- Definition Classes
- ToJoinVarOps
- implicit def toRelativelyComplementedRefOps[Ref[_], D](ref: Ref[D])(implicit dom: RelativelyComplementedDom[D]): RelativelyComplementedRefOps[Ref, D, RelativelyComplementedDom.Update, RelativelyComplementedDom.Delta]
- Definition Classes
- ToRelativelyComplementedRefOps
- implicit def toRelativelyComplementedRefSeqOps[Ref[_], D](refs: IndexedSeq[Ref[D]])(implicit dom: RelativelyComplementedDom[D]): RelativelyComplementedRefSeqOps[Ref, D, RelativelyComplementedDom.Update, RelativelyComplementedDom.Delta]
- Definition Classes
- ToRelativelyComplementedRefSeqOps
- implicit def toValOps[M[_], Var[_], Val[_], D](ref: Val[D])(implicit P: Propagation[M, Var, Val]): ValOps[Val, D]
- Definition Classes
- ToValOps
- implicit def toValOps1[M[_], Var[_], Val[_], D](ref: Var[D])(implicit P: Propagation[M, Var, Val]): ValOps[Val, D]
- Definition Classes
- ToValOps
- implicit def toVarOps[M[_], Var[_], Val[_], D](ref: Var[D])(implicit P: Propagation[M, Var, Val]): VarOps[Var, D]
- Definition Classes
- ToVarOps
- object RelativelyComplementedRefOps extends Serializable
- object dom extends ToDomOps