core/org.hungerford.generic.schema.coproduct.subtype/SubtypeReplacer

SubtypeReplacer

object SubtypeReplacer extends LowPrioritySubtypeReplacer
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[N <: TypeName, NewSubT, R <: Tuple, O] = SubtypeReplacer[N, NewSubT, R] { type Out = O; }

Value members

Concrete methods

def replace[N <: TypeName, NewSubT, R <: Tuple](typeName: N, from: R, withSubtype: NewSubT)(using strp: SubtypeReplacer[N, NewSubT, R]): Out

Givens

Givens

given found[N <: TypeName, NewSubT, OldT, OldST, OldD, OldDN, OldDV, OldS, Tail <: Tuple]: SubtypeReplacer[N, NewSubT, Aux[OldT, OldST, OldD, OldDN, OldDV, N, OldS] *: Tail]

Inherited givens

given notFound[N <: TypeName, Head, Tail <: Tuple, NewSubT, NextRes <: Tuple](using val next: Aux[N, NewSubT, Tail, NextRes]): SubtypeReplacer[N, NewSubT, Head *: Tail]