Packages

object DecSet

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DecSet
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final type Delta[A] = Removed[A]
  2. final case class Diff[A](value: DecSet[A]) extends Update[A] with Product with Serializable
  3. type Dom[A] = Aux[DecSet[A], Update[A], Delta[A]] with RelativelyComplementedDom[DecSet[A]] with TerminalDom[DecSet[A]]
  4. final case class Join[A](value: DecSet[A]) extends Update[A] with Product with Serializable
  5. final case class Removed[A](value: Set[A]) extends AnyVal with Product with Serializable
  6. sealed abstract class Update[A] extends AnyRef

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[A](as: A*): DecSet[A]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def branchAndExec[M[_], Var[_], Val[_]](conts: M[Unit]*)(implicit M: BranchingPropagation[M, Var, Val], B: Bind[M]): M[Unit]
  7. def branchAndExec[M[_], Var[_], Val[_]](conts: Set[M[Unit]])(implicit M: BranchingPropagation[M, Var, Val], B: Bind[M]): M[Unit]

    Convenience method to add an exclusive choice of arbitrary free programs to continue.

    Convenience method to add an exclusive choice of arbitrary free programs to continue. When the choice is made, the chosen program is executed.

  8. def branchC[M[_], Var[_], Val[_], A](as: A*)(implicit M: BranchingPropagation[M, Var, Val], B: Bind[M]): Cont[M[Unit], A]
  9. def branchC[M[_], Var[_], Val[_], A](as: Set[A])(implicit M: BranchingPropagation[M, Var, Val], B: Bind[M]): Cont[M[Unit], A]

    Convenience method to add an exclusive choice of multiple possibilities, presented as a continuation of the chosen element.

    Convenience method to add an exclusive choice of multiple possibilities, presented as a continuation of the chosen element. Note that a "branching cell" (see init) is added for each callback that is registered on the returned continuation. Thus, if two callbacks are registered on the returned continuation, it will have the effect of making a choice from the cartesian product as × as. If this is not desired, use init directly.

  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  11. implicit def domInstance[A]: Dom[A]
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. implicit def finalInstance[A]: Aux[DecSet[A], A]
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  17. def init[M[_], Var[_], Val[_], A](as: Set[A])(implicit M: BranchingPropagation[M, Var, Val]): M[Var[DecSet[A]]]
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  22. def oneOf[M[_], Var[_], Val[_], A](as: A*)(implicit M: BranchingPropagation[M, Var, Val]): M[Var[DecSet[A]]]
  23. def singleton[A](a: A): DecSet[A]
  24. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  29. def wrap[A](as: Set[A]): DecSet[A]

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped