Iron
2.2.1
DocsAPI
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Iron/io.github.iltotore.iron.constraint/numeric

numeric

io.github.iltotore.iron.constraint.numeric$
object numeric

Number-related constraints.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
numeric.type

Members list

Concise view

Type members

Classlikes

final class Divide[V]

Tests if the input is a divisor of V.

Tests if the input is a divisor of V.

Attributes

V

the expected multiple of the given input.

See also:
Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Divide

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Divide.type
final class Greater[V]

Tests strict superiority.

Tests strict superiority.

Attributes

V

the value the input must be greater than.

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Greater.type
final class Infinity

Tests if the input is whether +infinity or -infinity.

Tests if the input is whether +infinity or -infinity.

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Interval

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class Less[V]

Tests strict inferiority.

Tests strict inferiority.

Attributes

V

the value the input must be less than.

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Less.type
final class Multiple[V]

Tests if the input is a multiple of V.

Tests if the input is a multiple of V.

Attributes

V

the expected divisor of the given input.

See also:
Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Multiple

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class NaN

Tests if the input is not a representable number.

Tests if the input is not a representable number.

Attributes

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

Attributes

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

Types

type Even = Multiple[2]

Tests if the input is even (a multiple of 2).

Tests if the input is even (a multiple of 2).

Attributes

type GreaterEqual[V] = DescribedAs[Greater[V] | StrictEqual[V], "Should be greater than or equal to " + V]

Tests non-strict superiority.

Tests non-strict superiority.

Attributes

V

the value the input must be greater than or equal to.

type LessEqual[V] = DescribedAs[Less[V] | StrictEqual[V], "Should be less than or equal to " + V]

Tests non-strict inferiority.

Tests non-strict inferiority.

Attributes

V

the value the input must be less than or equal to.

type Negative = DescribedAs[Less[0], "Should be strictly negative"]

Tests if the input is strictly negative.

Tests if the input is strictly negative.

Attributes

type Odd = Not[Even]

Tests if the input is odd (not a multiple of 2).

Tests if the input is odd (not a multiple of 2).

Attributes

type Positive = DescribedAs[Greater[0], "Should be strictly positive"]

Tests if the input is strictly positive.

Tests if the input is strictly positive.

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL