FieldValueReplacer

org.hungerford.generic.schema.utilities.FieldValueReplacer$
See theFieldValueReplacer companion trait

Attributes

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

Members list

Concise view

Type members

Types

type Aux[Sel, R <: Tuple, RV <: Tuple, I] = FieldValueReplacer[Sel, R, RV] { type Inner = I; }

Givens

Givens

given emptyReplacer[Sel, I]: emptyReplacer[Sel, I]
given replaceHead[Sel <: Singleton, I, RVTail <: Tuple, Fld, RTail <: Tuple](using frt: Aux[Sel, Fld *: RTail, Fld]): replaceHead[Sel, I, RVTail, Fld, RTail]

Inherited givens

given nextReplacer[Sel, I, NonI, RVTail <: Tuple, Fld, RTail <: Tuple](using next: Aux[Sel, RTail, RVTail, I]): nextReplacer[Sel, I, NonI, RVTail, Fld, RTail]

Attributes

Inherited from:
FieldValueReplacers1