LowPriorityFieldTypeReplacers

org.hungerford.generic.schema.product.field.LowPriorityFieldTypeReplacers

Attributes

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

Members list

Concise view

Givens

Givens

given `given_Aux_F_N_*:_NewT_NewF_NewN_NewS_*:`[F, N <: Nat, NewT, NewF, NewN <: FieldName, NewS, Head, Tail <: Tuple, Next <: Tuple](using next: Aux[F, N, Tail, NewT, NewF, NewN, NewS, Next]): Aux[F, N, Head *: Tail, NewT, NewF, NewN, NewS, Head *: Next]