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

SubtypesDeriver

org.hungerford.generic.schema.coproduct.SubtypesDeriver$
See theSubtypesDeriver companion trait
object SubtypesDeriver extends SubtypesDeriverPriority1

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, TsTails <: Tuple, STs <: Tuple, Ns <: Tuple, O] = SubtypesDeriver[T, TsTails, STs, Ns] { type Out = O; }

Givens

Givens

given lazyDeriver[T, TsTail <: Tuple, ST, STS, STTail <: Tuple, N <: TypeName, NTail <: Tuple, Next <: Tuple](using ev: Contains[T *: TsTail, ST], mir: SumOf[T], ev2: NotGiven[N =:= Nothing], tsGen: Aux[T, ST, ST => T], tDer: Aux[T, TsTail, STTail, NTail, Next], nVal: ValueOf[N]): Aux[T, TsTail, ST *: STTail, N *: NTail, LazySubtype[T, ST, Unit, Unit, Unit, N] *: Next]

Inherited givens

given `given_Aux_T_TsTail_*:_*:_*:`[T, TsTail <: Tuple, ST, STS, STTail <: Tuple, N <: TypeName, NTail <: Tuple, Next <: Tuple](using mir: SumOf[T], provider: Aux[ST, T *: TsTail, STS], ev: NotGiven[N =:= Nothing], tsGen: Aux[T, ST, ST => T], tDer: Aux[T, TsTail, STTail, NTail, Next], nVal: ValueOf[N]): Aux[T, TsTail, ST *: STTail, N *: NTail, Subtype[T, ST, Unit, Unit, Unit, N, STS] *: Next]

Attributes

Inherited from:
SubtypesDeriverPriority1
given given_SubtypesDeriver_T_TsTail_EmptyTuple_EmptyTuple[T, TsTail <: Tuple]: given_SubtypesDeriver_T_TsTail_EmptyTuple_EmptyTuple[T, TsTail]

Attributes

Inherited from:
SubtypesDeriverPriority1
Generated with