core
API
Generated with
core/org.hungerford.generic.schema.coproduct/UniqueDiscriminatorValues

UniqueDiscriminatorValues

org.hungerford.generic.schema.coproduct.UniqueDiscriminatorValues$
See theUniqueDiscriminatorValues companion trait
object UniqueDiscriminatorValues extends LowPriorityUDVs

Attributes

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

Members list

Concise view

Type members

Classlikes

object given_UniqueDiscriminatorValues_EmptyTuple extends UniqueDiscriminatorValues[EmptyTuple]

Attributes

Graph
Supertypes
trait UniqueDiscriminatorValues[EmptyTuple]
class Object
trait Matchable
class Any
Self type

Givens

Givens

given ignoreUnitDVs[T, ST, D, DN, N <: TypeName, SubT <: OrLazy[T, ST, D, DN, Unit, N], Tail <: Tuple](using next: UniqueDiscriminatorValues[Tail]): ignoreUnitDVs[T, ST, D, DN, N, SubT, Tail]

Inherited givens

given given_UniqueDiscriminatorValues_*:[T, ST, D, DN, DV, N <: TypeName, SubT <: OrLazy[T, ST, D, DN, DV, N], Tail <: Tuple](using dnc: DoesNotContainDV[Tail, DV], next: UniqueDiscriminatorValues[Tail]): given_UniqueDiscriminatorValues_*:[T, ST, D, DN, DV, N, SubT, Tail]

Attributes

Inherited from:
LowPriorityUDVs
Generated with