Iron
2.6.0-14-1609d0-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/zio

zio

io.github.iltotore.iron.zio
object zio

Attributes

Source
zio.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
zio.type

Members list

Givens

Givens

given given_MapLogic_F[F[_]](using covariant: Covariant[F]): given_MapLogic_F[F]

Attributes

Source
zio.scala

Inherited givens

inline given given_Debug_T[T](using mirror: Mirror[T], ev: Debug[mirror.IronType]): Debug[T]

Attributes

Inherited from:
RefinedTypeOpsZio (hidden)
Source
zio.scala
inline given given_Equal_T[T](using mirror: Mirror[T], ev: Equal[mirror.IronType]): Equal[T]

Attributes

Inherited from:
RefinedTypeOpsZio (hidden)
Source
zio.scala
inline given given_Hash_T[T](using mirror: Mirror[T], ev: Hash[mirror.IronType]): Hash[T]

Attributes

Inherited from:
RefinedTypeOpsZioLowPriority (hidden)
Source
zio.scala
inline given given_Ord_T[T](using mirror: Mirror[T], ev: Ord[mirror.IronType]): Ord[T]

Attributes

Inherited from:
RefinedTypeOpsZio (hidden)
Source
zio.scala

Extensions

Extensions

extension [A, C, T](ops: RefinedTypeOps[A, C, T])
def validation(value: A): Validation[String, T]

Refine the given value applicatively at runtime, resulting in a Validation.

Refine the given value applicatively at runtime, resulting in a Validation.

Attributes

Returns

a Valid containing this value as T or an Validation.Failure containing a NonEmptyChunk of error messages.

Source
zio.scala
extension [A, C, T](ops: RefinedTypeOps[A, C, T])
def validationAll[F[_]](wrapper: F[A])(using forEach: ForEach[F]): Validation[InvalidValue[A], F[T]]

Refine the given values applicatively at runtime, resulting in a Validation.

Refine the given values applicatively at runtime, resulting in a Validation.

Attributes

Returns

a Valid containing the values as F[T] or an Validation.Failure containing a NonEmptyChunk of error messages.

Source
zio.scala
extension [A](value: A)
inline def refineValidation[C](using inline constraint: Constraint[A, C]): Validation[String, IronType[A, C]]

Refine the given value applicatively at runtime, resulting in a Validation.

Refine the given value applicatively at runtime, resulting in a Validation.

Value parameters

constraint

the constraint to test with the value to refine.

Attributes

Returns

a Valid containing this value as IronType or an Validation.Failure containing a NonEmptyChunk of error messages.

Source
zio.scala
extension [A, C1](value: IronType[A, C1])
inline def refineFurtherValidation[C2](using inline constraint: Constraint[A, C2]): Validation[String, IronType[A, C1 & C2]]

Refine the given value again applicatively at runtime, resulting in a Validation.

Refine the given value again applicatively at runtime, resulting in a Validation.

Value parameters

constraint

the new constraint to test.

Attributes

Returns

a Valid containing this value as IronType or an Validation.Failure containing a NonEmptyChunk of error messages.

Source
zio.scala
extension [F[_], A](wrapper: F[A])
inline def refineAllValidation[C](using forEach: ForEach[F], inline constraint: Constraint[A, C]): Validation[InvalidValue[A], F[IronType[A, C]]]

Attributes

Source
zio.scala
extension [F[_], A, C1](wrapper: F[IronType[A, C1]])
inline def refineAllFurtherValidation[C2](using forEach: ForEach[F], inline constraint: Constraint[A, C2]): Validation[InvalidValue[A], F[IronType[A, C1 & C2]]]

Attributes

Source
zio.scala
Generated with