Data.Extensible.Record

Bidirectional conversion from/to records

Documentation

class IsRecord a where

The class of types that can be converted to/from a Record.

Minimal complete definition

recordFromList, recordToList

Associated Types

type RecFields a :: [Assoc Symbol *]

Methods

recordFromList :: HList (Field Identity) (RecFields a) -> a

recordToList :: a -> HList (Field Identity) (RecFields a)

Instances

IsRecord ()

Associated Types

type RecFields () :: [Assoc Symbol *]

Methods

recordFromList :: HList (Assoc Symbol *) (Field Symbol * Identity) (RecFields ()) -> ()

recordToList :: () -> HList (Assoc Symbol *) (Field Symbol * Identity) (RecFields ())

toRecord :: IsRecord a => a -> Record (RecFields a)

Convert a value into a Record.

fromRecord :: IsRecord a => Record (RecFields a) -> a

Convert a Record to a value.

record :: (IsRecord a, Functor f, Profunctor p) => Optic' p f a (Record (RecFields a))

record :: IsRecord a => Iso' a (Record (RecFields a))

deriveIsRecord :: Name -> DecsQ

Create an IsRecord instance for a normal record declaration.