Builder of constraint.AppendConstraint for tuples
Builder of constraint.AppendConstraint for tuples
Harshad Deo
left hand tuple
right hand tuple
HList equivalent of A
HList equivalent of B
HLB appended to HLA
Tuple equivalent of HLR
0.1
Builder of constraint.ApplyConstraint for tuples
Builder of constraint.ApplyConstraint for tuples
Harshad Deo
Tuple of functions
HList equivalent of F
Tuple of inputs
HList equivalent of IN
HList equivalent of the tuple of outputs
Tuple of outputs
0.1
Builder of constraint.AtConstraint for tuples
Builder of constraint.AtConstraint for tuples
Harshad Deo
Type Index at which to get the element
Type of the Tuple
Type of the HList corresponding to T
Type of the element at index N
0.1
Builder of constraint.AtRightConstraint for tuples
Builder of constraint.AtRightConstraint for tuples
Harshad Deo
Index at which to get the element (from the right)
Type of the tuple
Type of the HList corresponding to T
Type of the element at index N
0.1
Builder of constraint.ConsConstraint for tuples
Builder of constraint.ConsConstraint for tuples
Harshad Deo
Type of the input typle
Type of the HList corresponding to T
Type of the element to be consed
Type of the resultant tuple
0.1
Builder of constraint.DownTransformConstraint for tuples
Builder of constraint.DownTransformConstraint for tuples
Harshad Deo
Type of the input Tuple
Type of the HList corresponding to T
Common context of the elements of HLI
Type of the result of applying a down transformation on HLI with context M
Type of the resultant tuple
0.1
Builder of constraint.DropConstraint for tuples
Builder of constraint.DropConstraint for tuples
Harshad Deo
Type index of the number of elements to drop
Type of the input tuple
Type of the HList corresponding to T
Type of the HList obtained by dropping N elements
Type of the resultant tuple
0.1
Builder of constraint.DropRightConstraint for tuples
Builder of constraint.DropRightConstraint for tuples
Harshad Deo
Type index of the number of elements to drop (from the right)
Type of the input tuple
Type of the HList corresponding to tuple T
Type of the HList obtained by dropping N elements (from the right)
Type of the resultant tuple
0.1
Builder of constraint.ExternalUnzipConstraint for tuples
Builder of constraint.ExternalUnzipConstraint for tuples
Harshad Deo
Type of the input tuple
Type of the HList corresponding to P
Type of the first HList obtained by unzipping HP
Type of the second HList obtained by unzipping HP
Type of tuple corresponding to HQ
Type of the tuple corresponding to HR
0.1
Builder of constraint.ExternalZipConstraint for tuples
Builder of constraint.ExternalZipConstraint for tuples
Harshad Deo
Type of the first input tuple
Type of the second input tuple
Type of the HList corresponding to P
Type of the HList corresponding to Q
Type of the HList obtained by zipping HLP and HLQ
Type of the tuple corresponding to HLR
0.1
Builder of constraint.ForeachConstraint for tuples
Builder of constraint.ForeachConstraint for tuples
Harshad Deo
Type of the input tuple
Type of the HList corresponding to INP
Common type on which the operation is defined
0.1
Builder of constraint.IndexFlatMapConstraint for tuples
Builder of constraint.IndexFlatMapConstraint for tuples
Harshad Deo
Index of the element to flatmap
Type of the input tuple
Type of the HList corresponding to Z
Type of the element at index N
Type of the tuple obtained by flatmapping the element at index N
Type of the HList corresponding to T
Type of the HList obtained by flatmapping element at index N of HL to type HLF
Type of tuple corresponding to HLM
0.1
Builder of constraint.IndexFlatMapRightConstraint for tuples
Builder of constraint.IndexFlatMapRightConstraint for tuples
Harshad Deo
Index of the element to flatmap (from the right)
Type of the input tuple
Type of the HList corresponding to Z
Type of the element at index N
Type of the tuple obtained by flatmapping the element at index N
Type of the HList corresponding to T
Type of the HList obtained by flatmapping element at index N of HL to type HLF
Type of tuple corresponding to HLM
0.1
Builder of constraint.IndexMapConstraint for tuples
Builder of constraint.IndexMapConstraint for tuples
Harshad Deo
Index of the element to map
Type of the input tuple
Type of the HList corresponding to Z
Type of the element at index N
Type of the element obtained by mapping A
Type of the HList obtained by mapping element at index N of HL to type T
Type of the tuple corresponding to HLM
0.1
Builder of constraint.IndexMapRightConstraint for tuples
Builder of constraint.IndexMapRightConstraint for tuples
Harshad Deo
Index of the element to map (from the right)
Type of the input tuple
Type of the HList corresponding to Z
Type of the element at index N (from the right)
Type of the element obtained by mapping A
Type of the HList obtained by mapping element at index N of HL to type T
Type of the tuple corresponding to HLM
0.1
Builder of constraint.InsertConstraint for tuples
Builder of constraint.InsertConstraint for tuples
Harshad Deo
Index at which to insert
Type of the input tuple
Type of the HList corresponding to T
Type of the element to insert
Type of the HList obtained by inserting element of type A at index N in HL
Type of the result
0.1
Builder of constraint.InsertMConstraint for tuples
Builder of constraint.InsertMConstraint for tuples
Harshad Deo
Type index at which to insert
Type of the input tuple
Type of the HList corresponding to Z
Type of the Tuple to insert
Type of HList corresponding to T
Type of HList obtained by inserting HLI at index N in HL
Type of the tuple corresponding to HLR
0.1
Builder of constraint.InsertMRightConstraint for tuples
Builder of constraint.InsertMRightConstraint for tuples
Harshad Deo
Type index at which to insert (from the right)
Type of the input tuple
Type of the HList corresponding to Z
Type of the Tuple to insert
Type of HList corresponding to T
Type of HList obtained by inserting HLI at index N in HL
Type of the tuple corresponding to HLR *
0.1
Builder of constraint.InsertRightConstraint for tuples
Builder of constraint.InsertRightConstraint for tuples
Harshad Deo
Index at which to insert (from the right)
Type of the input tuple
Type of the HList corresponding to T
Type of the element to insert
Type of the HList obtained by inserting element of type A at index N in HL
Type of the result
0.1
Builder of constraint.InternalZipConstraint for tuples
Builder of constraint.InternalZipConstraint for tuples
Harshad Deo
Type of the input tuple
Type of HList corresponding to Z
Down converted type of Z. For details, see constraint.DownTransformConstraint
Type of HList corresponding to F
Type of the output collection
0.1
Builder of constraint.LengthConstraint for tuples
Builder of constraint.LengthConstraint for tuples
Harshad Deo
Type of the tuple
Type of the HList correspoding to Z
Length
0.1
Builder of constraint.RemoveConstraint for tuples
Builder of constraint.RemoveConstraint for tuples
Harshad Deo
Type index of the element to remove
Type of the input tuple
Type of the HList corresponding to T
Type of the HList obtained by removing element at index N from HL
Type of tuple corresponding to HLR
0.1
Builder of constraint.RemoveRightConstraint for tuples
Builder of constraint.RemoveRightConstraint for tuples
Harshad Deo
Type index of the element to remove (from the right)
Type of the input tuple
Type of the HList corresponding to T
Type of the HList obtained by removing element at index N from HL
Type of tuple corresponding to HLR
0.1
Builder of constraint.ReverseConstraint for tuples
Builder of constraint.ReverseConstraint for tuples
Harshad Deo
Type of the input tuple
Type of HList corresponding to T
Type of reverse of HL
Type of tuple corresponding to HLR
0.1
Builder of constraint.SplitAtConstraint for tuples
Builder of constraint.SplitAtConstraint for tuples
Harshad Deo
Index at which to split
Type of the input tuple
Type of HList corresponding to T
Type of the first HList obtained by splitting HL at index N
Type of the second HList obtained by splitting HL at index N
Type of the tuple corresponding to HLL
Type of the tuple corresponding to HLR
0.1
Builder of constraint.SplitAtRightConstraint for tuples
Builder of constraint.SplitAtRightConstraint for tuples
Harshad Deo
Index at which to split (from the right)
Type of the input tuple
Type of HList corresponding to T
Type of the first HList obtained by splitting HL at index N
Type of the second HList obtained by splitting HL at index N
Type of the tuple corresponding to HLL
Type of the tuple corresponding to HLR
0.1
Builder of constraint.TakeConstraint for tuples
Builder of constraint.TakeConstraint for tuples
Harshad Deo
Type index of the number of elements to take
Type of the input tuple
Type of the HList corresponding to T
Type of the HList obtained by taking N elements from HL
Type of the tuple corresponding to HLT
0.1
Builder of constraint.TakeRightConstraint for tuples
Builder of constraint.TakeRightConstraint for tuples
Harshad Deo
Type index of the number of elements to take (from the right)
Type of the input tuple
Type of the HList corresponding to T
Type of the HList obtained by taking N elements from HL (from the right)
Type of the tuple corresponding to HLT
0.1
Builder of constraint.ToListConstraint for tuples
Builder of constraint.ToListConstraint for tuples
Harshad Deo
Type of the input tuple
Type of HList corresponding to Z
Element type of resultant List
0.1
Builder of constraint.TransformConstraint for tuples
Builder of constraint.TransformConstraint for tuples
Harshad Deo
Type of the input Tuple
Type of HList corresponding to I
Type of the input context
Type of the output context
Type of the result of applying M ~> N on HLI
Type of tuple corresponding to HLO
0.1
Builder of constraint.UpdatedConstraint for tuples
Builder of constraint.UpdatedConstraint for tuples
Harshad Deo
Type index of the element to update
Type of the input tuple
Type of the HList corresponding to T
Type of the element to insert
Type of tuple corresponding to HLR
Type of the HList obtained by inserting A at index N in HL
0.1
Builder of constraint.UpdatedRightConstraint for tuples
Builder of constraint.UpdatedRightConstraint for tuples
Harshad Deo
Type index of the element to update (from the right)
Type of the input tuple
Type of the HList corresponding to T
Type of the element to insert
Type of the HList obtained by inserting A at index N in HL
Type of tuple corresponding to HLR
0.1
Builds a ArityIndexOps object for the tuple
Builds a ArityIndexOps object for the tuple
Harshad Deo
Type of the tuple being converted
Down Converted type of Z. For details, see constraint.DownTransformConstraint
0.1
Builds a TupleIndexOps object for the tuple
Builds a TupleIndexOps object for the tuple
Harshad Deo
Type of the tuple being converted
0.1
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
0.1