safe
API
Generated with
safe/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
trait SafeEffect
object SafeEffect.type
object SafeInterpretation.type

Members list

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