Iron/io.github.iltotore.iron.constraint/any

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 Object
trait Matchable
class Any
Self type: any.type

Members list

Concise view

Type members

Classlikes

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 Object

trait Matchable

class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: DescribedAs.type

An always-invalid constraint.

Attributes

Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: False.type

A constraint decorator acting like a boolean "not".

Attributes

C: the decorated constraint.
Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Not.type

Tests strict equality with the given value.

Attributes

V: the value the input must be equal to.
Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: StrictEqual.type

An always-valid constraint.

Attributes

Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: True.type

A constraint operator acting like a boolean "xor".

Attributes

C1: the left constraint.
C2: the right constraint.
Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

Companion:: class
Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Xor.type

Types

Alias for Not.

Attributes

Tests strict equality with any one of the given values.

Attributes

V

the values the input must be in.

Example:

type Digit = In[(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)]

Alias for True. Usually used for new types with no constraint.

Attributes

See also:: "Creating new types" reference.

Generated with