Iron
2.2.1
DocsAPI
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Iron/io.github.iltotore.iron/Constraint

Constraint

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

Attributes

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

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
trait Constraint[A, C]
class Object
trait Matchable
class Any
class UnionConstraint[A, C] extends Constraint[A, C]

Attributes

Graph
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]
inline given given_UnionConstraint_A_C[A, C](using inline u: IsUnion[C]): UnionConstraint[A, C]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL