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

Nothing

Associated Types

type RecFields a :: [Assoc Symbol Type]

Methods

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

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

recordFromList :: (Generic a, GIsRecord (Rep a) '[], GRecFields (Rep a) '[] ~ RecFields a) => HList (Field Identity) (RecFields a) -> a

recordToList :: (Generic a, GIsRecord (Rep a) '[], GRecFields (Rep a) '[] ~ RecFields a) => a -> HList (Field Identity) (RecFields a)

Instances

IsRecord ()

Defined in Data.Extensible.Record

Associated Types

type RecFields () :: [Assoc Symbol Type]

Methods

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

recordToList :: () -> HList (Field 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))