tapir-core/sttp.tapir.typelevel/LowPriorityTupleConcat4

LowPriorityTupleConcat4

trait LowPriorityTupleConcat4 extends LowPriorityTupleConcat3
class Object
trait Matchable
class Any

Type members

Inherited types

type Aux[T, U, TU] = ParamConcat[T, U] { type Out = TU; }

Implicits

Implicits

implicit
def concatNothingLeft[U](implicit ua: TupleArity[U]): Aux[Nothing, U, U]
implicit
def concatUnitLeft[U](implicit ua: TupleArity[U]): Aux[Unit, U, U]

Inherited implicits

implicit
def concatNothingRight[T](implicit ta: TupleArity[T]): Aux[T, Nothing, T]
implicit
def concatSingleAndSingle[T, U, TU](implicit tc: JoinAux[(T), (U), TU]): Aux[T, U, TU]
implicit
def concatSingleAndTuple[T, U, TU](implicit tc: JoinAux[(T), U, TU], ua: TupleArity[U]): Aux[T, U, TU]
implicit
def concatTupleAndSingle[T, U, TU](implicit tc: JoinAux[T, (U), TU], ta: TupleArity[T]): Aux[T, U, TU]
implicit
def concatTuples[T, U, TU](implicit tc: JoinAux[T, U, TU], ta: TupleArity[T], ua: TupleArity[U]): Aux[T, U, TU]
implicit
def concatUnitRight[T](implicit ta: TupleArity[T]): Aux[T, Unit, T]