core/org.hungerford.generic.schema.coproduct/UniqueTypeNames/UniqueTypeNames_*:

UniqueTypeNames_*:

given UniqueTypeNames_*:[T, ST, D, DN, DV, N <: TypeName, S, Tail <: Tuple](using val dnc: DoesNotContainN[Tail, N], val next: UniqueTypeNames[Tail]): UniqueTypeNames[Aux[T, ST, D, DN, DV, N, S] *: Tail]

Value members

Concrete fields

protected
val dnc: DoesNotContainN[Tail, N]
protected
val next: UniqueTypeNames[Tail]