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

LowPriority3

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

Attributes

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

Members list

Givens

Givens

given zip_IdId_IdUnit[I1, I2, R1]: Aux[I1, I2, (I1, I2), R1, Unit, R1]
given zip_IdId_TupId[I1, I2 <: Tuple, R1, R2]: Aux[I1, I2, I1 *: I2, R1, R2, (R1, R2)]
given zip_IdUnit_IdId[I1, I2, R2]: Aux[I1, I2, (I1, I2), Unit, R2, R2]
given zip_TupId_IdId[I1 <: Tuple, I2, R1, R2]: Aux[I1, I2, Append[I1, I2], R1, R2, (R1, R2)]

Inherited givens

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

Attributes

Inherited from:
LowPriority4
Generated with