RefinedTypeOpsImpl
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
Implicitly refine at compile-time the given value.
Implicitly refine at compile-time the given value.
Attributes
- A
the refined type.
- C
the constraint applied to the type.
- constraint
the implementation of
Cto check.- value
the value to refine.
- Returns:
the given value typed as IronType
- Note:
This method ensures that the value satisfies the constraint. If it doesn't or isn't evaluable at compile-time, the compilation is aborted.
Refine the given value at runtime, assuming the constraint holds.
Refine the given value at runtime, assuming the constraint holds.
Attributes
- Returns:
a constrained value, without performing constraint checks.
- See also:
Refine the given value at runtime, resulting in an Either.
Refine the given value at runtime, resulting in an Either.
Attributes
- constraint
the constraint to test with the value to refine.
- Returns:
a Right containing this value as T or a Left containing the constraint message.
- See also:
fromIronType, option, applyUnsafe.
Refine the given value at runtime, resulting in an Option.
Refine the given value at runtime, resulting in an Option.
Attributes
- constraint
the constraint to test with the value to refine.
- Returns:
an Option containing this value as T or None.
- See also:
fromIronType, either, applyUnsafe.