zio
io.github.iltotore.iron.zio
object zio
Attributes
Members list
Givens
Inherited givens
Attributes
- Inherited from:
- RefinedTypeOpsZio (hidden)
- Source
- zio.scala
Attributes
- Inherited from:
- RefinedTypeOpsZio (hidden)
- Source
- zio.scala
Attributes
- Inherited from:
- RefinedTypeOpsZioLowPriority (hidden)
- Source
- zio.scala
Extensions
Extensions
extension [A, C, T](ops: RefinedTypeOps[A, C, T])
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 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
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.
In this article