intersection
io.github.iltotore.iron.macros.intersection
object intersection
Internal macros for intersection types
Attributes
- Source
- intersection.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
intersection.type
Members list
Type members
Classlikes
Typeclass only implemented by intersection types. Used as evidence in implicit methods.
Typeclass only implemented by intersection types. Used as evidence in implicit methods.
Type parameters
- A
-
the underlying intersection type.
Attributes
- Companion
- object
- Source
- intersection.scala
- Supertypes
-
class Objecttrait Matchableclass Any
object IsIntersection
Attributes
- Companion
- class
- Source
- intersection.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
IsIntersection.type
Value members
Concrete methods
Attributes
- Source
- intersection.scala
Constraint message for intersection type.
Constraint message for intersection type.
Type parameters
- A
-
the input type (like in
Constraint[A, C]). - C
-
the constraint type (like in
Constraint[A, C]). Should be an intersection.
Attributes
- Returns
-
the generated message for this constraint intersection.
- Source
- intersection.scala
Concrete fields
Attributes
- Source
- intersection.scala
In this article