traitReplacerAux[A, C <: HList, FC <: HList, N <: Nat] extends AnyRef
Evidence that replacing the field with index N with a field of type A in a list of fields C (with
definitions FC) results in a field list of type COut (with definitions FCOut). Also contains ways to return
a formatter for the list of fields after the operation and to replace concrete field definitions in a FC.
Evidence that replacing the field with index
N
with a field of typeA
in a list of fieldsC
(with definitionsFC
) results in a field list of typeCOut
(with definitionsFCOut
). Also contains ways to return a formatter for the list of fields after the operation and to replace concrete field definitions in aFC
.