AnyChoice

case object AnyChoice extends CanPerform[ChoiceSig] with ChoiceSig
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ChoiceSig
trait CanPerform[ChoiceSig]
trait Signature
class Object
trait Matchable
class Any

Type members

Types

override type ThisEffect >: ChoiceSig

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton

Value members

Concrete methods

override def choose[A](as: Iterable[A]): Computation[A, ThisEffect]
Definition Classes
override def orElse[A, U <: ThisEffect](lhs: Computation[A, U], rhs: => Computation[A, U]): Computation[A, U]
Definition Classes

Inherited methods

def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
final def perform[A, U <: ThisEffect](f: ChoiceSig & Apply[U] => A !@! U { def apply(z: ChoiceSig & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform

Concrete fields

override val fail: Computation[Nothing, ThisEffect]