safe
API
Generated with
safe/org.atnos.eff/SafeCreation

SafeCreation

org.atnos.eff.SafeCreation
trait SafeCreation extends SafeTypes

Attributes

Source
SafeCreation.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
SafeTypes.scala
type _safe[R] = MemberIn[Safe, R]

Attributes

Inherited from:
SafeTypes
Source
SafeTypes.scala

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
SafeCreation.scala
Generated with