zio.prelude.fx

package zio.prelude.fx

Members list

Type members

Classlikes

sealed trait ZPure[+W, -S1, +S2, -R, +E, +A]

ZPure[W, S1, S2, R, E, A] is a purely functional description of a computation that requires an environment R and an initial state S1 and may either fail with an E or succeed with an updated state S2 and an A along with in either case a log with entries of type W. Because of its polymorphism ZPure can be used to model a variety of effects including context, state, failure, and logging.

ZPure[W, S1, S2, R, E, A] is a purely functional description of a computation that requires an environment R and an initial state S1 and may either fail with an E or succeed with an updated state S2 and an A along with in either case a log with entries of type W. Because of its polymorphism ZPure can be used to model a variety of effects including context, state, failure, and logging.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
ZPure[W, S1, S2, R, E, A]
object ZPure

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
ZPure.type

Types

type Cause[+E] = ParSeq[Nothing, E]

Value members

Concrete fields

val Cause: ParSeq.type