union
io.github.iltotore.iron.macros.union$
object union
Internal macros for union types
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- union.type
Members list
Concise view
Type members
Classlikes
Typeclass only implemented by union types. Used as evidence in implicit methods.
Typeclass only implemented by union types. Used as evidence in implicit methods.
Attributes
- A
the underlying union type.
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Value members
Concrete methods
Implication for union type. (C1 | C2) ==> C3 only if C1 ==> C3 and C2 ==> C3
Implication for union type. (C1 | C2) ==> C3 only if C1 ==> C3 and C2 ==> C3
Attributes
- C1
the union constraint.
- C2
the target constraint.
- Returns:
the Implication instance or a compile-time error
Constraint message for union type.
Constraint message for union type.
Attributes
- A
the input type (like in
Constraint[A, C]).- C
the constraint type (like in
Constraint[A, C]). Should be an union.- Returns:
the generated message for this constraint union.