zio
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- zio.type
Members list
Givens
Inherited givens
Attributes
- Inherited from:
- RefinedTypeOpsZio (hidden)
Attributes
- Inherited from:
- RefinedTypeOpsZio (hidden)
Attributes
- Inherited from:
- RefinedTypeOpsZioLowPriority (hidden)
Attributes
- Inherited from:
- RefinedTypeOpsZio (hidden)
Extensions
Extensions
Refine the given value applicatively at runtime, resulting in a Validation.
Refine the given value applicatively at runtime, resulting in a Validation.
Attributes
- constraint
the constraint to test with the value to refine.
- Returns:
a Valid containing this value as T or an Validation.Failure containing a NonEmptyChunk of error messages.
Refine the given value again applicatively at runtime, resulting in a Validation.
Refine the given value again applicatively at runtime, resulting in a Validation.
Attributes
- constraint
the new constraint to test.
- Returns:
a Valid containing this value as IronType or an Validation.Failure containing a NonEmptyChunk of error messages.
Refine the given value applicatively at runtime, resulting in a Validation.
Refine the given value applicatively at runtime, resulting in a Validation.
Attributes
- constraint
the constraint to test with the value to refine.
- Returns:
a Valid containing this value as IronType or an Validation.Failure containing a NonEmptyChunk of error messages.