core/org.atnos.eff/option

option

object option extends OptionCreation with OptionInterpretation
class Object
trait Matchable
class Any

Type members

Inherited types

type _Option[R] = Member[[A] =>> Option[A], R]
Inherited from
OptionCreation
type _option[R] = MemberIn[[A] =>> Option[A], R]
Inherited from
OptionCreation

Value members

Inherited methods

def fromOption[R, A](o: Option[A])(implicit evidence$1: _option[R]): Eff[R, A]

create an Option effect from a single Option value

create an Option effect from a single Option value

Inherited from
OptionCreation
def none[R, A](implicit evidence$2: _option[R]): Eff[R, A]

no value returned

no value returned

Inherited from
OptionCreation
def runOption[R, U, A](effect: Eff[R, A])(implicit m: Aux[[A] =>> Option[A], 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
def some[R, A](a: A)(implicit evidence$3: _option[R]): Eff[R, A]

a value is returned

a value is returned

Inherited from
OptionCreation