core
API
Generated with
core/org.hungerford.generic.schema.product.field/FieldTypeReplacer

FieldTypeReplacer

org.hungerford.generic.schema.product.field.FieldTypeReplacer$
See theFieldTypeReplacer companion trait
object FieldTypeReplacer extends LowPriorityFieldTypeReplacers

Attributes

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

Members list

Concise view

Type members

Types

type Aux[F, N <: Nat, R <: Tuple, NewT, NewF, NewN <: FieldName, NewS, O <: Tuple] = FieldTypeReplacer[F, N, R, NewT, NewF, NewN, NewS] { type Out = O; }

Givens

Givens

given `given_Aux_F_N_*:_NewT_NewF_NewN_NewS_*:`[F, N <: Nat, DecN <: Nat, Fld <: Tpe[F], NewT, NewF, NewN <: FieldName, NewS, Tail <: Tuple, Next <: Tuple](using ev: DecA[N, DecN], next: Aux[F, DecN, Tail, NewT, NewF, NewN, NewS, Next]): Aux[F, N, Fld *: Tail, NewT, NewF, NewN, NewS, Fld *: Next]
given `given_Aux_F__0_*:_NewT_NewF_NewN_NewS_*:`[F, Fld <: Tpe[F], NewT, NewF, NewN <: FieldName, NewS, Tail <: Tuple]: Aux[F, _0, Fld *: Tail, NewT, NewF, NewN, NewS, Field[NewT, NewF, NewN, NewS] *: Tail]

Inherited 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]

Attributes

Inherited from:
LowPriorityFieldTypeReplacers
Generated with