core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/SafeCreation

SafeCreation

org.atnos.eff.SafeCreation
trait SafeCreation extends SafeTypes

Attributes

Source:
SafeEffect.scala
Graph
Supertypes
trait SafeTypes
class Object
trait Matchable
class Any
Known subtypes
object SafeEffect.type
object all.type
object SafeInterpretation.type
object safe.type
object create.type

Members list

Concise view

Type members

Inherited types

type _Safe[R] = Member[Safe, R]

Attributes

Inherited from:
SafeTypes
Source:
SafeEffect.scala
type _safe[R] = MemberIn[Safe, R]

Attributes

Inherited from:
SafeTypes
Source:
SafeEffect.scala

Value members

Concrete methods

def eval[R : _safe, A](a: Eval[A]): Eff[R, A]

Attributes

Source:
SafeEffect.scala
def exception[R : _safe, A](t: Throwable): Eff[R, A]

Attributes

Source:
SafeEffect.scala
def finalizerException[R : _safe](t: Throwable): Eff[R, Unit]

Attributes

Source:
SafeEffect.scala
def protect[R : _safe, A](a: => A): Eff[R, A]

Attributes

Source:
SafeEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL