core
API
Generated with
core/org.hungerford.generic.schema.types/Remover

Remover

org.hungerford.generic.schema.types.Remover$
See theRemover companion trait
object Remover extends LowPriorityRemovers

Attributes

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

Members list

Concise view

Type members

Classlikes

sealed class RM[I]()

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type Aux[I, R <: Tuple, O] = Remover[I, R] { type Out = O; }

Value members

Concrete methods

def remove[I]: RM[I]

Givens

Givens

given equiv[I <: Int, N <: Nat, R <: Tuple, Res <: Tuple](using ev: Aux[I, N], rm: Aux[N, R, Res]): equiv[I, N, R, Res]
given removeHead[I <: Nat, Head, Tail <: Tuple]: removeHead[I, Head, Tail]

Inherited givens

given continue[I <: Nat, DecI <: Nat, Head, Tail <: Tuple, Res <: Tuple](using ev: DecA[I, DecI], next: Aux[DecI, Tail, Res]): continue[I, DecI, Head, Tail, Res]

Attributes

Inherited from:
LowPriorityRemovers
Generated with