org.atnos.eff
package org.atnos.eff
Members list
Packages
package org.atnos.eff.syntax
Type members
Classlikes
trait ErrorCreation[F] extends ErrorTypes[F]
Attributes
- Source
- ErrorCreation.scala
- Supertypes
- Known subtypes
trait ErrorEffect[F] extends ErrorCreation[F], ErrorInterpretation[F]
Effect for computation which can fail and return a Throwable, or just stop with a failure
Effect for computation which can fail and return a Throwable, or just stop with a failure
This effect is a mix of Eval and Either in the sense that every computation passed to this effect (with the ok method) is considered "impure" or "faulty" by default.
The type F is used to represent the failure type.
Attributes
- Companion
- object
- Source
- ErrorEffect.scala
- Supertypes
-
trait ErrorInterpretation[F]trait ErrorCreation[F]trait ErrorTypes[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object ErrorEffect
object ErrorEffect extends ErrorEffect[String]
Simple instantiation of the ErrorEffect trait with String as a Failure type
Simple instantiation of the ErrorEffect trait with String as a Failure type
Attributes
- Companion
- trait
- Source
- ErrorEffect.scala
- Supertypes
-
trait ErrorEffect[String]trait ErrorInterpretation[String]trait ErrorCreation[String]trait ErrorTypes[String]class Objecttrait Matchableclass AnyShow all
- Self type
-
ErrorEffect.type
trait ErrorInterpretation[F] extends ErrorCreation[F]
Attributes
- Source
- ErrorInterpretation.scala
- Supertypes
- Known subtypes
-
trait ErrorEffect[F]object ErrorEffect
- Self type
Attributes
- Source
- ErrorTypes.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Attributes
- Companion
- object
- Source
- Evaluate.scala
- Supertypes
object Evaluate
Attributes
- Companion
- class
- Source
- Evaluate.scala
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Evaluate.type
In this article