core/org.atnos.eff/OptionEffect

OptionEffect

trait OptionEffect extends OptionCreation with OptionInterpretation

Effect for optional computations

Companion:
object
Source:
OptionEffect.scala
class Object
trait Matchable
class Any
object OptionEffect.type
object all.type

Type members

Inherited types

type _Option[R] = Member[Option, R]
Inherited from:
OptionCreation
Source:
OptionEffect.scala
type _option[R] = MemberIn[Option, R]
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

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

no value returned

no value returned

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

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

a value is returned

a value is returned

Inherited from:
OptionCreation
Source:
OptionEffect.scala