io.github.iltotore.iron.macros.intersection$
Internal macros for intersection types
Attributes
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Self type
Members list
Concise view
Type members
Typeclass only implemented by intersection types. Used as evidence in implicit methods.
Typeclass only implemented by intersection types. Used as evidence in implicit methods.
Attributes
- A
the underlying intersection type.
- Companion:
- object
- Graph
- Supertypes
class Object
trait Matchable
class Any
Attributes
- Companion:
- class
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Self type
Value members
Constraint message for intersection type.
Constraint message for intersection type.
Attributes
- A
the input type (like in Constraint[A, C]
).
- C
the constraint type (like in Constraint[A, C])
. Should be an intersection.
- Returns:
the generated message for this constraint intersection.