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

option

org.atnos.eff.option$
object option extends OptionCreation with OptionInterpretation

Attributes

Source:
all.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
option.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