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

FieldReplacer

org.hungerford.generic.schema.product.field.FieldReplacer$
See theFieldReplacer companion trait
object FieldReplacer extends LowPriorityFieldReplacers

Attributes

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

Members list

Concise view

Type members

Types

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

Value members

Concrete methods

def replace[N <: Singleton, R <: Tuple, NewT, NewF, NewN <: FieldName, NewS](identifier: N, from: R, withField: Field[NewT, NewF, NewN, NewS])(using replacer: FieldReplacer[N, R, NewT, NewF, NewN, NewS]): Out

Givens

Givens

given `given_Aux_OldN_*:_NewT_NewF_NewN_NewS_*:`[OldT, OldF, OldN <: FieldName, OldS, NewT, NewF, NewN <: FieldName, NewS, Tail <: Tuple]: Aux[OldN, Field[OldT, OldF, OldN, OldS] *: Tail, NewT, NewF, NewN, NewS, Field[NewT, NewF, NewN, NewS] *: Tail]
given fieldReplacerByIndex[I <: Int & Singleton, R <: Tuple, NewT, NewF, NewN <: FieldName, NewS, Res <: Tuple](using rp: Aux[I, R, Field[NewT, NewF, NewN, NewS], Res]): fieldReplacerByIndex[I, R, NewT, NewF, NewN, NewS, Res]

Inherited givens

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

Attributes

Inherited from:
LowPriorityFieldReplacers
Generated with