Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/Constraint

Constraint

io.github.iltotore.iron.Constraint
See theConstraint companion trait
object Constraint

Attributes

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

Members list

Type members

Classlikes

class IntersectionConstraint[A, C] extends Constraint[A, C]

Attributes

Source
Constraint.scala
Supertypes
trait Constraint[A, C]
class Object
trait Matchable
class Any
class UnionConstraint[A, C] extends Constraint[A, C]

Attributes

Source
Constraint.scala
Supertypes
trait Constraint[A, C]
class Object
trait Matchable
class Any

Givens

Givens

inline given given_IntersectionConstraint_A_C[A, C](using inline i: IsIntersection[C]): IntersectionConstraint[A, C]

Attributes

Source
Constraint.scala
inline given given_UnionConstraint_A_C[A, C](using inline u: IsUnion[C]): UnionConstraint[A, C]

Attributes

Source
Constraint.scala
Generated with