core/org.hungerford.generic.schema.coproduct/UniqueDiscriminatorValues

UniqueDiscriminatorValues

object UniqueDiscriminatorValues extends LowPriorityUDVs
Companion
class
class Object
trait Matchable
class Any

Givens

Givens

given given_UniqueDiscriminatorValues_EmptyTuple: UniqueDiscriminatorValues[EmptyTuple]
given ignoreUnitDVs[T, ST, D, DN, N <: TypeName, S, Tail <: Tuple](using val next: UniqueDiscriminatorValues[Tail]): UniqueDiscriminatorValues[Aux[T, ST, D, DN, Unit, N, S] *: Tail]

Inherited givens

given UniqueDiscriminatorValues_*:[T, ST, D, DN, DV, N <: TypeName, S, Tail <: Tuple](using val dnc: DoesNotContainDV[Tail, DV], val next: UniqueDiscriminatorValues[Tail]): UniqueDiscriminatorValues[Aux[T, ST, D, DN, DV, N, S] *: Tail]
Inherited from
LowPriorityUDVs