Non-empty HList
element type.
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 supporting mapping a constant valued function over this HList
.
Type class witnessing that C
is the difference 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.
Representation of an isomorphism between a type (typically a case class) and an HList
.
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.
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 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 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 supporting mapping a higher ranked function over this HList
.
Base trait for type level natural numbers.
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 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 HList
s.
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 HList
s 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 HList
s with each
element of this HList
prepended to the corresponding HList
element of the argument HList
.
Zipper for 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.
An implementation of [http://research.
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 List
s.
Polymorphic function which injects a value into an Option
.
Polymorphic addition with type specific cases.
Polymorphic singleton function.
Polymorphic zero with type specific cases.