iron
API
Generated with
iron/io.github.iltotore.iron/io.github.iltotore.iron.macros/union

union

io.github.iltotore.iron.macros.union
object union

Internal macros for union types

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
union.type

Members list

Type members

Classlikes

final class IsUnion[A]

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
Supertypes
class Object
trait Matchable
class Any
object IsUnion

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
IsUnion.type

Value members

Concrete methods

transparent inline def unionCond[A, C](value: A): Boolean
transparent inline def unionImplication[C1, C2]: Implication[C1, C2]

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

inline def unionMessage[A, C]: String

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.

Concrete fields

Generated with