Non-empty HList
element type.
Evidence that Repr
instances can be nested in a Sized
.
Type class witnessing that every element of L
is an element of M
.
Type class representing one-level generic queries.
Type class representing one-level generic transformations.
Dependent nullary function type.
Dependent unary function type.
Dependent binary function type.
The SYB everything combinator
The SYB everywhere combinator
Field with values of type V
.
Polymorphic function that allows modifications on record fields while preserving the original key types.
Base trait for type level finite numbers, i.
Encoding of successor.
Encoding of zero.
HList
ADT base trait.
Heterogenous map with type-level key/value associations that are fixed by an arbitrary
relation R
.
Empty HList
element type.
Type class witnessing that every element of L
is of the form FieldType[K, V]
where K
is an element of M
.
Type class witnessing that every element of L
is a subtype of B
.
A type class abstracting over the product
operation of type classes over
types of kind *
, as well as deriving instances using an isomorphism.
A type class additionally abstracting over the coproduct
operation of type
classes over types of kind *
.
Type class witnessing the least upper bound of a pair of types and providing conversions from each to their common supertype.
Base trait for type level natural numbers.
Base trait for polymorphic values.
Trait simplifying the creation of polymorphic values.
Trait supporting mapping dynamic argument lists to HList arguments.
A type class abstracting over the product
operation of type classes over
types of kind *
, as well as deriving instances using an isomorphism.
Trait supporting mapping named argument lists to record arguments.
Trait supporting mapping dynamic argument lists to singleton-typed HList arguments.
Wrapper for a collection type witnessing that it has the statically specified length.
Carrier for Sized
operations.
Encoding of successor.
Extractor for use of Typeable
in pattern matching.
A type class additionally abstracting over the coproduct
operation of type
classes over types of kind *
.
Type class supporting type safe cast.
Type class witnessing that every element of L
has TC
as its outer type constructor.
Type class witnessing that type PP
is equal to FF[A]
for some higher kinded type FF[_]
and type(s) A
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S
.
Type class witnessing that type PP
is equal to FF[A, B]
for some higher kinded type FF[_, _]
and type(s) A, B
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V
.
Type class witnessing that type PP
is equal to FF[A, B, C]
for some higher kinded type FF[_, _, _]
and type(s) A, B, C
.
Type class witnessing that type PP
is equal to FF[A, B, C, D]
for some higher kinded type FF[_, _, _, _]
and type(s) A, B, C, D
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E]
for some higher kinded type FF[_, _, _, _, _]
and type(s) A, B, C, D, E
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F]
for some higher kinded type FF[_, _, _, _, _, _]
and type(s) A, B, C, D, E, F
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G]
for some higher kinded type FF[_, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H]
for some higher kinded type FF[_, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H
.
Type class witnessing that type PP
is equal to FF[A, B, C, D, E, F, G, H, I]
for some higher kinded type FF[_, _, _, _, _, _, _, _, _]
and type(s) A, B, C, D, E, F, G, H, I
.
Type class witnessing that every element of L
is of the form FieldType[K, V]
where V
is an element of M
.
Generic Zipper for any type with a representation via Generic
.
Encoding of zero.
Type class witnessing the existence of a natural transformation between K[_]
and V[_]
.
Empty HList
value.
Type level encoding of the natural numbers.
Provides implicit conversions from polymorphic function values to monomorphic function values, eg.
Provides instances of Typeable
.
'Fin'
Nat
literals
Optic
definitions
Poly
definitions
Higher ranked function which converts products to HLists
.
Record operations on HList
's with field-like elements.
An enhanced alternative to Predef.implicitly
.
Higher ranked function which converts HLists
to tuples.