ValidDiscriminator

org.hungerford.generic.schema.coproduct.ValidDiscriminator$
See theValidDiscriminator companion trait

Attributes

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

Members list

Concise view

Givens

Givens

given given_ValidDiscriminator_D_DN_*:[D, DN <: TypeName, DV <: D & Singleton, T, ST, N <: TypeName, STR <: Tuple, STRV <: Tuple, STAF, STAFS, STAFE, STC, Tail <: Tuple, FT](using next: ValidDiscriminator[D, DN, Tail]): given_ValidDiscriminator_D_DN_*:[D, DN, DV, T, ST, N, STR, STRV, STAF, STAFS, STAFE, STC, Tail, FT]
given given_ValidDiscriminator_D_DN_EmptyTuple[D, DN]: given_ValidDiscriminator_D_DN_EmptyTuple[D, DN]
given given_ValidDiscriminator_Unit_Unit_R[R]: given_ValidDiscriminator_Unit_Unit_R[R]
given lazyVd[D, DN <: TypeName, DV <: D & Singleton, T, ST, N <: TypeName, STR <: Tuple, STRV <: Tuple, STAF, STAFS, STAFE, STC, Tail <: Tuple, FT](using sch: Aux[ST, ProductShape[ST, STR, STRV, STAF, STAFS, STAFE, STC]], next: ValidDiscriminator[D, DN, Tail]): lazyVd[D, DN, DV, T, ST, N, STR, STRV, STAF, STAFS, STAFE, STC, Tail, FT]