union
io.github.iltotore.iron.macros.union
object union
Internal macros for union types
Attributes
- Source
- union.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
union.type
Members list
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.
Type parameters
- A
-
the underlying union type.
Attributes
- Companion
- object
- Source
- union.scala
- Supertypes
-
class Objecttrait Matchableclass Any
object IsUnion
Attributes
- Companion
- class
- Source
- union.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
IsUnion.type
Value members
Concrete methods
Attributes
- Source
- union.scala
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
Type parameters
- C1
-
the union constraint.
- C2
-
the target constraint.
Attributes
- Returns
-
the Implication instance or a compile-time error
- Source
- union.scala
Constraint message for union type.
Constraint message for union type.
Type parameters
- A
-
the input type (like in
Constraint[A, C]). - C
-
the constraint type (like in
Constraint[A, C]). Should be an union.
Attributes
- Returns
-
the generated message for this constraint union.
- Source
- union.scala
Concrete fields
Attributes
- Source
- union.scala
In this article