turbolift-core/turbolift.std_effects/ChoiceSig

ChoiceSig

trait ChoiceSig extends Signature
trait Signature
class Object
trait Matchable
class Any
object AnyChoice.type
trait Choice
object Each.type
object Fail.type

Type members

Inherited types

type !@![A, U]
Inherited from:
Signature
type ThisEffect
Inherited from:
Signature

Value members

Abstract methods

def choose[A](as: Iterable[A]): A !@! ThisEffect
def fail: Nothing !@! ThisEffect
def orElse[A, U <: ThisEffect](lhs: Computation[A, U], rhs: => Computation[A, U]): A !@! U