specs2-common/org.specs2.control.eff/SafeCreation

SafeCreation

trait SafeCreation extends SafeTypes
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] = MemberInOut[Safe, R]
Inherited from:
SafeTypes
type _safe[R] = MemberIn[Safe, R]
Inherited from:
SafeTypes

Value members

Concrete methods

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