zipper
API
Generated with
zipper/contrib.shapeless3/Replacer

Replacer

contrib.shapeless3.Replacer
See theReplacer companion trait
object Replacer

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Replacer.type

Members list

Type members

Types

type Aux[L <: Tuple, U, V, Out0] = Replacer[L, U, V] { type Out = Out0; }

Value members

Concrete methods

def apply[L <: Tuple, U, V](using r: Replacer[L, U, V]): Aux[L, U, V, r.Out]

Givens

Givens

given tupleReplacer1[T <: Tuple, U, V]: Aux[U *: T, U, V, (U, V *: T)]
given tupleReplacer2[H, T <: Tuple, U, V, OutT <: Tuple](using ut: Aux[T, U, V, (U, OutT)]): Aux[H *: T, U, V, (U, H *: OutT)]
Generated with