core/org.atnos.eff/SafeCreation

SafeCreation

trait SafeCreation extends SafeTypes
trait SafeTypes
class Object
trait Matchable
class Any
object SafeEffect
object all
object safe
object create

Type members

Inherited types

type _Safe[R] = Member[[A] =>> Safe[A], R]
Inherited from
SafeTypes
type _safe[R] = MemberIn[[A] =>> Safe[A], R]
Inherited from
SafeTypes

Value members

Concrete methods

def eval[R, A](a: Eval[A])(implicit evidence$2: _safe[R]): Eff[R, A]
def exception[R, A](t: Throwable)(implicit evidence$3: _safe[R]): Eff[R, A]
def finalizerException[R](t: Throwable)(implicit evidence$4: _safe[R]): Eff[R, Unit]
def protect[R, A](a: => A)(implicit evidence$1: _safe[R]): Eff[R, A]