EnumerationValues

io.taig.enumeration.ext.EnumerationValues
See theEnumerationValues companion class

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Aux[A, B] = EnumerationValues[A] { type Out = B; }

Givens

Givens

inline given given_Aux_A_A[A](using mirror: SumOf[A], values: Aux[mirror.MirroredElemTypes, A]): Aux[A, A]
inline given given_Aux_EmptyTuple_A[A]: Aux[EmptyTuple, A]
inline given nested[A, B <: Tuple, C >: A](using mirror: SumOf[A], head: Aux[mirror.MirroredElemTypes, C], tail: Aux[B, C]): Aux[A *: B, C]
inline given singleton[A <: Singleton, B <: Tuple, C >: A](using values: Aux[B, C]): Aux[A *: B, C]