traitRemoverAux[C <: HList, FC <: HList, N <: Nat] extends AnyRef
Evidence that removing the field with index N from 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 remove concrete field definitions from a FC.
Evidence that removing the field with index
N
from 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 remove concrete field definitions from aFC
.