iron
iron
API
io.github.iltotore.iron
constraint
all
any
DescribedAs
DescribedAs
DescribedAsConstraint
False
False
Not
Not
NotConstraint
StrictEqual
StrictEqual
True
True
Xor
Xor
XorConstraint
char
Digit
Digit
Letter
Letter
LowerCase
LowerCase
UpperCase
UpperCase
Whitespace
Whitespace
collection
Contain
Contain
Exists
Exists
ExistsIterable
ExistsString
ForAll
ForAll
ForAllIterable
ForAllString
Head
Head
HeadIterable
HeadString
Init
Init
InitIterable
InitString
Last
Last
LastIterable
LastString
Length
Length
LengthIterable
LengthString
Tail
Tail
TailIterable
TailString
numeric
Divide
Divide
Greater
Greater
Infinity
Infinity
Interval
Less
Less
Multiple
Multiple
NaN
NaN
string
Blank
EndWith
EndWith
Match
Match
StartWith
StartWith
internal
Validation
Valid
Invalid
macros
given_FromExpr_Boolean
given_FromExpr_String
intersection
IsIntersection
IsIntersection
union
IsUnion
IsUnion
Constraint
Constraint
IntersectionConstraint
UnionConstraint
Implication
Implication
IronType
RefinedTypeOps
RefinedTypeOps
Mirror
RuntimeConstraint
RuntimeConstraint
compileTime
iron
/
io.github.iltotore.iron
/
io.github.iltotore.iron.constraint
/
numeric
/
Greater
Greater
io.github.iltotore.iron.constraint.numeric.Greater
See the
Greater
companion class
object
Greater
Attributes
Companion
class
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Greater
.type
Members list
Clear all
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
bigDecimalDouble
[
V
<:
NumConstant
]:
bigDecimalDouble
[
V
]
inline
given
bigDecimalLong
[
V
<:
Int
|
Long
]:
bigDecimalLong
[
V
]
inline
given
given_GreaterConstraint_BigInt_V
[
V
<:
Int
|
Long
]:
given_GreaterConstraint_BigInt_V
[
V
]
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
]]]
In this article
Attributes
Members list
Givens
Givens