Tuples

zio.blocks.combinators.Tuples.Tuples
See theTuples companion trait
object Tuples extends TuplesLowPriority

Attributes

Companion
trait
Source
Tuples.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Tuples.type

Members list

Type members

Types

type WithOut[L, R, O] = Tuples[L, R] { type Out = O; }

Attributes

Source
Tuples.scala

Givens

Givens

given leftEmptyTuple: [R] => WithOut[EmptyTuple, R, R]

Attributes

Source
Tuples.scala
given leftUnit: [R] => WithOut[Unit, R, R]

Attributes

Source
Tuples.scala
given rightEmptyTuple: [L] => WithOut[L, EmptyTuple, L]

Attributes

Source
Tuples.scala
given rightUnit: [L] => WithOut[L, Unit, L]

Attributes

Source
Tuples.scala
inline given tupleTuple: [L <: NonEmptyTuple, R <: NonEmptyTuple] => WithOut[L, R, Combined[L, R]]

Attributes

Source
Tuples.scala
inline given tupleValue: [L <: NonEmptyTuple, R] => NotGiven[R <:< Tuple] => WithOut[L, R, Concat[L, Tuple1[R]]]

Attributes

Source
Tuples.scala
given valueTuple: [L, R <: NonEmptyTuple] => NotGiven[L <:< Tuple] => WithOut[L, R, Concat[Tuple1[L], R]]

Attributes

Source
Tuples.scala

Inherited givens

given fallback: [L, R] => WithOut[L, R, (L, R)]

Attributes

Inherited from:
TuplesLowPriority
Source
Tuples.scala