record

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.

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

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

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

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

    Type class supporting record field removal.

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.

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

    Type class supporting multiple record field selection.

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

    Type class supporting record field selection.

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.

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.