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

SubtypesDeriverPriority1

org.hungerford.generic.schema.coproduct.SubtypesDeriverPriority1
trait SubtypesDeriverPriority1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SubtypesDeriver.type

Members list

Concise view

Givens

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]
given given_SubtypesDeriver_T_TsTail_EmptyTuple_EmptyTuple[T, TsTail <: Tuple]: given_SubtypesDeriver_T_TsTail_EmptyTuple_EmptyTuple[T, TsTail]
Generated with