tapir-core/sttp.tapir.typelevel/LowPriorityTupleSubtract1

LowPriorityTupleSubtract1

trait LowPriorityTupleSubtract1 extends LowPriorityTupleSubtract0
class Object
trait Matchable
class Any

Type members

Inherited types

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

Implicits

Implicits

implicit def tMinusT[T](implicit ta: TupleArity[T]): Aux[T, T, Unit]

Inherited implicits

implicit def inductive[TAB, T, AB, TA, A, B](implicit thatTab: TupleHeadAndTail[TAB, T, AB], thatTa: TupleHeadAndTail[TA, T, A], base: Aux[AB, A, B], taa: TupleArity[TA], ba: TupleArity[B]): Aux[TAB, TA, B]
implicit def single[TA, T, A](implicit that: TupleHeadAndTail[TA, T, A], ta: TupleArity[T], aa: TupleArity[A]): Aux[TA, T, A]