Type Members

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

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

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

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

3.  trait LacksKey [L <: HList, K] extends AnyRef
4.  class LacksKeyMacros extends CaseClassMacros
5.  trait LowPriorityMerger extends AnyRef
6.  trait LowPriorityRemove extends AnyRef
7.  trait LowPriorityRemover extends AnyRef
8.  trait MapValues [HF, L <: HList] extends DepFn1[L] with Serializable

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

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

   Type class support record merging.

10.  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( ... )

11.  class ModifierMacros extends CaseClassMacros
12.  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( ... )

13.  trait RemoveAll [L <: HList, A <: HList] extends DepFn1[L]

    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( ... )

14.  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}" )

15.  class RemoverMacros extends CaseClassMacros
16.  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}" )

17.  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}" )

18.  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}" )

19.  class SelectorMacros extends CaseClassMacros
20.  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].

21.  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.

22.  class UnsafeModifier extends Modifier[HList, Any, Any, Any]
23.  class UnsafeRemover extends Remover[HList, Any]
24.  class UnsafeSelector extends Selector[HList, Any]
25.  class UnsafeUpdater extends Updater[HList, Any]
26.  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.

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

    Type class supporting record update and extension.

28.  class UpdaterMacros extends CaseClassMacros
29.  trait Values [L <: HList] extends DepFn1[L] with Serializable

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