nutcracker/nutcracker.ops/Ops

Ops

object Ops extends ToValOps with ToVarOps with ToDomOps
trait ToDomOps
trait ToVarOps
trait ToValOps
class Object
trait Matchable
class Any
Ops.type

Extensions

Extensions

extension [M[_], D](P: BranchingPropagation[M])
final def isDifferentFrom(ref: Var[D])(that: Var[D])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Var[Bool]]
extension [M[_], D](P: Propagation[M])
final def <==(ref: Var[D])(src: Val[D])(implicit dom: JoinDom[D]): M[Subscription[M]]
final def <=>(ref: Var[D])(target: Var[D])(implicit dom: JoinDom[D]): M[Subscription[M]]
extension [M[_], D](P: Propagation[M])
final def whenFinal0(ref: Val[D])(f: D => M[Unit])(implicit dom: Dom[D], fin: Final[D]): M[Subscription[M]]
final def whenFinal0_(ref: Val[D])(f: D => M[Unit])(implicit dom: Dom[D], fin: Final[D]): M[Unit]
extension [M[_], D](P: Propagation[M])
final def =!=(ref: Var[D])(that: Var[D])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Unit]
final def exclude(ref: Var[D])(d: D)(implicit dom: RelativelyComplementedDom[D]): M[Unit]
final def excludeFrom(ref: Val[D])(that: Var[D])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Unit]
final def excludeThat(ref: Var[D])(that: Var[D])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Unit]
extension [M[_], D](P: BranchingPropagation[M])
final def allDifferent(refs: IndexedSeq[Var[D]])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Unit]
extension [M[_], D](P: Propagation[M])(ref: Var[D])
final def remove[A](a: A)(implicit dom: RelativelyComplementedDom[D], fin: Aux[D, A]): M[Unit]
extension [M[_], D](P: Propagation[M])(ref: Var[D])
final def set[A](a: A)(implicit dom: JoinDom[D], fin: Aux[D, A]): M[Unit]
extension [M[_], D](P: Propagation[M])(ref: Val[D])
final def _whenFinal[A, B](f: A => M[B])(implicit dom: Dom[D], fin: Aux[D, A]): M[Subscription[M]]
final def _whenFinal0[B](f: D => M[B])(implicit dom: Dom[D], fin: Final[D]): M[Subscription[M]]
final def asCont[A](implicit dom: Dom[D], fin: Aux[D, A]): IndexedContT[Subscription[M], Unit, M, A]
final def asCont_[A](implicit dom: Dom[D], fin: Aux[D, A]): ContU[M, A]
final def whenFinal[A](f: A => M[Unit])(implicit dom: Dom[D], fin: Aux[D, A]): M[Subscription[M]]
final def whenFinal_[A](f: A => M[Unit])(implicit dom: Dom[D], fin: Aux[D, A]): M[Unit]
extension [M[_], D](P: Propagation[M])
final def ==>(ref: Val[D])(target: Var[D])(implicit dom: JoinDom[D]): M[Subscription[M]]

Implicits

Inherited implicits

implicit def domOps[D](d: D)(implicit dom: Dom[D]): DomOps[D, Update, Delta]
Inherited from:
ToDomOps
implicit def toValOps[M[_], Var[_], Val[_], D](ref: Val[D])(implicit P: Aux1[M, Var, Val]): ValOps[Val, D]
Inherited from:
ToValOps
implicit def toValOps1[M[_], Var[_], D](ref: Var[D])(implicit P: Aux0[M, Var]): ValOps[Val, D]
Inherited from:
ToValOps
implicit def toVarOps[M[_], Var[_], D](ref: Var[D])(implicit P: Aux0[M, Var]): VarOps[Var, D]
Inherited from:
ToVarOps