constraint
Typeclass to append two objects.
Typeclass for function application.
Typeclass for function application.
Harshad Deo
Type of the Function
Type of the Input
Type Output
0.1
Typeclass to get an element given an index.
Typeclass to get an element given an index. For sequentially indexed objects like HList and Tuples, index is, by convention, 0-based from the beginning.
Harshad Deo
Type of the Index
Type of the object from which the element is retrieved
Type of the result
0.1
Typeclass to get an element from an object that supports sequential indexing, like HList and Tuples.
Typeclass to get an element from an object that supports sequential indexing, like HList and Tuples. By convention, the index is 0-based and from the right or the end.
Harshad Deo
Type of the index
Type of the object from which the element is retrieved
Type of the result
0.1
Typeclass to add an element at the head of an object.
Typeclass to add an element at the head of an object.
Harshad Deo
Type of the head
Type of the object to which the consing is done
Type of the result
0.1
Typeclass to count the number of elements satisfying a given predicate, given that each element of the object can be converted implicitly to a common class C.
Typeclass to count the number of elements satisfying a given predicate, given that each element of the object can be converted implicitly to a common class C. Default implementation is provided in the companion object.
Harshad Deo
Type of the object on which the count operation is applied, like a HList or a Tuple
Common type to which the elements of T can be converted
0.1
Typeclass to remove all elements of an object from their context, for example converting.
Typeclass to remove all elements of an object from their context, for example converting.
List[Int] :+: List[String] :+: HNil to Int :+: String :+: HNil.
Is a dangerous operation and should be used with caution and the appropriate guards.
Harshad Deo
Type of the object whose elements are to be downtransformed
Type of the resulting object
Type of the context
0.1
Typeclass to remove a type-indexed number of elements from the left of a sequentially indexed object, like a HList or a tuple.
Typeclass to remove a type-indexed number of elements from the left of a sequentially indexed object, like a HList or a tuple. By convention, indexes are 0-based.
Harshad Deo
Type index of the elements to be dropped
Type of the object from which the elements are to be dropped
Type of the result
0.1
Typeclass to remove a type-indexed number of elements from the right of a sequentially indexed object, like a HList or a tuple.
Typeclass to remove a type-indexed number of elements from the right of a sequentially indexed object, like a HList or a tuple. By convention, indexes are 0-based.
Harshad Deo
Type index of the elements to be dropped
Type of the object from which the elements are to be dropped
Type of the result
0.1
Typeclass to check if an element satisfies a given predicate given that each element of the object can be implicitly converted to a type C.
Typeclass to check if an element satisfies a given predicate given that each element of the object can be implicitly converted to a type C. Default implementation is provided in the companion object.
Harshad Deo
Type of the object on which the exists operation is applied, like a hlist or a tuple
Common type to which all elements of T can be converted
0.1
Typeclass to unzip the elements of an object into two object, for example an HList of Tuple2s into two HLists.
Typeclass to unzip the elements of an object into two object, for example an HList of Tuple2s into two HLists.
Harshad Deo
Type of the input object
Type of the first object obtained by unzipping
type of the second object obtained by unzipping
0.1
Typeclass to zip the elements of two objects, as opposed to zipping all the elements of one object, which is done by the InternalZipConstraint typeclass.
Typeclass to zip the elements of two objects, as opposed to zipping all the elements of one object, which is done by the InternalZipConstraint typeclass.
Harshad Deo
Type of the first object to be zipped
Type of the second object to be zipped
Type of the result of zipping
0.1
Typeclass to implement a fold-left style on an object, given that all elements of the object can be implicitly converted to a type C.
Typeclass to implement a fold-left style on an object, given that all elements of the object can be implicitly converted to a type C. Default implementation is provided in the companion object.
Harshad Deo
Type of the object on which the fold left operation is applied
Type of the result of the left fold
Common class to which all elements of T can be converted
0.1
Typeclass to check whether a given predicate holds for all elements of an object, given that each element of the object can be implicitly converted to a type C.
Typeclass to check whether a given predicate holds for all elements of an object, given that each element of the object can be implicitly converted to a type C. Default implementation is provided in the companion object.
Harshad Deo
Type of the object on which the operation is being applied
Common class to which all elements of the object can be converted
0.1
Typeclass to apply an operation to each element of an object, given that all elements of the object can be implicitly converted to a common class C.
Typeclass to apply an operation to each element of an object, given that all elements of the object can be implicitly converted to a common class C.
Harshad Deo
Type of the object to which the operation is being applied
Common class to which all the elements of the object can be converted
0.1
Typeclass to map an object at a type-index and then "flatten" the result, conceptually similar to a flatmap By convention, indices are 0-based from the left (beginning).
Typeclass to map an object at a type-index and then "flatten" the result, conceptually similar to a flatmap By convention, indices are 0-based from the left (beginning).
Harshad Deo
Index at which insertion happens
Type of the object on which the operation is applied
Type of the object at index specified by N
Type of the result of applying the mapping function
Type of the resulting object
0.1
Typeclass to map an object at a type-index and then "flatten" the result, conceptually similar to a flatmap By convention, indices are 0-based from the right (end).
Typeclass to map an object at a type-index and then "flatten" the result, conceptually similar to a flatmap By convention, indices are 0-based from the right (end).
Harshad Deo
Index at which insertion happens
Type of the object on which the operation is applied
Type of the object at index specified by N
Type of the result of applying the mapping function
Type of the resulting object
0.1
Typeclass to map an object at a type-index, conceptually similar to a map.
Typeclass to map an object at a type-index, conceptually similar to a map. By convention, indices are 0-based from the left (beginning).
Harshad Deo
Index at which insertion happens
Type of the object on which the operation is applied
Type of the object at index specified by N
Type of the result of applying the mapping function
Type of the resulting object
0.1
Typeclass to map an object at a type-index, conceptually similar to a map.
Typeclass to map an object at a type-index, conceptually similar to a map. By convention, indices are 0-based from the right (end).
Harshad Deo
Index at which insertion happens
Type of the object on which the operation is applied
Type of the object at index specified by N
Type of the result of applying the mapping function
Type of the resulting object
0.1
Typeclass to insert an element at a specified type-index.
Typeclass to insert an element at a specified type-index. By convention, indices are 0-based from the left (beginning).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the object being inserted
Type of the result
0.1
Typeclass to insert multiple elements at a specified type-index.
Typeclass to insert multiple elements at a specified type-index. By convention, indices are 0-based from the left (beginning).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the object being inserted
Type of the result
0.1
Typeclass to insert multiple elements at a specified type-index.
Typeclass to insert multiple elements at a specified type-index. By convention, indices are 0-based from the right(end).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the object being inserted
Type of the result
0.1
Typeclass to insert an element at a specified type-index.
Typeclass to insert an element at a specified type-index. By convention, indices are 0-based from the right (end).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the object being inserted
Type of the result
0.1
Typeclass to zip all the elements of an object together, equivalent to an arbitrary-arity zip.
Typeclass to zip all the elements of an object together, equivalent to an arbitrary-arity zip.
Harshad Deo
Type of the object on which the operation is applied
Downconverted type of Z, for details, see DownTransformConstraint
The element type of the resulting object
The type of the resulting object
0.1
Marker trait for typelevel length.
Marker trait for typelevel length.
Harshad Deo
Type of the object for which the length is being computed
Length
0.1
Typeclass to convert an object to a list.
Typeclass to convert an object to a list. Differs from ToListConstraint in that in practice, the lower bound will be constrained by another typeclass. To implicitly obtain a typeclass with the LB constrained, see ToListConstraint.
Harshad Deo
Type of the object being converted
Element type of the resulting list
0.1
Marker trait for the Lease Uppper Bound Type for all elements of an object.
Marker trait for the Lease Uppper Bound Type for all elements of an object.
Harshad Deo
Type of the object
Lease Upper Bound
0.1
Typeclass to remove an element at a specified type-index.
Typeclass to remove an element at a specified type-index. By convention, indices are 0-based from the left (beginning).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the result
0.1
Typeclass to remove an element at a specified type-index.
Typeclass to remove an element at a specified type-index. By convention, indices are 0-based from the right (end).
Harshad Deo
Index at which the element is to be inserted
Type of the object in which the insertion is taking place
Type of the result
0.1
Typeclass to reverse a sequentially indexed object, like a HList or a tuple.
Typeclass to reverse a sequentially indexed object, like a HList or a tuple.
Harshad Deo
Type of the object being reversed
Type of the reversed object
0.1
Typeclass to add an element at a string indexed collection, like a StringIndexedCollection or a Record.
Typeclass to add an element at a string indexed collection, like a StringIndexedCollection or a Record.
Harshad Deo
Index at which to add (ValueHash of the key)
Type of original collection
Type of the object being added
Type of the resultant collection
0.1
Typeclass to split a sequentially indexed collection (like a HList or a tuple) at a specified index.
Typeclass to split a sequentially indexed collection (like a HList or a tuple) at a specified index. By Convention, indices are 0-based and begin from the left (beginning).
Harshad Deo
Index at which to split
Type of the object to split
Type of the first object obtained by splitting
Type of the second object obtained by splitting
0.1
Typeclass to split a sequentially indexed collection (like a HList or a tuple) at a specified index.
Typeclass to split a sequentially indexed collection (like a HList or a tuple) at a specified index. By Convention, indices are 0-based and begin from the right (end).
Harshad Deo
Index at which to split
Type of the object to split
Type of the first object obtained by splitting
Type of the second object obtained by splitting
0.1
Typeclass to take a type-indexed number of elements from the left of a sequentially indexed object, like a HList or a tuple.
Typeclass to take a type-indexed number of elements from the left of a sequentially indexed object, like a HList or a tuple. By convention, indexes are 0-based.
Harshad Deo
Type index of the elements to be dropped
Type of the object from which the elements are to be dropped
Type of the result
0.1
Typeclass to take a type-indexed number of elements from the right of a sequentially indexed object, like a HList or a tuple.
Typeclass to take a type-indexed number of elements from the right of a sequentially indexed object, like a HList or a tuple. By convention, indexes are 0-based.
Harshad Deo
Type index of the elements to be dropped
Type of the object from which the elements are to be dropped
Type of the result
0.1
Typeclass to convert an object into a list, default implementation is provided in the companion object.
Typeclass to convert an object into a list, default implementation is provided in the companion object. Differs from ListBuilderConstraint in that this is typically not built using structural induction, rather uses LubConstraint to fix a lower bound and a ListBuilderConstraint to do the conversion given the lower bound.
Harshad Deo
Type of the object being constructed
Element type of resultant list
0.1
Typeclass to convert an object, such as a Record or a StringIndexedCollection to a map.
Typeclass to convert an object, such as a Record or a StringIndexedCollection to a map.
Harshad Deo
Type of the object being converted
Type of the resultant map
0.1
Typeclass to apply a natural transformation to an object.
Typeclass to apply a natural transformation to an object.
Harshad Deo
Type of the input
Type of the output
Input of the transformation
Output of the transformation
0.1
Typeclass to update an element at a given type index.
Typeclass to update an element at a given type index. By convention, indices are 0-based and begin at the left.
Harshad Deo
Type index at which to update
Type of the object to update
Type of the new object at the position
Type of the resultant object
0.1
Typeclass to update an element at a given type index.
Typeclass to update an element at a given type index. By convention, indices are 0-based and begin at the right.
Harshad Deo
Type index at which to update
Type of the object to update
Type of the new object at the position
Type of the resultant object
0.1
Companion object for the CountConstraint trait.
Companion object for the CountConstraint trait. Contains a default implementation based on the ForeachConstraint
Harshad Deo
0.1
Companion object for ExistsConstraint.
Companion object for ExistsConstraint. Contains a default implementation based on the ForeachConstraint
Harshad Deo
0.1
Companion object for the FoldLeftConstraint trait.
Companion object for the FoldLeftConstraint trait. Contains a default implementation based on the ForeachConstraint
Harshad Deo
0.1
Companion object for the ForallConstraint trait.
Companion object for the ForallConstraint trait. Contains a default implementation based on the ForeachConstraint
Harshad Deo
0.1
Companion object for ToListConstraint.
Companion object for ToListConstraint. Contains default implementation in terms of LubConstraint and ListBuilderConstraint.
Harshad Deo
0.1
Typeclass to append two objects.
Author:
Harshad Deo
type of object in the front
type of object in the rear
type of the result
0.1