safe
API
Generated with
safe/org.atnos.eff

org.atnos.eff

package org.atnos.eff

Members list

Packages

package org.atnos.eff.syntax

Type members

Classlikes

case class EvaluateValue[A](run: Eval[A]) extends Safe[A]

Attributes

Source
Safe.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Safe[A]
class Object
trait Matchable
class Any
Show all
case class FailedFinalizer(t: Throwable) extends Safe[Unit]

Attributes

Source
Safe.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Safe[Unit]
class Object
trait Matchable
class Any
Show all
case class FailedValue[A](t: Throwable) extends Safe[A]

Attributes

Source
Safe.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Safe[A]
class Object
trait Matchable
class Any
Show all
sealed trait Safe[A]

The Safe type is a mix of a ThrowableEither / Eval effect and a writer effect to collect finalizer failures

The Safe type is a mix of a ThrowableEither / Eval effect and a writer effect to collect finalizer failures

Attributes

Companion
object
Source
Safe.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class EvaluateValue[A]
class FailedValue[A]
object Safe

Attributes

Companion
trait
Source
Safe.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Safe.type
trait SafeCreation extends SafeTypes

Attributes

Source
SafeCreation.scala
Supertypes
trait SafeTypes
class Object
trait Matchable
class Any
Known subtypes
trait SafeEffect
object SafeEffect
trait SafeEffect extends SafeCreation, SafeInterpretation

Attributes

Companion
object
Source
SafeEffect.scala
Supertypes
trait SafeCreation
trait SafeTypes
class Object
trait Matchable
class Any
Show all
Known subtypes
object SafeEffect
object SafeEffect extends SafeEffect

Attributes

Companion
trait
Source
SafeEffect.scala
Supertypes
trait SafeEffect
trait SafeCreation
trait SafeTypes
class Object
trait Matchable
class Any
Show all
Self type
SafeEffect.type
trait SafeInterpretation extends SafeCreation

Attributes

Companion
object
Source
SafeInterpretation.scala
Supertypes
trait SafeCreation
trait SafeTypes
class Object
trait Matchable
class Any
Known subtypes
trait SafeEffect
object SafeEffect
Self type
object SafeInterpretation extends SafeInterpretation

Attributes

Companion
trait
Source
SafeInterpretation.scala
Supertypes
trait SafeCreation
trait SafeTypes
class Object
trait Matchable
class Any
Show all
Self type
trait SafeTypes

Attributes

Source
SafeTypes.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SafeCreation
trait SafeEffect
object SafeEffect
Generated with