Base class for lifting a Function1 to a Poly1
Non-empty HList element type.
Base class for lifting a Function1 to a Poly1 over the universal domain, yielding an HList with the result as
its only element if the argument is in the original functions domain, HNil otherwise.
Type class supporting access to the nth element of this HList.
Type class witnessing that every element of L is an element of M.
Type-specific case of a polymorphic value.
Type-specific case of a polymorphic unary function.
Type-specific case of a polymorphic binary function.
Type class witnessing that the result of stripping type constructor F off each element of HList L is Out.
Represents the composition of two unary polymorphic function values
Type class supporting mapping a constant valued function over this HList.
Type class witnessing that C is the difference of A and B.
Type class witnessing that Out is the product of A and B.
Type class supporting removal of the first n elements of this HList.
Field with values of type T
Type class supporting access to the all elements of this HList of type U.
Type class supporting access to the all elements of this HList of type different than U.
Type class supporting flatmapping a higher ranked function over this HList.
Type class supporting conversion of arbitrary functions to functions of a single HList
argument.
Type class supporting conversion of functions of a single HList argument to ordinary functions.
Type class supporting type safe conversion of Traversables to HLists.
HList ADT base trait.
Carrier for HList operations.
Type class supporting conversion of Tuples to HLists.
Heterogenous map with type-level key/value associations that are fixed by an arbitrary
relation R.
Empty HList element type.
Type class supporting access to all but the last element of this HList.
Type class witnessing that this HList is composite and providing access to head and tail.
Representation of an isomorphism between a type (typically a case class) and an HList.
Type class witnessing that every element of L is of the form FieldEntry[F] where F is an element of M.
Type class witnessing that A is less than B.
Type class witnessing that A is less than or equal to B.
Type class witnessing that every element of L is a subtype of B.
Type class supporting access to the last element of this HList.
Type class supporting left-folding a polymorphic binary function over this HList.
Type class supporting left-reducing a polymorphic binary function over this HList.
Type class supporting computing the type-level Nat corresponding to the length of this HList.
Base class for lifting a Poly1 to a Poly1 over the universal domain, yielding an HList with the result as it's
only element if the argument is in the original functions domain, HNil otherwise.
An implementation of [http://research.
Type class witnessing the least upper bound of a pair of types and providing conversions from each to their common supertype.
Type class supporting mapping a polymorphic function over this HList and then folding the result using a
monomorphic function value.
Type class witnessing that the result of wrapping each element of HList L in type constructor F is Out.
Type class supporting mapping a higher ranked function over this HList.
Typeclass witnessing that Out is A mod B.
Base trait for type level natural numbers.
Type class witnessing that HLists L1 and L2 have elements of the form F1[Ln] and F2[Ln] respectively for all
indices n.
Base trait for polymorphic values.
Type class witnessing that B is the predecessor of A.
Type class supporting prepending to this HList.
Type class witnessing that C is the product of A and B.
Type class witnessing the arity of a Product
Record operations on HList's with field-like elements.
Type class supporting removal of an element from this HList.
Type class supporting removal of a sublist from this HList.
Type class supporting replacement of the Nth element of this HList with an element of type V.
Type class supporting replacement of the first element of type U from this HList with an element of type V.
Type class supporting reversing this HList.
Type class supporting reverse prepending to this HList.
Type class supporting splitting this HList at the nth element returning the reverse prefix and suffix as a
pair.
Type class supporting splitting this HList at the first occurence of an element of type U returning the reverse
prefix and suffix as a pair.
Type class supporting splitting this HList at the last occurence of an element of type U returning the reverse
prefix and suffix as a pair.
Type class supporting right-folding a polymorphic binary function over this HList.
Type class supporting right-reducing a polymorphic binary function over this HList.
Type class supporting access to the first element of this HList of type U.
Wrapper for a collection type witnessing that it has the statically specified length.
Carrier for Sized operations.
Type class supporting splitting this HList at the nth element returning the prefix and suffix as a pair.
Type class supporting splitting this HList at the first occurence of an element of type U returning the prefix
and suffix as a pair.
Type class supporting splitting this HList at the last occurence of an element of type U returning the prefix
and suffix as a pair.
Encoding of successor.
Type class witnessing that C is the sum of A and B.
Type class supporting retrieval of the first n elements of this HList.
Type class supporting conversion of this HList to an Array with elements typed as the least upper bound
of the types of the elements of this HList.
Type class supporting conversion of type-level Nats to value level Ints.
Type class supporting conversion of this HList to an ordinary List with elements typed as the least upper bound
of the types of the elements of this HList.
Type class supporting transposing this HList.
Type class supporting conversion of this HList to a tuple.
Type class supporting type safe cast.
Type class witnessing that every element of L has TC as its outer type constructor.
Type class supporting unification of this HList.
Type class supporting unzipping this HList of tuples returning a tuple of HLists.
Type class supporting record update and extension.
Type class witnessing that every element of L is of the form FieldEntry[F] where F#valueType is an element of M.
Type class supporting zipping this HList of HLists returning an HList of tuples.
Type class supporting zipping this this HList of monomorphic function values with its argument HList of
correspondingly typed function arguments returning the result of each application as an HList.
Type class supporting zipping this HList with an HList of HLists returning an HList of HLists with each
element of this HList prepended to the corresponding HList element of the argument HList.
Generic Zipper for any type with an Iso with an HList.
Base trait for natural transformations.
Type class witnessing the existence of a natural transformation between K[_] and V[_]
FnHLister type class instances.
FnUnHLister type class instances.
FromTraversable type class instances.
Conversions between ordinary functions and HList functions.
HLister type class instances.
Empty HList value.
Type level encoding of the natural numbers.
Provides implicit conversions from polymorphic function values to monomorphic function values, eg.
ProductArity type class instances.
Conversions between Traversables and HLists.
Conversions between Tuples and HLists.
Provides instances of Typeable.
Polymorphic function selecting an arbitrary element from a non-empty Set.
Polymorphic function which opens an Option.
Polymorphic function returning the head of a List.
Polymorphic identity function.
Polymorphic function testing whether or not an Option is defined.
Polymorphic function creating singleton Lists.
Polymorphic function which injects a value into an Option.
Polymorphic addition with type specific cases.
Polymorphic singleton function.
Polymorphic zero with type specific cases.