Like Either, the :+: type defines a new type that can contain either H or T.
Non-empty HList
element type.
Evidence that Repr
instances can be nested in a Sized
.
Evidence that type T
has annotation A
, and provides an instance of the annotation.
Provides the annotations of type A
of the fields or constructors of case class-like or sum type T
.
Type class witnessing that every element of L
is an element of M
.
The CNil type is used to terminate a 'list' of :+: alternatives.
Wraps a cached implicit T
.
Encodes a coproduct type, such as a sealed family of case classes.
Type class representing one-level generic queries.
Type class representing one-level generic transformations.
Provides default values of case class-like types.
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.
Trait supporting mapping HList arguments to argument lists, inverse of ProductArgs.
Trait supporting mapping record arguments to named argument lists, inverse of RecordArgs.
Represents the ability to convert from a concrete type (e.
HList
ADT base trait.
Heterogenous map with type-level key/value associations that are fixed by an arbitrary
relation R
.
Empty HList
element type.
H :+: T
can either be H
or T
.
H :+: T
can either be H
or T
.
Type class witnessing that all elements of L
have distinct types
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
.
LabelledGeneric is similar to Generic, but includes information about field names or class names in addition to the raw structure.
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 *
.
Wraps a lazily computed value.
Evidence that no implicit instance of the same type as the one being currently searched is available elsewhere.
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.
Trait supporting mapping dynamic argument lists of Ints to HList of Nat arguments.
Type class witnessing that L
doesn't contain elements of type U
Like Option.orElse
on the type level and like Either
on the value level.
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.
Evidence that no implicit instance of type T
is available
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.
Wraps an eagerly computed value.
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
.
Provides the widen type of a singleton type.
Provides the value corresponding to a singleton type.
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[_]
.
This object was generated by sbt-buildinfo.
The companion object for the Generic trait provides a way of obtaining a Generic[T] instance for some T.
Empty HList
value.
Type level encoding of the natural numbers.
Provides implicit conversions from polymorphic function values to monomorphic function values, eg.
Provides elegant syntax for creating polys from functions
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.