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

OptionEffect

org.atnos.eff.OptionEffect
See theOptionEffect companion object
trait OptionEffect extends OptionCreation with OptionInterpretation

Effect for optional computations

Attributes

Companion:
object
Source:
OptionEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object OptionEffect.type
object all.type

Members list

Concise view

Type members

Inherited types

type _Option[R] = Member[Option, R]

Attributes

Inherited from:
OptionCreation
Source:
OptionEffect.scala
type _option[R] = MemberIn[Option, R]

Attributes

Inherited from:
OptionCreation
Source:
OptionEffect.scala

Value members

Inherited methods

def fromOption[R : _option, A](o: Option[A]): Eff[R, A]

create an Option effect from a single Option value

create an Option effect from a single Option value

Attributes

Inherited from:
OptionCreation
Source:
OptionEffect.scala
def none[R : _option, A]: Eff[R, A]

no value returned

no value returned

Attributes

Inherited from:
OptionCreation
Source:
OptionEffect.scala
def runOption[R, U, A](effect: Eff[R, A])(implicit m: Aux[Option, R, U]): Eff[U, Option[A]]

Interpret the Option effect

Interpret the Option effect

Stop all computations if None is present once

Attributes

Inherited from:
OptionInterpretation
Source:
OptionEffect.scala
def some[R : _option, A](a: A): Eff[R, A]

a value is returned

a value is returned

Attributes

Inherited from:
OptionCreation
Source:
OptionEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL