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

ZipRs

org.hungerford.generic.schema.utilities.ZipRs$
See theZipRs companion trait
object ZipRs

Attributes

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

Members list

Concise view

Type members

Classlikes

object empty extends ZipRs[EmptyTuple, EmptyTuple]

Attributes

Graph
Supertypes
trait ZipRs[EmptyTuple, EmptyTuple]
class Object
trait Matchable
class Any
Self type
empty.type

Types

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

Givens

Givens

given empty: empty.type
given next[HRV, TRV <: Tuple, HR, TR <: Tuple, NextZ <: Tuple](using nextZ: Aux[TRV, TR, NextZ]): next[HRV, TRV, HR, TR, NextZ]
Generated with