oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/CaseExtractor/Zip

Zip

oxygen.meta.CaseExtractor.Zip
See theZip companion trait
object Zip extends LowPriority1

Attributes

Companion
trait
Graph
Supertypes
trait LowPriority1
trait LowPriority2
trait LowPriority3
trait LowPriority4
class Object
trait Matchable
class Any
Show all
Self type
Zip.type

Members list

Type members

Classlikes

final case class Merge[I1, I2, _I3, R1, R2, _R3](mergePattern: (Pattern[R1], Pattern[R2]) => Pattern[_R3]) extends Zip[I1, I2, R1, R2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Zip[I1, I2, R1, R2]
class Object
trait Matchable
class Any
Show all

Types

type Aux[I1, I2, _I3, R1, R2, _R3] = Zip[I1, I2, R1, R2] { type I3 = _I3; type R3 = _R3; }

Givens

Givens

given zip_TupTup_TupTup[I1 <: Tuple, I2 <: Tuple, R1 <: Tuple, R2 <: Tuple]: Aux[I1, I2, Concat[I1, I2], R1, R2, Concat[R1, R2]]
given zip_TupTup_TupUnit[I1 <: Tuple, I2 <: Tuple, R1 <: Tuple]: Aux[I1, I2, Concat[I1, I2], R1, Unit, R1]
given zip_TupUnit_TupTup[I1 <: Tuple, I2 <: Tuple, R2 <: Tuple]: Aux[I1, I2, Concat[I1, I2], Unit, R2, R2]
given zip_TupUnit_TupUnit[I1 <: Tuple, I2 <: Tuple]: Aux[I1, I2, Concat[I1, I2], Unit, Unit, Unit]

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_IdUnit_TupTup[I1, I2 <: Tuple, R2 <: Tuple]: Aux[I1, I2, I1 *: I2, Unit, R2, R2]

Attributes

Inherited from:
LowPriority1
given zip_IdUnit_TupUnit[I1, I2 <: Tuple]: Aux[I1, I2, I1 *: I2, Unit, Unit, Unit]

Attributes

Inherited from:
LowPriority1
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_TupId_TupTup[I1 <: Tuple, I2 <: Tuple, R1, R2 <: Tuple]: Aux[I1, I2, Concat[I1, I2], R1, R2, R1 *: R2]

Attributes

Inherited from:
LowPriority1
given zip_TupId_TupUnit[I1 <: Tuple, I2 <: Tuple, R1]: Aux[I1, I2, Concat[I1, I2], R1, Unit, R1]

Attributes

Inherited from:
LowPriority1
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_TupTup_IdUnit[I1 <: Tuple, I2, R1 <: Tuple]: Aux[I1, I2, Append[I1, I2], R1, Unit, R1]

Attributes

Inherited from:
LowPriority1
given zip_TupTup_TupId[I1 <: Tuple, I2 <: Tuple, R1 <: Tuple, R2]: Aux[I1, I2, Concat[I1, I2], R1, R2, Append[R1, R2]]

Attributes

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

Attributes

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

Attributes

Inherited from:
LowPriority1
given zip_TupUnit_TupId[I1 <: Tuple, I2 <: Tuple, R2]: Aux[I1, I2, Concat[I1, I2], Unit, R2, R2]

Attributes

Inherited from:
LowPriority1
Generated with