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])(`evidence$2`: _safe[R]): Eff[R, A]
def exception[R, A](t: Throwable)(`evidence$3`: _safe[R]): Eff[R, A]
def finalizerException[R](t: Throwable)(`evidence$4`: _safe[R]): Eff[R, Unit]
def protect[R, A](a: => A)(`evidence$1`: _safe[R]): Eff[R, A]