core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/ChooseEffect

ChooseEffect

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

Attributes

Companion:
trait
Source:
Choose.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL