ZIOConstructor

sealed trait ZIOConstructor[-Environment, +Error, In]

A ZIOConstructor[Input] knows how to construct a ZIO value from an input of type Input. This allows the type of the ZIO value constructed to depend on Input. The constructed ZIO value is guaranteed not to require any services not included in Environment or to be able to fail in any ways not described by Error.

Companion:
object
class Object
trait Matchable
class Any

Type members

Types

type OutEnvironment >: Environment

The environment type of the ZIO value

The environment type of the ZIO value

type OutError <: Error

The error type of the ZIO value.

The error type of the ZIO value.

The success type the ZIO value.

The success type the ZIO value.

Value members

Abstract methods

def make(input: => In)(implicit trace: Trace): ZIO[OutEnvironment, OutError, OutSuccess]

Constructs a ZIO value from the specified input.

Constructs a ZIO value from the specified input.