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.
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.
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.
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.