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 LowPriorityMerger extends AnyRef

   

4. trait LowPriorityRemover extends AnyRef

   

5. trait LowPrioritySelector extends AnyRef

   

6. trait LowPriorityUpdater extends AnyRef

   

7. trait MapValues[HF, L <: HList] extends DepFn1[L] with Serializable

   

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

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

   

   Type class support record merging.

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

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

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

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

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

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

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

    

    Type class supporting record update and extension.

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

    

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