Greater

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

Attributes

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

Members list

Concise view

Givens

Givens

given `given_==>_Greater_Greater`[V1, V2](using V1 > V2 =:= true): Implication[Greater[V1], Greater[V2]]
given `given_==>_StrictEqual_Greater`[V1, V2](using V1 > V2 =:= true): Implication[StrictEqual[V1], Greater[V2]]
given `given_==>_StrictEqual_Not`[V1, V2](using V1 >= V2 =:= true): Implication[StrictEqual[V2], Not[Greater[V1]]]
inline given given_GreaterConstraint_Double_V[V <: NumConstant]: given_GreaterConstraint_Double_V[V]
inline given given_GreaterConstraint_Float_V[V <: NumConstant]: given_GreaterConstraint_Float_V[V]
inline given given_GreaterConstraint_Int_V[V <: NumConstant]: given_GreaterConstraint_Int_V[V]
inline given given_GreaterConstraint_Long_V[V <: NumConstant]: given_GreaterConstraint_Long_V[V]
given notEq[V1, V2](using V1 >= V2 =:= true): Implication[Greater[V1], Not[StrictEqual[V2]]]
given notLess[V1, V2](using V1 >= V2 =:= true): Implication[Greater[V1], Not[Less[V2]]]