iron
iron
io.github.iltotore.iron
Constrained
Main
RefinedDSL
compileTime
testMain
io.github.iltotore.iron.constraint
AlgebraEntryPoint
AlgebraPart
AlgebraPartAnd
AlgebraicConstraint
And
AndConstraint
Antisymmetric
Asymmetric
CompileTimeConstraint
CompileTimeOnly
Consequence
Consequence
InvalidConsequence
VerifiedConsequence
Constraint
Constraint
CompileTimeOnly
RuntimeOnly
DescribedAs
DescribedAsConstraint
Equal
EqualConstraint
Equivalence
IllegalValueError
IllegalValueError
Field
Literal
LiteralConstraint
LowPriorityConsequence
DefaultConsequence
Not
NotConstraint
Or
OrConstraint
Order
Placehold
PlaceholdConstraint
Placeholder
PlaceholderConstraint
Reflexive
RuntimeOnly
RuntimeOnlyConstraint
StrictEqual
StrictEqualConstraint
Symmetric
Transitive
TransitiveConsequence
io.github.iltotore.iron.ordering
InlinedOrdering
iron
/
io.github.iltotore.iron.constraint
/
Constraint
Constraint
object
Constraint
Companion
class
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Type members
Type members
Classlikes
trait
CompileTimeOnly
[A, B] extends
Constraint
[
A
,
B
]
trait
RuntimeOnly
[A, B] extends
Constraint
[
A
,
B
]