core/org.atnos.eff/OptionCreation

OptionCreation

trait OptionCreation
Companion
object
class Object
trait Matchable
class Any
object all
object create
object option

Type members

Types

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

Value members

Concrete 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

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

no value returned

no value returned

def some[R, A](a: A)(implicit evidence$3: _option[R]): Eff[R, A]

a value is returned

a value is returned