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

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

Attributes

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

Attributes

Source
SafeCreation.scala