OptionEffect

org.atnos.eff.OptionEffect
See theOptionEffect companion object

Effect for optional computations

Attributes

Companion
object
Source
OptionEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object OptionEffect.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