io.github.iltotore.iron.constraint.any$.DescribedAs
See theDescribedAs companion object
A constraint decorator with a custom description.
Attributes
- C
the decorated constraint.
- V
the description to attach.
- Example:
//Literal type PosInt = Greater[0] DescribedAs "Should be positive" //Using type-level String concatenation (example taken from `numeric`) import io.github.iltotore.iron.ops.* type GreaterEqual[V] = (Greater[V] || StrictEqual[V]) DescribedAs ("Should be greater than or equal to " + V)
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any