core
API
Generated with
core/org.hungerford.generic.schema.utilities/AlignFromMap

AlignFromMap

org.hungerford.generic.schema.utilities.AlignFromMap$
See theAlignFromMap companion trait
object AlignFromMap

Attributes

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

Members list

Concise view

Type members

Types

type Aux[Map <: Tuple, RV <: Tuple, R <: Tuple, RVO <: Tuple, RO <: Tuple] = AlignFromMap[Map, RV, R] { type RVOut = RVO; type ROut = RO; }

Givens

Givens

given finished[CI <: Nat, RV <: Tuple, R <: Tuple]: finished[CI, RV, R]
given getNext[HMap <: Nat, TMap <: Tuple, RV <: Tuple, R <: Tuple, V, S, RVO <: Tuple, RO <: Tuple](using getIndexRV: Aux[HMap, RV, _0, V], getIndexR: Aux[HMap, R, _0, S], next: Aux[TMap, RV, R, RVO, RO]): getNext[HMap, TMap, RV, R, V, S, RVO, RO]
Generated with