Type Members

1.  trait AlignByKeys[T <: HList, K <: HList] extends DepFn1[T] with Serializable

   Type class reordering record T by the HList of Keys K

2.  trait DeepMerger[L <: HList, M <: HList] extends DepFn2[L, M] with Serializable

   Type class support record deep merging.

3.  trait Extractor[L <: HList, E <: HList] extends (L) => E with Serializable

   Type class supporting extraction of super-record from sub-record (witnesses depth subtype relation).

4.  trait Fields[L <: HList] extends DepFn1[L] with Serializable

   Type class supporting converting this record to a HList of key-value pairs.

5.  trait Keys[L <: HList] extends DepFn0 with Serializable

   Type class supporting collecting the keys of a record as an HList.

6.  trait LacksKey[L <: HList, K] extends AnyRef
7.  class LacksKeyMacros extends CaseClassMacros

   Annotations

   @bundle()

8.  trait LowPriorityDeepMerger extends AnyRef
9.  trait LowPriorityDeepMerger0 extends LowPriorityDeepMerger
10.  trait LowPriorityExtractor extends AnyRef
11.  trait LowPriorityMergeWith extends AnyRef
12.  trait LowPriorityMerger extends AnyRef
13.  trait LowPriorityRemove extends AnyRef
14.  trait LowPriorityRemover extends AnyRef
15.  trait MapValues[HF, L <: HList] extends DepFn1[L] with Serializable

    Type class supporting mapping a higher rank function over the values of a record.

16.  trait MergeWith[L <: HList, M <: HList, F] extends DepFn2[L, M] with Serializable

    Type class support record merging with a callback function.

17.  trait Merger[L <: HList, M <: HList] extends DepFn2[L, M] with Serializable

    Type class support record merging.

18.  trait Modifier[L <: HList, F, A, B] extends DepFn2[L, (A) => B] with Serializable

    Type class supporting modification of a record field by given function.

    Type class supporting modification of a record field by given function.

    Annotations

    @implicitNotFound("No field ${F} with value of type ${A} in record ${L}")

19.  class ModifierMacros extends CaseClassMacros

    Annotations

    @bundle()

20.  trait Remove[L, E] extends DepFn1[L] with Serializable

    Type class supporting removal and re-insertion of an element (possibly unlabelled).

    Type class supporting removal and re-insertion of an element (possibly unlabelled).

    Annotations

    @implicitNotFound("No field or element type ${E} in record ${L}")

21.  trait RemoveAll[L <: HList, A <: HList] extends DepFn1[L] with Serializable

    Type class supporting removal and re-insertion of an HList of elements (possibly unlabelled).

    Type class supporting removal and re-insertion of an HList of elements (possibly unlabelled).

    Annotations

    @implicitNotFound("Not all of the field or element types ${A} are in record ${L}")

22.  trait Remover[L <: HList, K] extends DepFn1[L] with Serializable

    Type class supporting record field removal.

    Type class supporting record field removal.

    Annotations

    @implicitNotFound("No field ${K} in record ${L}")

23.  class RemoverMacros extends CaseClassMacros

    Annotations

    @bundle()

24.  trait Renamer[L <: HList, K1, K2] extends DepFn1[L] with Serializable

    Type class supporting renaming of a record field.

    Type class supporting renaming of a record field.

    Annotations

    @implicitNotFound("No field ${K1} in record ${L}")

25.  trait SelectAll[L <: HList, K <: HList] extends DepFn1[L] with Serializable

    Type class supporting multiple record field selection.

    Type class supporting multiple record field selection.

    Annotations

    @implicitNotFound("No fields ${K} in record ${L}")

26.  trait Selector[L <: HList, K] extends DepFn1[L] with Serializable

    Type class supporting record field selection.

    Type class supporting record field selection.

    Annotations

    @implicitNotFound("No field ${K} in record ${L}")

27.  class SelectorMacros extends CaseClassMacros

    Annotations

    @bundle()

28.  trait SwapRecord[L <: HList] extends DepFn0 with Serializable

    Type class supporting collecting the keys tagged by value types as a HList of FieldType[V, K].

29.  trait ToMap[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting converting this record to a Map whose keys and values are typed as the Lub of the keys and values of this record.

30.  class UnsafeModifier extends Modifier[HList, Any, Any, Any]
31.  class UnsafeRemover extends Remover[HList, Any]
32.  class UnsafeSelector extends Selector[HList, Any]
33.  class UnsafeUpdater extends Updater[HList, Any]
34.  trait UnzipFields[L <: HList] extends Serializable

    Type class combining Keys and Values for convenience and compilation speed.

    Type class combining Keys and Values for convenience and compilation speed. It's similar to Fields, but produces distinct HLists instead of a zipped one.

35.  trait Updater[L <: HList, F] extends DepFn2[L, F] with Serializable

    Type class supporting record update and extension.

36.  class UpdaterMacros extends CaseClassMacros

    Annotations

    @bundle()

37.  trait Values[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting collecting the value of a record as an HList.