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

ZipRsWithIndex

org.hungerford.generic.schema.utilities.ZipRsWithIndex$
See theZipRsWithIndex companion trait
object ZipRsWithIndex

Attributes

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

Members list

Concise view

Type members

Types

type Aux[I0 <: Nat, RV <: Tuple, R <: Tuple, Z <: Tuple] = ZipRsWithIndex[I0, RV, R] { type Zipped = Z; }

Givens

Givens

given empty[I <: Nat]: empty[I]
given next[I0 <: Nat, HRV, TRV <: Tuple, HR, TR <: Tuple, NextZ <: Tuple](using nextZ: Aux[Succ[I0], TRV, TR, NextZ]): next[I0, HRV, TRV, HR, TR, NextZ]
Generated with