tapir-core/sttp.tapir.typelevel/ParamConcat

ParamConcat

object ParamConcat extends LowPriorityTupleConcat4
Companion:
class
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 concatNothingNothing[U]: Aux[Nothing, Nothing, Nothing]
implicit def concatNothingUnit[U]: Aux[Nothing, Unit, Unit]
implicit def concatUnitNothing[U]: Aux[Unit, Nothing, Unit]
implicit def concatUnitUnit[U]: Aux[Unit, Unit, Unit]

Inherited implicits

implicit def concatNothingLeft[U](implicit ua: TupleArity[U]): Aux[Nothing, U, U]
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 concatUnitLeft[U](implicit ua: TupleArity[U]): Aux[Unit, U, U]
implicit def concatUnitRight[T](implicit ta: TupleArity[T]): Aux[T, Unit, T]