option
API
Generated with
option/org.atnos.eff/option

option

org.atnos.eff.option
object option extends OptionCreation, OptionInterpretation

Attributes

Source
option.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
option.type

Members list

Type members

Inherited types

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

Attributes

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

Attributes

Inherited from:
OptionCreation
Source
OptionCreation.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
OptionCreation.scala
def none[R : _option, A]: Eff[R, A]

no value returned

no value returned

Attributes

Inherited from:
OptionCreation
Source
OptionCreation.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
OptionInterpretation.scala
def some[R : _option, A](a: A): Eff[R, A]

a value is returned

a value is returned

Attributes

Inherited from:
OptionCreation
Source
OptionCreation.scala
Generated with