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

OptionEffect

org.atnos.eff.OptionEffect
See theOptionEffect companion trait
object OptionEffect extends OptionEffect

Attributes

Companion
trait
Source
OptionEffect.scala
Graph
Supertypes
trait OptionEffect
class Object
trait Matchable
class Any
Show all
Self 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])(using 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