core/org.atnos.eff/SafeCreation

SafeCreation

trait SafeCreation extends SafeTypes
Source:
SafeEffect.scala
trait SafeTypes
class Object
trait Matchable
class Any
object SafeEffect.type
object all.type
object SafeInterpretation.type
object safe.type
object create.type

Type members

Inherited types

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

Value members

Concrete methods

def eval[R : _safe, A](a: Eval[A]): Eff[R, A]
def exception[R : _safe, A](t: Throwable): Eff[R, A]
def protect[R : _safe, A](a: => A): Eff[R, A]