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

Replacer

org.hungerford.generic.schema.types.Replacer$
See theReplacer companion trait
object Replacer extends LowPriorityReplacers

Attributes

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

Members list

Concise view

Type members

Classlikes

sealed class RP[I]()

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

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

Value members

Concrete methods

def replace[I]: RP[I]

Givens

Givens

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

Inherited givens

given continue[I <: Nat, DecI <: Nat, Head, Tail <: Tuple, TailRes <: Tuple, New](using ev: DecA[I, DecI], replacer: Aux[DecI, Tail, New, TailRes]): continue[I, DecI, Head, Tail, TailRes, New]

Attributes

Inherited from:
LowPriorityReplacers
Generated with