Iron
3.4.0-RC2-2-7d0f9d
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.constraint/numeric/Less

Less

io.github.iltotore.iron.constraint.numeric.Less
See theLess companion class
object Less

Attributes

Companion
class
Source
numeric.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Less.type

Members list

Givens

Givens

given `given_==>_Less_Less`: [V1, V2] => (V1 < V2) =:= true => Implication[Less[V1], Less[V2]]

Attributes

Source
numeric.scala
given `given_==>_StrictEqual_Less`: [V1, V2] => (V1 < V2) =:= true => Implication[StrictEqual[V1], Less[V2]]

Attributes

Source
numeric.scala
given `given_==>_StrictEqual_Not`: [V1, V2] => (V1 <= V2) =:= true => Implication[StrictEqual[V2], Not[Less[V1]]]

Attributes

Source
numeric.scala
inline given bigDecimalDouble: [V <: Float | Double] => bigDecimalDouble[V]

Attributes

Source
numeric.scala
inline given bigDecimalLong: [V <: Int | Long] => bigDecimalLong[V]

Attributes

Source
numeric.scala
inline given given_LessConstraint_BigInt_V: [V <: Int | Long] => given_LessConstraint_BigInt_V[V]

Attributes

Source
numeric.scala
inline given given_LessConstraint_Double_V: [V <: NumConstant] => given_LessConstraint_Double_V[V]

Attributes

Source
numeric.scala
inline given given_LessConstraint_Float_V: [V <: NumConstant] => given_LessConstraint_Float_V[V]

Attributes

Source
numeric.scala
inline given given_LessConstraint_Int_V: [V <: NumConstant] => given_LessConstraint_Int_V[V]

Attributes

Source
numeric.scala
inline given given_LessConstraint_Long_V: [V <: NumConstant] => given_LessConstraint_Long_V[V]

Attributes

Source
numeric.scala
given notEq: [V1, V2] => (V1 <= V2) =:= true => Implication[Less[V1], Not[StrictEqual[V2]]]

Attributes

Source
numeric.scala
given notGreater: [V1, V2] => (V1 <= V2) =:= true => Implication[Less[V1], Not[Greater[V2]]]

Attributes

Source
numeric.scala
Generated with