Iron
2.6.0-9-a55d33-SNAPSHOT
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](using (V1 < V2) =:= true): Implication[Less[V1], Less[V2]]

Attributes

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

Attributes

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

Attributes

Source
numeric.scala
inline given bigDecimalDouble[V <: NumConstant]: 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](using (V1 <= V2) =:= true): Implication[Less[V1], Not[StrictEqual[V2]]]

Attributes

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

Attributes

Source
numeric.scala
Generated with