enumeration-ext-core
API
Generated with
enumeration-ext-core/io.taig.enumeration.ext/EnumerationValues

EnumerationValues

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

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; }

Value members

Concrete methods

inline def apply[A](using values: EnumerationValues[A]): Aux[A, values.Out]
inline def apply[A, B](using values: Aux[A, B]): Aux[A, B]
def apply[A, B](values: NonEmptyList[B]): Aux[A, B]

Givens

Givens

inline given product[A](using mirror: ProductOf[A], values: Aux[mirror.MirroredElemTypes, mirror.MirroredElemTypes]): Aux[A, A]
inline given product1[A](using values: Aux[A, A]): Aux[A *: EmptyTuple, A *: EmptyTuple]
inline given productN[A, B <: Tuple](using head: Aux[A, A], tail: Aux[B, B]): Aux[A *: B, A *: B]
inline given singleton[A <: Singleton]: Aux[A, A]
inline given sum[A, B <: Tuple](using mirror: SumOf[A] { type MirroredElemTypes = B; }, values: Aux[B, A]): Aux[A, A]
inline given sum1[A, B >: A](using values: Aux[A, A]): Aux[A *: EmptyTuple, B]
inline given sumN[A, B <: Tuple, C >: A](using head: Aux[A, A], tail: Aux[B, C]): Aux[A *: B, C]
Generated with