ChooseEffect

org.atnos.eff.ChooseEffect$
See theChooseEffect companion trait
object ChooseEffect extends ChooseEffect

Attributes

Companion
trait
Source
Choose.scala
Graph
Supertypes
trait ChooseEffect
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited types

type _Choose[R] = Member[Choose, R]

Attributes

Inherited from:
ChooseCreation
Source
Choose.scala
type _choose[R] = MemberIn[Choose, R]

Attributes

Inherited from:
ChooseCreation
Source
Choose.scala

Value members

Inherited methods

def chooseFrom[R : _choose, A](as: List[A]): Eff[R, A]

Attributes

Inherited from:
ChooseCreation
Source
Choose.scala
def plus[R : _choose, A](a1: => Eff[R, A], a2: => Eff[R, A]): Eff[R, A]

Attributes

Inherited from:
ChooseCreation
Source
Choose.scala
def runChoose[R, U, A, F[_] : Alternative](r: Eff[R, A])(implicit evidence$4: Alternative[F], m: Aux[Choose, R, U]): Eff[U, F[A]]

Attributes

Inherited from:
ChooseInterpretation
Source
Choose.scala
def zero[R : _choose, A]: Eff[R, A]

Attributes

Inherited from:
ChooseCreation
Source
Choose.scala