safe
safe
API
org.atnos.eff
syntax
safe
safe
SafeEffectOps
EvaluateValue
FailedFinalizer
FailedValue
Safe
Safe
SafeCreation
SafeEffect
SafeEffect
SafeInterpretation
SafeInterpretation
SafeTypes
safe
/
org.atnos.eff
/
SafeCreation
SafeCreation
org.atnos.eff.SafeCreation
trait
SafeCreation
extends
SafeTypes
Attributes
Source
SafeCreation.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
SafeTypes
class
Object
trait
Matchable
class
Any
Known subtypes
trait
SafeEffect
object
SafeEffect
trait
SafeInterpretation
object
SafeInterpretation
Members list
Clear all
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
def
finalizerException
[
R
:
_safe
](
t
:
Throwable
):
Eff
[
R
,
Unit
]
Attributes
Source
SafeCreation.scala
def
protect
[
R
:
_safe
,
A
](
a
:
=>
A
):
Eff
[
R
,
A
]
Attributes
Source
SafeCreation.scala
In this article
Attributes
Members list
Type members
Inherited types
Value members
Concrete methods