any
io.github.iltotore.iron.constraint.any$
object any
Constraints working for any type (e.g any.StrictEqual) and constraint operators (e.g any.Not...).
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- any.type
Members list
Concise view
Type members
Classlikes
A constraint decorator with a custom description.
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
object DescribedAs
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- DescribedAs.type
An always-invalid constraint.
An always-invalid constraint.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object False
A constraint decorator acting like a boolean "not".
A constraint decorator acting like a boolean "not".
Attributes
- C
the decorated constraint.
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object Not
Tests strict equality with the given value.
Tests strict equality with the given value.
Attributes
- V
the value the input must be equal to.
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object StrictEqual
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- StrictEqual.type
An always-valid constraint.
An always-valid constraint.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object True
A constraint operator acting like a boolean "xor".
A constraint operator acting like a boolean "xor".
Attributes
- C1
the left constraint.
- C2
the right constraint.
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any