TupleOps

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
implicit def tpAppendConstraint[A, B, HLA <: HList, HLB <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[A, HLA], ev1: Tuple2HListConverter[B, HLB], ev2: AppendConstraint[HLA, HLB, HLR], ev3: HList2TupleConverter[R, HLR]): AppendConstraint[A, B, R]

Builder of constraint.AppendConstraint for tuples
Builder of constraint.AppendConstraint for tuples

Author:

Harshad Deo

A
left hand tuple
B
right hand tuple
HLA
HList equivalent of A
HLB
HList equivalent of B
HLR
HLB appended to HLA
R
Tuple equivalent of HLR

Since
0.1
implicit def tpApplyConstraint[F, FIN <: HList, IN, HIN <: HList, HOUT <: HList, OUT](implicit ev0: Tuple2HListConverter[F, FIN], ev1: Tuple2HListConverter[IN, HIN], ev2: ApplyConstraint[FIN, HIN, HOUT], ev3: HList2TupleConverter[OUT, HOUT]): ApplyConstraint[F, IN, OUT]

Builder of constraint.ApplyConstraint for tuples
Builder of constraint.ApplyConstraint for tuples

Author:

Harshad Deo

F
Tuple of functions
FIN
HList equivalent of F
IN
Tuple of inputs
HIN
HList equivalent of IN
HOUT
HList equivalent of the tuple of outputs
OUT
Tuple of outputs

Since
0.1
implicit def tpAtConstraint[N, T, HL <: HList, A](implicit ev0: Tuple2HListConverter[T, HL], ev1: AtConstraint[N, HL, A]): AtConstraint[N, T, A]

Builder of constraint.AtConstraint for tuples
Builder of constraint.AtConstraint for tuples

Author:

Harshad Deo

N
Type Index at which to get the element
T
Type of the Tuple
HL
Type of the HList corresponding to T
A
Type of the element at index N

Since
0.1
implicit def tpAtRightConstraint[N <: Dense, T, HL <: HList, A](implicit ev0: Tuple2HListConverter[T, HL], ev1: AtRightConstraint[N, HL, A]): AtRightConstraint[N, T, A]

Builder of constraint.AtRightConstraint for tuples
Builder of constraint.AtRightConstraint for tuples

Author:

Harshad Deo

N
Index at which to get the element (from the right)
T
Type of the tuple
HL
Type of the HList corresponding to T
A
Type of the element at index N

Since
0.1
implicit def tpConsConstraint[T, HL <: HList, U, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: HList2TupleConverter[R, :+:[U, HL]]): ConsConstraint[T, U, R]

Builder of constraint.ConsConstraint for tuples
Builder of constraint.ConsConstraint for tuples

Author:

Harshad Deo

T
Type of the input typle
HL
Type of the HList corresponding to T
U
Type of the element to be consed
R
Type of the resultant tuple

Since
0.1
implicit def tpDownTransformConstraint[T, HLI <: HList, M[_], HLO <: HList, R](implicit ev0: Tuple2HListConverter[T, HLI], ev1: DownTransformConstraint[HLI, HLO, M], ev2: HList2TupleConverter[R, HLO]): DownTransformConstraint[T, R, M]

Builder of constraint.DownTransformConstraint for tuples
Builder of constraint.DownTransformConstraint for tuples

Author:

Harshad Deo

T
Type of the input Tuple
HLI
Type of the HList corresponding to T
M
Common context of the elements of HLI
HLO
Type of the result of applying a down transformation on HLI with context M
R
Type of the resultant tuple

Since
0.1
implicit def tpDropConstraint[N, T, HL <: HList, HLD <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: DropConstraint[N, HL, HLD], ev2: HList2TupleConverter[U, HLD]): DropConstraint[N, T, U]

Builder of constraint.DropConstraint for tuples
Builder of constraint.DropConstraint for tuples

Author:

Harshad Deo

N
Type index of the number of elements to drop
T
Type of the input tuple
HL
Type of the HList corresponding to T
HLD
Type of the HList obtained by dropping N elements
U
Type of the resultant tuple

Since
0.1
implicit def tpDropRightConstraint[N, T, HL <: HList, HLD <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: DropRightConstraint[N, HL, HLD], ev2: HList2TupleConverter[U, HLD]): DropRightConstraint[N, T, U]

Builder of constraint.DropRightConstraint for tuples
Builder of constraint.DropRightConstraint for tuples

Author:

Harshad Deo

N
Type index of the number of elements to drop (from the right)
T
Type of the input tuple
HL
Type of the HList corresponding to tuple T
HLD
Type of the HList obtained by dropping N elements (from the right)
U
Type of the resultant tuple

Since
0.1
implicit def tpExternalUnzipConstraint[P, HP <: HList, HQ <: HList, HR <: HList, Q, R](implicit ev0: Tuple2HListConverter[P, HP], ev1: ExternalUnzipConstraint[HP, HQ, HR], ev2: HList2TupleConverter[Q, HQ], ev3: HList2TupleConverter[R, HR]): ExternalUnzipConstraint[P, Q, R]

Builder of constraint.ExternalUnzipConstraint for tuples
Builder of constraint.ExternalUnzipConstraint for tuples

Author:

Harshad Deo

P
Type of the input tuple
HP
Type of the HList corresponding to P
HQ
Type of the first HList obtained by unzipping HP
HR
Type of the second HList obtained by unzipping HP
Q
Type of tuple corresponding to HQ
R
Type of the tuple corresponding to HR

Since
0.1
implicit def tpExternalZipConstraintBuilder[P, Q, HLP <: HList, HLQ <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[P, HLP], ev1: Tuple2HListConverter[Q, HLQ], ev2: ExternalZipConstraint[HLP, HLQ, HLR], ev3: HList2TupleConverter[R, HLR]): ExternalZipConstraint[P, Q, R]

Builder of constraint.ExternalZipConstraint for tuples
Builder of constraint.ExternalZipConstraint for tuples

Author:

Harshad Deo

P
Type of the first input tuple
Q
Type of the second input tuple
HLP
Type of the HList corresponding to P
HLQ
Type of the HList corresponding to Q
HLR
Type of the HList obtained by zipping HLP and HLQ
R
Type of the tuple corresponding to HLR

Since
0.1
implicit def tpForeachConstraint[INP, HL <: HList, C](implicit ev0: Tuple2HListConverter[INP, HL], ev1: ForeachConstraint[HL, C]): ForeachConstraint[INP, C]

Builder of constraint.ForeachConstraint for tuples
Builder of constraint.ForeachConstraint for tuples

Author:

Harshad Deo

INP
Type of the input tuple
HL
Type of the HList corresponding to INP
C
Common type on which the operation is defined

Since
0.1
implicit def tpIndexFlatMapConstraint[N, Z, HL <: HList, A, T, HLF <: HList, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLF], ev2: IndexFlatMapConstraint[N, HL, A, HLF, HLM], ev3: HList2TupleConverter[R, HLM]): IndexFlatMapConstraint[N, Z, A, T, R]

Builder of constraint.IndexFlatMapConstraint for tuples
Builder of constraint.IndexFlatMapConstraint for tuples

Author:

Harshad Deo

N
Index of the element to flatmap
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
A
Type of the element at index N
T
Type of the tuple obtained by flatmapping the element at index N
HLF
Type of the HList corresponding to T
HLM
Type of the HList obtained by flatmapping element at index N of HL to type HLF
R
Type of tuple corresponding to HLM

Since
0.1
implicit def tpIndexFlatMapRightConstraint[N, Z, HL <: HList, A, T, HLF <: HList, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLF], ev2: IndexFlatMapRightConstraint[N, HL, A, HLF, HLM], ev3: HList2TupleConverter[R, HLM]): IndexFlatMapRightConstraint[N, Z, A, T, R]

Builder of constraint.IndexFlatMapRightConstraint for tuples
Builder of constraint.IndexFlatMapRightConstraint for tuples

Author:

Harshad Deo

N
Index of the element to flatmap (from the right)
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
A
Type of the element at index N
T
Type of the tuple obtained by flatmapping the element at index N
HLF
Type of the HList corresponding to T
HLM
Type of the HList obtained by flatmapping element at index N of HL to type HLF
R
Type of tuple corresponding to HLM

Since
0.1
implicit def tpIndexMapConstraint[N, Z, HL <: HList, A, T, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: IndexMapConstraint[N, HL, A, T, HLM], ev2: HList2TupleConverter[R, HLM]): IndexMapConstraint[N, Z, A, T, R]

Builder of constraint.IndexMapConstraint for tuples
Builder of constraint.IndexMapConstraint for tuples

Author:

Harshad Deo

N
Index of the element to map
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
A
Type of the element at index N
T
Type of the element obtained by mapping A
HLM
Type of the HList obtained by mapping element at index N of HL to type T
R
Type of the tuple corresponding to HLM

Since
0.1
implicit def tpIndexMapRightConstraint[N, Z, HL <: HList, A, T, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: IndexMapRightConstraint[N, HL, A, T, HLM], ev2: HList2TupleConverter[R, HLM]): IndexMapRightConstraint[N, Z, A, T, R]

Builder of constraint.IndexMapRightConstraint for tuples
Builder of constraint.IndexMapRightConstraint for tuples

Author:

Harshad Deo

N
Index of the element to map (from the right)
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
A
Type of the element at index N (from the right)
T
Type of the element obtained by mapping A
HLM
Type of the HList obtained by mapping element at index N of HL to type T
R
Type of the tuple corresponding to HLM

Since
0.1
implicit def tpInsertConstraint[N, T, HL <: HList, A, HLA <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: InsertConstraint[N, HL, A, HLA], ev2: HList2TupleConverter[R, HLA]): InsertConstraint[N, T, A, R]

Builder of constraint.InsertConstraint for tuples
Builder of constraint.InsertConstraint for tuples

Author:

Harshad Deo

N
Index at which to insert
T
Type of the input tuple
HL
Type of the HList corresponding to T
A
Type of the element to insert
HLA
Type of the HList obtained by inserting element of type A at index N in HL
R
Type of the result

Since
0.1
implicit def tpInsertMConstraint[N, Z, HL <: HList, T, HLI <: HList, HLA <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLI], ev2: InsertMConstraint[N, HL, HLI, HLA], ev3: HList2TupleConverter[R, HLA]): InsertMConstraint[N, Z, T, R]

Builder of constraint.InsertMConstraint for tuples
Builder of constraint.InsertMConstraint for tuples

Author:

Harshad Deo

N
Type index at which to insert
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
T
Type of the Tuple to insert
HLI
Type of HList corresponding to T
HLA
Type of HList obtained by inserting HLI at index N in HL
R
Type of the tuple corresponding to HLR

Since
0.1
implicit def tpInsertMRightConstraint[N, Z, HL <: HList, T, HLI <: HList, HLA <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLI], ev2: InsertMRightConstraint[N, HL, HLI, HLA], ev3: HList2TupleConverter[R, HLA]): InsertMRightConstraint[N, Z, T, R]

Builder of constraint.InsertMRightConstraint for tuples
Builder of constraint.InsertMRightConstraint for tuples

Author:

Harshad Deo

N
Type index at which to insert (from the right)
Z
Type of the input tuple
HL
Type of the HList corresponding to Z
T
Type of the Tuple to insert
HLI
Type of HList corresponding to T
HLA
Type of HList obtained by inserting HLI at index N in HL
R
Type of the tuple corresponding to HLR *

Since
0.1
implicit def tpInsertRightConstraint[N, T, HL <: HList, A, HLA <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: InsertRightConstraint[N, HL, A, HLA], ev2: HList2TupleConverter[R, HLA]): InsertRightConstraint[N, T, A, R]

Builder of constraint.InsertRightConstraint for tuples
Builder of constraint.InsertRightConstraint for tuples

Author:

Harshad Deo

N
Index at which to insert (from the right)
T
Type of the input tuple
HL
Type of the HList corresponding to T
A
Type of the element to insert
HLA
Type of the HList obtained by inserting element of type A at index N in HL
R
Type of the result

Since
0.1
implicit def tpInternalZipConstraint[Z, HLZ <: HList, F, HLF <: HList, T, V](implicit ev0: Tuple2HListConverter[Z, HLZ], ev1: HList2TupleConverter[F, HLF], ev2: InternalZipConstraint[HLZ, HLF, T, V]): InternalZipConstraint[Z, F, T, V]

Builder of constraint.InternalZipConstraint for tuples
Builder of constraint.InternalZipConstraint for tuples

Author:

Harshad Deo

Z
Type of the input tuple
HLZ
Type of HList corresponding to Z
F
Down converted type of Z. For details, see constraint.DownTransformConstraint
HLF
Type of HList corresponding to F
V
Type of the output collection

Since
0.1
implicit def tpLengthConstraint[Z, HL <: HList, L <: Dense](implicit ev0: Tuple2HListConverter[Z, HL], ev1: LengthConstraint[HL, L]): LengthConstraint[Z, L]

Builder of constraint.LengthConstraint for tuples
Builder of constraint.LengthConstraint for tuples

Author:

Harshad Deo

Z
Type of the tuple
HL
Type of the HList correspoding to Z
L
Length

Since
0.1
implicit def tpRemoveConstraint[N, T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: RemoveConstraint[N, HL, HLR], ev2: HList2TupleConverter[R, HLR]): RemoveConstraint[N, T, R]

Builder of constraint.RemoveConstraint for tuples
Builder of constraint.RemoveConstraint for tuples

Author:

Harshad Deo

N
Type index of the element to remove
T
Type of the input tuple
HL
Type of the HList corresponding to T
HLR
Type of the HList obtained by removing element at index N from HL
R
Type of tuple corresponding to HLR

Since
0.1
implicit def tpRemoveRightConstraint[N, T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: RemoveRightConstraint[N, HL, HLR], ev2: HList2TupleConverter[R, HLR]): RemoveRightConstraint[N, T, R]

Builder of constraint.RemoveRightConstraint for tuples
Builder of constraint.RemoveRightConstraint for tuples

Author:

Harshad Deo

N
Type index of the element to remove (from the right)
T
Type of the input tuple
HL
Type of the HList corresponding to T
HLR
Type of the HList obtained by removing element at index N from HL
R
Type of tuple corresponding to HLR

Since
0.1
implicit def tpReverseConstraint[T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: ReverseConstraint[HL, HLR], ev2: HList2TupleConverter[R, HLR]): ReverseConstraint[T, R]

Builder of constraint.ReverseConstraint for tuples
Builder of constraint.ReverseConstraint for tuples

Author:

Harshad Deo

T
Type of the input tuple
HL
Type of HList corresponding to T
HLR
Type of reverse of HL
R
Type of tuple corresponding to HLR

Since
0.1
implicit def tpSplitAtConstraint[N, T, HL <: HList, HLL <: HList, HLR <: HList, L, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: SplitAtConstraint[N, HL, HLL, HLR], ev2: HList2TupleConverter[L, HLL], ev3: HList2TupleConverter[R, HLR]): SplitAtConstraint[N, T, L, R]

Builder of constraint.SplitAtConstraint for tuples
Builder of constraint.SplitAtConstraint for tuples

Author:

Harshad Deo

N
Index at which to split
T
Type of the input tuple
HL
Type of HList corresponding to T
HLL
Type of the first HList obtained by splitting HL at index N
HLR
Type of the second HList obtained by splitting HL at index N
L
Type of the tuple corresponding to HLL
R
Type of the tuple corresponding to HLR

Since
0.1
implicit def tpSplitAtRightConstraint[N, T, HL <: HList, HLL <: HList, HLR <: HList, L, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: SplitAtRightConstraint[N, HL, HLL, HLR], ev2: HList2TupleConverter[L, HLL], ev3: HList2TupleConverter[R, HLR]): SplitAtRightConstraint[N, T, L, R]

Builder of constraint.SplitAtRightConstraint for tuples
Builder of constraint.SplitAtRightConstraint for tuples

Author:

Harshad Deo

N
Index at which to split (from the right)
T
Type of the input tuple
HL
Type of HList corresponding to T
HLL
Type of the first HList obtained by splitting HL at index N
HLR
Type of the second HList obtained by splitting HL at index N
L
Type of the tuple corresponding to HLL
R
Type of the tuple corresponding to HLR

Since
0.1
implicit def tpTakeConstraint[N, T, HL <: HList, HLT <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: TakeConstraint[N, HL, HLT], ev2: HList2TupleConverter[U, HLT]): TakeConstraint[N, T, U]

Builder of constraint.TakeConstraint for tuples
Builder of constraint.TakeConstraint for tuples

Author:

Harshad Deo

N
Type index of the number of elements to take
T
Type of the input tuple
HL
Type of the HList corresponding to T
HLT
Type of the HList obtained by taking N elements from HL
U
Type of the tuple corresponding to HLT

Since
0.1
implicit def tpTakeRightConstraint[N, T, HL <: HList, HLT <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: TakeRightConstraint[N, HL, HLT], ev2: HList2TupleConverter[U, HLT]): TakeRightConstraint[N, T, U]

Builder of constraint.TakeRightConstraint for tuples
Builder of constraint.TakeRightConstraint for tuples

Author:

Harshad Deo

N
Type index of the number of elements to take (from the right)
T
Type of the input tuple
HL
Type of the HList corresponding to T
HLT
Type of the HList obtained by taking N elements from HL (from the right)
U
Type of the tuple corresponding to HLT

Since
0.1
implicit def tpToListConstraint[Z, HL, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: ToListConstraint[HL, R]): ToListConstraint[Z, R]

Builder of constraint.ToListConstraint for tuples
Builder of constraint.ToListConstraint for tuples

Author:

Harshad Deo

Z
Type of the input tuple
HL
Type of HList corresponding to Z
R
Element type of resultant List

Since
0.1
implicit def tpTransformConstraint[I, HLI <: HList, M[_], N[_], HLO <: HList, O](implicit ev0: Tuple2HListConverter[I, HLI], ev1: TransformConstraint[HLI, HLO, M, N], ev2: HList2TupleConverter[O, HLO]): TransformConstraint[I, O, M, N]

Builder of constraint.TransformConstraint for tuples
Builder of constraint.TransformConstraint for tuples

Author:

Harshad Deo

I
Type of the input Tuple
HLI
Type of HList corresponding to I
M
Type of the input context
N
Type of the output context
HLO
Type of the result of applying M ~> N on HLI
O
Type of tuple corresponding to HLO

Since
0.1
implicit def tpUpdatedConstraint[N, T, HL <: HList, A, R, HLR <: HList](implicit ev0: Tuple2HListConverter[T, HL], ev1: UpdatedConstraint[N, HL, A, HLR], ev2: HList2TupleConverter[R, HLR]): UpdatedConstraint[N, T, A, R]

Builder of constraint.UpdatedConstraint for tuples
Builder of constraint.UpdatedConstraint for tuples

Author:

Harshad Deo

N
Type index of the element to update
T
Type of the input tuple
HL
Type of the HList corresponding to T
A
Type of the element to insert
R
Type of tuple corresponding to HLR
HLR
Type of the HList obtained by inserting A at index N in HL

Since
0.1
implicit def tpUpdatedRightConstraint[N, T, HL <: HList, A, HLA <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: UpdatedRightConstraint[N, HL, A, HLA], ev2: HList2TupleConverter[R, HLA]): UpdatedRightConstraint[N, T, A, R]

Builder of constraint.UpdatedRightConstraint for tuples
Builder of constraint.UpdatedRightConstraint for tuples

Author:

Harshad Deo

N
Type index of the element to update (from the right)
T
Type of the input tuple
HL
Type of the HList corresponding to T
A
Type of the element to insert
HLA
Type of the HList obtained by inserting A at index N in HL
R
Type of tuple corresponding to HLR

Since
0.1
implicit def tuple2ArityZipOps[Z, F](z: Z)(implicit ev: DownTransformConstraint[Z, F, Traversable]): ArityZipOps[Z, F]

Builds a ArityIndexOps object for the tuple
Builds a ArityIndexOps object for the tuple

Author:

Harshad Deo

Z
Type of the tuple being converted
F
Down Converted type of Z. For details, see constraint.DownTransformConstraint

Since
0.1
implicit def tuple2IndexOps[T](t: T): TupleIndexOps[T]

Builds a TupleIndexOps object for the tuple
Builds a TupleIndexOps object for the tuple

Author:

Harshad Deo

T
Type of the tuple being converted

Since
0.1
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package typequux

object TupleOps

Author:

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

implicit def tpAppendConstraint[A, B, HLA <: HList, HLB <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[A, HLA], ev1: Tuple2HListConverter[B, HLB], ev2: AppendConstraint[HLA, HLB, HLR], ev3: HList2TupleConverter[R, HLR]): AppendConstraint[A, B, R]

Author:

implicit def tpApplyConstraint[F, FIN <: HList, IN, HIN <: HList, HOUT <: HList, OUT](implicit ev0: Tuple2HListConverter[F, FIN], ev1: Tuple2HListConverter[IN, HIN], ev2: ApplyConstraint[FIN, HIN, HOUT], ev3: HList2TupleConverter[OUT, HOUT]): ApplyConstraint[F, IN, OUT]

Author:

implicit def tpAtConstraint[N, T, HL <: HList, A](implicit ev0: Tuple2HListConverter[T, HL], ev1: AtConstraint[N, HL, A]): AtConstraint[N, T, A]

Author:

implicit def tpAtRightConstraint[N <: Dense, T, HL <: HList, A](implicit ev0: Tuple2HListConverter[T, HL], ev1: AtRightConstraint[N, HL, A]): AtRightConstraint[N, T, A]

Author:

implicit def tpConsConstraint[T, HL <: HList, U, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: HList2TupleConverter[R, :+:[U, HL]]): ConsConstraint[T, U, R]

Author:

implicit def tpDownTransformConstraint[T, HLI <: HList, M[_], HLO <: HList, R](implicit ev0: Tuple2HListConverter[T, HLI], ev1: DownTransformConstraint[HLI, HLO, M], ev2: HList2TupleConverter[R, HLO]): DownTransformConstraint[T, R, M]

Author:

implicit def tpDropConstraint[N, T, HL <: HList, HLD <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: DropConstraint[N, HL, HLD], ev2: HList2TupleConverter[U, HLD]): DropConstraint[N, T, U]

Author:

implicit def tpDropRightConstraint[N, T, HL <: HList, HLD <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: DropRightConstraint[N, HL, HLD], ev2: HList2TupleConverter[U, HLD]): DropRightConstraint[N, T, U]

Author:

implicit def tpExternalUnzipConstraint[P, HP <: HList, HQ <: HList, HR <: HList, Q, R](implicit ev0: Tuple2HListConverter[P, HP], ev1: ExternalUnzipConstraint[HP, HQ, HR], ev2: HList2TupleConverter[Q, HQ], ev3: HList2TupleConverter[R, HR]): ExternalUnzipConstraint[P, Q, R]

Author:

implicit def tpExternalZipConstraintBuilder[P, Q, HLP <: HList, HLQ <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[P, HLP], ev1: Tuple2HListConverter[Q, HLQ], ev2: ExternalZipConstraint[HLP, HLQ, HLR], ev3: HList2TupleConverter[R, HLR]): ExternalZipConstraint[P, Q, R]

Author:

implicit def tpForeachConstraint[INP, HL <: HList, C](implicit ev0: Tuple2HListConverter[INP, HL], ev1: ForeachConstraint[HL, C]): ForeachConstraint[INP, C]

Author:

implicit def tpIndexFlatMapConstraint[N, Z, HL <: HList, A, T, HLF <: HList, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLF], ev2: IndexFlatMapConstraint[N, HL, A, HLF, HLM], ev3: HList2TupleConverter[R, HLM]): IndexFlatMapConstraint[N, Z, A, T, R]

Author:

Author:

implicit def tpIndexMapConstraint[N, Z, HL <: HList, A, T, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: IndexMapConstraint[N, HL, A, T, HLM], ev2: HList2TupleConverter[R, HLM]): IndexMapConstraint[N, Z, A, T, R]

Author:

implicit def tpIndexMapRightConstraint[N, Z, HL <: HList, A, T, HLM <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: IndexMapRightConstraint[N, HL, A, T, HLM], ev2: HList2TupleConverter[R, HLM]): IndexMapRightConstraint[N, Z, A, T, R]

Author:

implicit def tpInsertConstraint[N, T, HL <: HList, A, HLA <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: InsertConstraint[N, HL, A, HLA], ev2: HList2TupleConverter[R, HLA]): InsertConstraint[N, T, A, R]

Author:

implicit def tpInsertMConstraint[N, Z, HL <: HList, T, HLI <: HList, HLA <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLI], ev2: InsertMConstraint[N, HL, HLI, HLA], ev3: HList2TupleConverter[R, HLA]): InsertMConstraint[N, Z, T, R]

Author:

implicit def tpInsertMRightConstraint[N, Z, HL <: HList, T, HLI <: HList, HLA <: HList, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: Tuple2HListConverter[T, HLI], ev2: InsertMRightConstraint[N, HL, HLI, HLA], ev3: HList2TupleConverter[R, HLA]): InsertMRightConstraint[N, Z, T, R]

Author:

implicit def tpInsertRightConstraint[N, T, HL <: HList, A, HLA <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: InsertRightConstraint[N, HL, A, HLA], ev2: HList2TupleConverter[R, HLA]): InsertRightConstraint[N, T, A, R]

Author:

implicit def tpInternalZipConstraint[Z, HLZ <: HList, F, HLF <: HList, T, V](implicit ev0: Tuple2HListConverter[Z, HLZ], ev1: HList2TupleConverter[F, HLF], ev2: InternalZipConstraint[HLZ, HLF, T, V]): InternalZipConstraint[Z, F, T, V]

Author:

implicit def tpLengthConstraint[Z, HL <: HList, L <: Dense](implicit ev0: Tuple2HListConverter[Z, HL], ev1: LengthConstraint[HL, L]): LengthConstraint[Z, L]

Author:

implicit def tpRemoveConstraint[N, T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: RemoveConstraint[N, HL, HLR], ev2: HList2TupleConverter[R, HLR]): RemoveConstraint[N, T, R]

Author:

implicit def tpRemoveRightConstraint[N, T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: RemoveRightConstraint[N, HL, HLR], ev2: HList2TupleConverter[R, HLR]): RemoveRightConstraint[N, T, R]

Author:

implicit def tpReverseConstraint[T, HL <: HList, HLR <: HList, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: ReverseConstraint[HL, HLR], ev2: HList2TupleConverter[R, HLR]): ReverseConstraint[T, R]

Author:

implicit def tpSplitAtConstraint[N, T, HL <: HList, HLL <: HList, HLR <: HList, L, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: SplitAtConstraint[N, HL, HLL, HLR], ev2: HList2TupleConverter[L, HLL], ev3: HList2TupleConverter[R, HLR]): SplitAtConstraint[N, T, L, R]

Author:

implicit def tpSplitAtRightConstraint[N, T, HL <: HList, HLL <: HList, HLR <: HList, L, R](implicit ev0: Tuple2HListConverter[T, HL], ev1: SplitAtRightConstraint[N, HL, HLL, HLR], ev2: HList2TupleConverter[L, HLL], ev3: HList2TupleConverter[R, HLR]): SplitAtRightConstraint[N, T, L, R]

Author:

implicit def tpTakeConstraint[N, T, HL <: HList, HLT <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: TakeConstraint[N, HL, HLT], ev2: HList2TupleConverter[U, HLT]): TakeConstraint[N, T, U]

Author:

implicit def tpTakeRightConstraint[N, T, HL <: HList, HLT <: HList, U](implicit ev0: Tuple2HListConverter[T, HL], ev1: TakeRightConstraint[N, HL, HLT], ev2: HList2TupleConverter[U, HLT]): TakeRightConstraint[N, T, U]

Author:

implicit def tpToListConstraint[Z, HL, R](implicit ev0: Tuple2HListConverter[Z, HL], ev1: ToListConstraint[HL, R]): ToListConstraint[Z, R]

Author:

implicit def tpTransformConstraint[I, HLI <: HList, M[_], N[_], HLO <: HList, O](implicit ev0: Tuple2HListConverter[I, HLI], ev1: TransformConstraint[HLI, HLO, M, N], ev2: HList2TupleConverter[O, HLO]): TransformConstraint[I, O, M, N]

Author: