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

SubtypeTypeRemover

org.hungerford.generic.schema.coproduct.subtype.SubtypeTypeRemover$
See theSubtypeTypeRemover companion trait
object SubtypeTypeRemover extends LowPrioritySubtypeTypeRemovers

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, N <: Nat, R <: Tuple, O <: Tuple] = SubtypeTypeRemover[T, N, R] { type Out = O; }

Givens

Givens

given fieldRemoverByTypeNonZero[T, N <: Nat, DecN <: Nat, SubT <: Tpe[T], Tail <: Tuple, Res <: Tuple](using ev: DecA[N, DecN], next: Aux[T, DecN, Tail, Res]): fieldRemoverByTypeNonZero[T, N, DecN, SubT, Tail, Res]
given fieldRemoverByTypeZero[T, SubT <: Tpe[T], Tail <: Tuple]: fieldRemoverByTypeZero[T, SubT, Tail]

Inherited givens

given nextFieldRemover[T, N <: Nat, Head, Tail <: Tuple, Res <: Tuple](using next: Aux[T, N, Tail, Res]): nextFieldRemover[T, N, Head, Tail, Res]

Attributes

Inherited from:
LowPrioritySubtypeTypeRemovers
Generated with