core
API
Generated with
core/org.hungerford.generic.schema.coproduct.subtype/SubtypeReplacer

SubtypeReplacer

org.hungerford.generic.schema.coproduct.subtype.SubtypeReplacer$
See theSubtypeReplacer companion trait
object SubtypeReplacer extends LowPrioritySubtypeReplacer

Attributes

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

Members list

Concise view

Type members

Types

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

Value members

Concrete methods

def replace[N <: Singleton, 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]: found[N, NewSubT, OldT, OldST, OldD, OldDN, OldDV, OldS, Tail]
given subtypeReplacer[I <: Int & Singleton, N <: Nat, NewSubT, R <: Tuple, Res](using ev: Aux[I, N], rp: Aux[N, R, NewSubT, Res]): subtypeReplacer[I, N, NewSubT, R, Res]

Inherited givens

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

Attributes

Inherited from:
LowPrioritySubtypeReplacer
Generated with