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

SubtypeRemover

org.hungerford.generic.schema.coproduct.subtype.SubtypeRemover$
See theSubtypeRemover companion trait
object SubtypeRemover extends LowPrioritySubtypeRemovers

Attributes

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

Members list

Concise view

Type members

Types

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

Value members

Concrete methods

def apply[N <: Singleton, R <: Tuple](using str: SubtypeRemover[N, R]): Aux[N, R, Out]
def remove[N <: Singleton, R <: Tuple](typeName: N, from: R)(using str: SubtypeRemover[N, R]): Out

Givens

Givens

given found[N <: TypeName, SubT <: Named[N], Tail <: Tuple]: found[N, SubT, Tail]
given subtypeRemoverByIndex[I <: Int & Singleton, N <: Nat, R <: Tuple, Res <: Tuple](using ev: Aux[I, N], rp: Aux[N, R, Res]): subtypeRemoverByIndex[I, N, R, Res]

Inherited givens

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

Attributes

Inherited from:
LowPrioritySubtypeRemovers
Generated with