Object

typequux

TupleOps

Related Doc: package typequux

Permalink

object TupleOps

Provides implicit definitions to build constraint typeclasses for tuples. To do so, converts the tuple to the corresponding HList, applies the operation on the HList and converts the result back to a tuple.

Author:

Harshad Deo

Since

0.1

Linear Supertypes
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. TupleOps
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

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

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

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

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

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

    Permalink
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  10. def hashCode(): Int

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

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

    Permalink
    Definition Classes
    AnyRef
  13. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  14. final def notifyAll(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  16. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  17. 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]

    Permalink

    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

  18. 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]

    Permalink

    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

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

    Permalink

    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

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

    Permalink

    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

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

    Permalink

    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

  22. 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]

    Permalink

    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

  23. 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]

    Permalink

    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

  24. 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]

    Permalink

    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

  25. 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]

    Permalink

    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

  26. 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]

    Permalink

    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

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

    Permalink

    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

  28. 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]

    Permalink

    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

  29. 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]

    Permalink

    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

  30. 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]

    Permalink

    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

  31. 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]

    Permalink

    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

  32. 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]

    Permalink

    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

  33. 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]

    Permalink

    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

  34. 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]

    Permalink

    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

  35. 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]

    Permalink

    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

  36. 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]

    Permalink

    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

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

    Permalink

    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

  38. 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]

    Permalink

    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

  39. 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]

    Permalink

    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

  40. 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]

    Permalink

    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

  41. 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]

    Permalink

    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

  42. 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]

    Permalink

    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

  43. 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]

    Permalink

    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

  44. 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]

    Permalink

    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

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

    Permalink

    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

  46. 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]

    Permalink

    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

  47. 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]

    Permalink

    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

  48. 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]

    Permalink

    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

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

    Permalink

    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

  50. implicit def tuple2IndexOps[T](t: T): TupleIndexOps[T]

    Permalink

    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

  51. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Constraint Constructor

Ops Converter

Ungrouped