Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.constraint/numeric/Greater

Greater

io.github.iltotore.iron.constraint.numeric.Greater
See theGreater companion class
object Greater

Attributes

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

Members list

Givens

Givens

given `given_==>_Greater_Greater`[V1, V2](using V1 > V2 =:= true): Implication[Greater[V1], Greater[V2]]

Attributes

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

Attributes

Source
numeric.scala
given `given_==>_StrictEqual_Not`[V1, V2](using V1 >= V2 =:= true): Implication[StrictEqual[V2], Not[Greater[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_GreaterConstraint_BigInt_V[V <: Int | Long]: given_GreaterConstraint_BigInt_V[V]

Attributes

Source
numeric.scala
inline given given_GreaterConstraint_Double_V[V <: NumConstant]: given_GreaterConstraint_Double_V[V]

Attributes

Source
numeric.scala
inline given given_GreaterConstraint_Float_V[V <: NumConstant]: given_GreaterConstraint_Float_V[V]

Attributes

Source
numeric.scala
inline given given_GreaterConstraint_Int_V[V <: NumConstant]: given_GreaterConstraint_Int_V[V]

Attributes

Source
numeric.scala
inline given given_GreaterConstraint_Long_V[V <: NumConstant]: given_GreaterConstraint_Long_V[V]

Attributes

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

Attributes

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

Attributes

Source
numeric.scala
Generated with