oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/CaseExtractor/ZipLowPriority/LowPriority2

LowPriority2

oxygen.meta.CaseExtractor.ZipLowPriority.LowPriority2
trait LowPriority2 extends LowPriority3

Attributes

Graph
Supertypes
trait LowPriority3
trait LowPriority4
class Object
trait Matchable
class Any
Known subtypes
trait LowPriority1
object Zip

Members list

Givens

Givens

given zip_IdId_TupTup[I1, I2 <: Tuple, R1, R2 <: Tuple]: Aux[I1, I2, I1 *: I2, R1, R2, R1 *: R2]
given zip_IdId_TupUnit[I1, I2 <: Tuple, R1]: Aux[I1, I2, I1 *: I2, R1, Unit, R1]
given zip_IdUnit_IdUnit[I1, I2]: Aux[I1, I2, (I1, I2), Unit, Unit, Unit]
given zip_IdUnit_TupId[I1, I2 <: Tuple, R2]: Aux[I1, I2, I1 *: I2, Unit, R2, R2]
given zip_TupId_IdUnit[I1 <: Tuple, I2, R1]: Aux[I1, I2, Append[I1, I2], R1, Unit, R1]
given zip_TupId_TupId[I1 <: Tuple, I2 <: Tuple, R1, R2]: Aux[I1, I2, Concat[I1, I2], R1, R2, (R1, R2)]
given zip_TupTup_IdId[I1 <: Tuple, I2, R1 <: Tuple, R2]: Aux[I1, I2, Append[I1, I2], R1, R2, Append[R1, R2]]
given zip_TupUnit_IdId[I1 <: Tuple, I2, R2]: Aux[I1, I2, Append[I1, I2], Unit, R2, R2]

Inherited givens

given zip_IdId_IdId[I1, I2, R1, R2]: Aux[I1, I2, (I1, I2), R1, R2, (R1, R2)]

Attributes

Inherited from:
LowPriority4
given zip_IdId_IdUnit[I1, I2, R1]: Aux[I1, I2, (I1, I2), R1, Unit, R1]

Attributes

Inherited from:
LowPriority3
given zip_IdId_TupId[I1, I2 <: Tuple, R1, R2]: Aux[I1, I2, I1 *: I2, R1, R2, (R1, R2)]

Attributes

Inherited from:
LowPriority3
given zip_IdUnit_IdId[I1, I2, R2]: Aux[I1, I2, (I1, I2), Unit, R2, R2]

Attributes

Inherited from:
LowPriority3
given zip_TupId_IdId[I1 <: Tuple, I2, R1, R2]: Aux[I1, I2, Append[I1, I2], R1, R2, (R1, R2)]

Attributes

Inherited from:
LowPriority3
Generated with