Cons cell of a HList
Cons cell of a HList
Harshad Deo
Type of the head of the HList
Type of the tail if the HList
0.1
Scala collection like operations on HLists given an Indexer
Scala collection like operations on HLists given an Indexer
Harshad Deo
Type of the HList
Type of the sublist before the index
Type of element at the index
Type of the sublist after the index
0.1
Factorizes a HList into sublists of elemets before, the element at, and the element after, as per some indexation scheme.
Factorizes a HList into sublists of elemets before, the element at, and the element after, as per some indexation scheme.
Harshad Deo
HList being factorized
Type of the sublist before the index position
Type of the element at the index position
Type of the sublist after the index position
0.1
Arbitrary arity zipper in which the common context for all the elements is scala.collection.immutable.Stream
Arbitrary arity zipper in which the common context for all the elements is scala.collection.immutable.Stream
Harshad Deo
Input HList
Downtransformed type of PHL. For details, see constraint.DownTransformConstraint
0.1
Indexed based on position from the head of the HList.
Indexed based on position from the head of the HList. Indices are, by convention, 0-based
Harshad Deo
TypeIndex at which to Index
Type of the HList being indexed
Type of the sublist before the index position
Type of the element at the index position
Type of the sublist after the index position
0.1
Arbitrary arity zipper in which the elements share common context that is a subtype of Traversable and has strict evaluation semantics (not a scala.collection.immutable.Stream)
Arbitrary arity zipper in which the elements share common context that is a subtype of Traversable and has strict evaluation semantics (not a scala.collection.immutable.Stream)
Harshad Deo
Input HList
Common context of the types of the HList
Downconverted type of PHL. For details, see constraint.DownTransformConstraint
Result of applying a M ~> Traversable transformation on PHL
0.1
Index based on type.
Index based on type. Requesters should constrain the At type. If multiple elements have the same type as the constraint, the one furthest from the head will be chosen.
Harshad Deo
HList being indexed
Type of the sublist before the index
Type of the index constraint
Type of the sublist after the index
0.1
Marker trait for a type indexed on an hlist.
Marker trait for a type indexed on an hlist.
Harshad Deo
Type on which the HList is indexed
Type of the HList
0.1
Empty HList
Empty HList
Harshad Deo
0.1
Base case constraint.ApplyConstraint for HLists
Base case for constraint.ExternalUnzipConstraint for HLists
Base case for constraint.ExternalZipConstraint for HLists
Base case constraint.LengthConstraint for HLists
Builds constraint.ToListConstraint for HNil
Contains implicit definitions to build instances of the LazyZipper typeclass
Contains implicit definitions to build instances of the LazyZipper typeclass
Harshad Deo
0.1
Implements implicit definitions to build the PIndexer typeclass
Contains implicit definitions to build instances of the StrictZipper typeclass
Contains implicit definitions to build instances of the StrictZipper typeclass
Harshad Deo
0.1
Implements implicit definitions to build the TIndexer typeclass
Companion object for Tip, Contains implicit conversion to convert it to an IndexedOps object
Companion object for Tip, Contains implicit conversion to convert it to an IndexedOps object
Harshad Deo
0.1
Builder of constraint.AtConstraint for HLists
Builder of constraint.AtConstraint for HLists
Harshad Deo
Type Index to get
HList from which to get
Type of the result
0.1
Builder of constraint.AtRightConstraint for HLists
Builder of constraint.AtRightConstraint for HLists
Harshad Deo
Lenght of the HList
HList from which to get
type Index at which to get, from the right
Type index at which to get, from the left
Type of the result
0.1
Base case of constraint.ListBuilderConstraint for HLists
Base case of constraint.ListBuilderConstraint for HLists
Harshad Deo
Type of the head of the HList
LUB of the HList
0.1
Induction case constraint.AppendConstraint for HLists
Induction case constraint.AppendConstraint for HLists
Harshad Deo
head of the left hand operand
tail of the left hand operand
list being appended
result of appending B to T
0.1
Induction case for constraint.ApplyConstraint for HLists
Induction case for constraint.ApplyConstraint for HLists
If the head of the hlist of functions is of type I => O and the head of the hlist of inputs is of type I, the head of the hlist of outputs of type O
Harshad Deo
head of hlist of inputs
head of hlist of outputs
tail of the hlist of functions
tail of the hlist of inputs
tail of the hlist of outputs
0.1
Induction case for constraint.DownTransformConstraint for HLists
Induction case for constraint.DownTransformConstraint for HLists
Harshad Deo
Context from which to downconvert
Down converted type at the head
Tail of the input HList
Tail of the downconverted result
Head of the input HList
0.1
Induction case for constraint.ExternalUnzipConstraint for HLists
Induction case for constraint.ExternalUnzipConstraint for HLists
Harshad Deo
Type of the first element of the tuple at the head of the input list
Type of the second element of the tuple at the head of the input list
Type of the tail of the input hlist
Type of the first unzip result of the tail
Type of the second unzip result of the tail
0.1
Induction case for constraint.ExternalZipConstraint for HLists, given that both tails are non-empty
Induction case for constraint.ExternalZipConstraint for HLists, given that both tails are non-empty
Harshad Deo
Type of the head of the first HList to be zipped
Type of the head of the second HList to be zipped
Type of the tail of first HList to be zipped
Type of the tail of the second HList to be zipped
Type of the result of zipping TA and TB
0.1
Induction case for constraint.ExternalZipConstraint for HLists, given that the tail of the first HList is empty
Induction case for constraint.ExternalZipConstraint for HLists, given that the tail of the first HList is empty
Harshad Deo
Head of the non-empty HList
Tail of the non-empty HList
0.1
Induction case for constraint.ExternalZipConstraint for HLists, given that the tail of the second HList is empty
Induction case for constraint.ExternalZipConstraint for HLists, given that the tail of the second HList is empty
Harshad Deo
Type of the head of the non-empty HList
Type of the tail of the non-empty HList
0.1
Induction case for constraint.LengthConstraint for HLists
Induction case for constraint.LengthConstraint for HLists
Harshad Deo
Type of the head
Type of the tail
Length of the tail
0.1
Induction case of HReverseResult for HLists
Induction case of HReverseResult for HLists
Harshad Deo
Type of the head of the list being reversed
Type of the tail of the list being reversed
Type of intermediate reversal result
Type of Reversed HList
0.1
Induction case of constraint.ListBuilderConstraint for HLists
Induction case of constraint.ListBuilderConstraint for HLists
Harshad Deo
Type of the head of the input HList
Type of the tail of the input HList
LUB of the types of the HList
0.1
Induction case of constraint.TransformConstraint for HLists
Induction case of constraint.TransformConstraint for HLists
Harshad Deo
Input context
Output context
Down converted type of the head of the input hlist
Tail of the input hlist
Tail of the transformed HList
Type of the head of the input hlist
0.1
Builder of constraint.DropConstraint for HLists
Builder of constraint.DropConstraint for HLists
Harshad Deo
Type index of the number of elements to drop
Type of list from which to drop
Type of the element at the index specified by N
Type of the sublist after the element specified by N
0.1
Builder of constraint.DropRightConstraint for HLists
Builder of constraint.DropRightConstraint for HLists
Harshad Deo
Type Index of the number of elements to drop (from the right)
Length of the HList
Type index of the number of elements to take (from the left)
Type of the HList on which to apply the operation
Type of the resultant HList
0.1
Base case for constraint.ForeachConstraint for HLists
Base case for constraint.ForeachConstraint for HLists
Harshad Deo
Common type on which the operation is defined
Head of the HList
0.1
Induction case for constraint.ForeachConstraint for HLists
Induction case for constraint.ForeachConstraint for HLists
Harshad Deo
Common type on which the operation is defined
Type of the head of the HList
Type of the tail of the HList
0.1
Builder of constraint.IndexFlatMapConstraint for HLists
Builder of constraint.IndexFlatMapConstraint for HLists
Harshad Deo
Type index of the element to flatmap
Type of the hlist on which to apply the operation
Type of the element at index N
Type of the HList generated by the flatmap operation
Type of the resultant HList
Type of the sublist before index N
Type of the sublist after index N
Type of the HList obtained by appending T and After
0.1
Builder of constraint.IndexFlatMapRightConstraint for HLists
Builder of constraint.IndexFlatMapRightConstraint for HLists
Harshad Deo
Type index of the element to flatmap from the right
Lenght of the HList
Type index of the element to flatmap from the left
Type of the HList on which to apply the operation
Type of the element at index D
Type of the sublist before index D
Type of the sublist after index D
Type of the HList obtained by the flatmap operation
Type of the HList obtained by appending T and After
Type of the resulting HList
0.1
Builder of constraint.IndexMapConstraint for HLists
Builder of constraint.IndexMapConstraint for HLists
Harshad Deo
Type index of the element to map
Type of the HList on which to apply the operation
Type of the element at index N
Type of the sublist before index N
Type of the sublist after index N
Type of the element obtained by the map operation
Type of the resultant HList
0.1
Builder of constraint.IndexMapRightConstraint for HLists
Builder of constraint.IndexMapRightConstraint for HLists
Harshad Deo
Type index of the element to map, from the right
Length of the HList
Type index of the element to map, from the left
Type of the element at index D
Type of the sublist before index D
Type of the sublist after index D
Type of the resultant HList
0.1
Builder of constraint.InsertMConstraint for HLists
Builder of constraint.InsertMConstraint for HLists
Harshad Deo
Type Index at which to insert
Type of the HList on which to perform the operation
Type of the sublist before index N
Type of the element at index N
Type of the sublist after index N
Type of the HList to insert
Type of the Hlist obtained by appending T and At :+: After
Type of the resultant HList
0.1
Builder of constraint.InsertConstraint for HLists
Builder of constraint.InsertConstraint for HLists
Harshad Deo
Type index at which to indert
Type of the HList on which to apply the operation
Type of the sublist before index N
Type of the element at index N
Type of the sublist after index N
Type of the element to indert
Type of the result
0.1
Builder of constraint.InsertMRightConstraint for HLists
Builder of constraint.InsertMRightConstraint for HLists
Harshad Deo
Type index at which to insert (from the right)
Length of the HList
Type index at which to insert (from the left)
Type of the HList on which to perform the operation
Type of the sublist before index D
Type of the sublist at index D
Type of the sublist after index D
Type of the HList to insert
Type of the HList obtained by appending T and After
Type of the resultant HList
0.1
Builder of constraint.InsertRightConstraint for HLists
Builder of constraint.InsertRightConstraint for HLists
Harshad Deo
Type index at which to insert (from the right)
Length of the HList
Type index at which to insert (from the left)
Type of the Hlist on which to perform the operation
Type of sublist before index D
Type of element at index D
Type of sublist after index D
Type of the element to insert
Type of the resultant HList
0.1
Builder of constraint.InternalZipConstraint for HLists whose common outer type constructor is a Stream
Builder of constraint.InternalZipConstraint for HLists whose common outer type constructor is a Stream
Harshad Deo
Type of the HList being internally zipped
Down converted type of Z. For details, see constraint.DownTransformConstraint
Element type of the resultant stream
0.1
Builds constraint.LubConstraint for HLists
Builds constraint.LubConstraint for HLists
Harshad Deo
Type of the Hlist for which the least upper bound type is found
Least upper bound of the types of HL
0.1
Base case constraint.AppendConstraint for HLists
Base case for constraint.DownTransformConstraint for HLists.
Base case for constraint.DownTransformConstraint for HLists.
Harshad Deo
Context from which to downconvert
0.1
Base case of HReverseResult for HLists
Base case of HReverseResult for HLists
Harshad Deo
Type of the List to be reversed
0.1
Base case of constraint.TransformConstraint for HLists
Base case of constraint.TransformConstraint for HLists
Harshad Deo
Input Context
Output Contect
0.1
Builder of constraint.RemoveConstraint for HLists
Builder of constraint.RemoveConstraint for HLists
Harshad Deo
Type index at which to remove
Type of the HList on which to apply the operation
Type of the sublist before index N
Type of the sublist after index N
Type of the resultant HList
0.1
Builder of constraint.RemoveRightConstraint for HLists
Builder of constraint.RemoveRightConstraint for HLists
Harshad Deo
Type index of the element to remove (from the right)
Length of the HList
Type index of element to remove (from the left)
Type of the HList on which to apply the operation
Type of the sublist before index D
Type of the sublist after index D
Type of the resultant HList
0.1
Builder of constraint.ReverseConstraint for HLists using the intermediate class HReverseResult
Builder of constraint.ReverseConstraint for HLists using the intermediate class HReverseResult
Harshad Deo
Type of the input HList
Type of the reversed HList
0.1
Builder of constraint.SplitAtConstraint for HLists
Builder of constraint.SplitAtConstraint for HLists
Harshad Deo
Type Index at which to split
Type of the HList on which to apply the operation
Type of the sublist before index N
Type of the element at index N
Type of the sublist after index N
0.1
Builder of constraint.SplitAtRightConstraint for HLists
Builder of constraint.SplitAtRightConstraint for HLists
Harshad Deo
Type index at which to split (from right)
Length of the hList
Type index at which to split (from the left)
Type of the HList on which to apply the operation
Type of the sublist before index D
Type of the element at index D
Type of the sublist after index D
0.1
Builder of constraint.InternalZipConstraint for HLists whose common outer type constructor is a strict collection, like a List or a Vector
Builder of constraint.InternalZipConstraint for HLists whose common outer type constructor is a strict collection, like a List or a Vector
Harshad Deo
Type of the hlist to be internally zipped
Down converted type of Z. For details, see constraint.DownTransformConstraint
Common outer type constructor
Type of the HList obtained by applying the natural transformation M ~> Traversable to Z
Element type of the resultant collection
Type of the resultant collection
0.1
Builder of constraint.TakeConstraint for HLists
Builder of constraint.TakeConstraint for HLists
Harshad Deo
Type index of the number of elements to take
Type of the HList on which to apply the operation
Type of the resultant HList
0.1
Builder of constraint.TakeRightConstraint for HLists
Builder of constraint.TakeRightConstraint for HLists
Harshad Deo
Type index of the number of elementa to take (from the right)
Length of the HList
Type index of the number fo elements to drop (from the left)
Type of the HList on which to apply the operation
Type of the element at index D
Type of the sublist after index D
Type of the resultant HList
0.1
Builder of constraint.UpdatedConstraint for HLists
Builder of constraint.UpdatedConstraint for HLists
Harshad Deo
Index at which to update
Type of the HList on which to apply the operation
Type of the sublist before index N
Type of the sublist after index N
Type of the element to insert
Type of the result
0.1
Builder of constraint.UpdatedRightConstraint for HLists
Builder of constraint.UpdatedRightConstraint for HLists
Harshad Deo
Index at which to remove (from right)
Length of the HList
Index at which to remove (from left)
Type of the HList on which to apply the operation
Type of the sublist before index D
Type of the sublist after index D
Type of the element to insert
Type of the resultant hlist
0.1
Converts an HList to an arity zipped ops object
Converts an HList to an arity zipped ops object
Harshad Deo
Type of the HList being converted
Downtransformed type of B. For details, see constraint.DownTransformConstraint
0.1
Converts an HList to its ops object
Contains implementations for HList and implicit definitions to build the constraint typeclasses necessary for operations.
Author:
Harshad Deo
0.1