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

LowPriority1

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

Attributes

Graph
Supertypes
trait LowPriority2
trait LowPriority3
trait LowPriority4
class Object
trait Matchable
class Any
Show all
Known subtypes
object Zip

Members list

Givens

Givens

given zip_IdUnit_TupTup[I1, I2 <: Tuple, R2 <: Tuple]: Aux[I1, I2, I1 *: I2, Unit, R2, R2]
given zip_IdUnit_TupUnit[I1, I2 <: Tuple]: Aux[I1, I2, I1 *: I2, Unit, Unit, Unit]
given zip_TupId_TupTup[I1 <: Tuple, I2 <: Tuple, R1, R2 <: Tuple]: Aux[I1, I2, Concat[I1, I2], R1, R2, R1 *: R2]
given zip_TupId_TupUnit[I1 <: Tuple, I2 <: Tuple, R1]: Aux[I1, I2, Concat[I1, I2], R1, Unit, R1]
given zip_TupTup_IdUnit[I1 <: Tuple, I2, R1 <: Tuple]: Aux[I1, I2, Append[I1, I2], R1, Unit, R1]
given zip_TupTup_TupId[I1 <: Tuple, I2 <: Tuple, R1 <: Tuple, R2]: Aux[I1, I2, Concat[I1, I2], R1, R2, Append[R1, R2]]
given zip_TupUnit_IdUnit[I1 <: Tuple, I2]: Aux[I1, I2, Append[I1, I2], Unit, Unit, Unit]
given zip_TupUnit_TupId[I1 <: Tuple, I2 <: Tuple, R2]: Aux[I1, I2, Concat[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_IdId_TupTup[I1, I2 <: Tuple, R1, R2 <: Tuple]: Aux[I1, I2, I1 *: I2, R1, R2, R1 *: R2]

Attributes

Inherited from:
LowPriority2
given zip_IdId_TupUnit[I1, I2 <: Tuple, R1]: Aux[I1, I2, I1 *: I2, R1, Unit, R1]

Attributes

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

Attributes

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

Attributes

Inherited from:
LowPriority2
given zip_IdUnit_TupId[I1, I2 <: Tuple, R2]: Aux[I1, I2, I1 *: I2, Unit, R2, R2]

Attributes

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

Attributes

Inherited from:
LowPriority3
given zip_TupId_IdUnit[I1 <: Tuple, I2, R1]: Aux[I1, I2, Append[I1, I2], R1, Unit, R1]

Attributes

Inherited from:
LowPriority2
given zip_TupId_TupId[I1 <: Tuple, I2 <: Tuple, R1, R2]: Aux[I1, I2, Concat[I1, I2], R1, R2, (R1, R2)]

Attributes

Inherited from:
LowPriority2
given zip_TupTup_IdId[I1 <: Tuple, I2, R1 <: Tuple, R2]: Aux[I1, I2, Append[I1, I2], R1, R2, Append[R1, R2]]

Attributes

Inherited from:
LowPriority2
given zip_TupUnit_IdId[I1 <: Tuple, I2, R2]: Aux[I1, I2, Append[I1, I2], Unit, R2, R2]

Attributes

Inherited from:
LowPriority2
Generated with