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
ExistsArray
ExistsIterable
ExistsString
ForAll
ForAll
ForAllArray
ForAllIterable
ForAllString
Head
Head
HeadArray
HeadIterable
HeadString
Init
Init
InitArray
InitIterable
InitString
Last
Last
LastArray
LastIterable
LastString
Length
Length
LengthArray
LengthIterable
LengthString
Tail
Tail
TailArray
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
IronConfig
IronConfig
CodeFormat
CodeFormat
Validation
Valid
Invalid
macros
ReflectUtil
DecodingFailure
NotInlined
DefinitionNotInlined
HasBindings
HasStatements
ApplyNotInlined
VarArgsNotInlined
OrNotInlined
AndNotInlined
StringPartsNotInlined
ExprDecoder
FailureCause
intersection
IsIntersection
IsIntersection
union
IsUnion
IsUnion
Constraint
Constraint
IntersectionConstraint
UnionConstraint
Implication
Implication
InvalidValue
IronType
MapLogic
MapLogic
RefinedType
RefinedType
Mirror
RuntimeConstraint
RuntimeConstraint
compileTime
iron
/
io.github.iltotore.iron
/
MapLogic
MapLogic
io.github.iltotore.iron.MapLogic
See the
MapLogic
companion trait
object
MapLogic
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
MapLogic
.
type
Members list
Clear all
Givens
Givens
given
given_MapLogic_CC
[
C
,
CC
<:
(
IterableOnceOps
)]:
given_MapLogic_CC
[
C
,
CC
]
given
given_MapLogic_Either
[
L
]:
given_MapLogic_Either
[
L
]
given
given_MapLogic_Future
(
using
x$1
:
ExecutionContext
):
given_MapLogic_Future
In this article
Attributes
Members list
Givens
Givens