extensible-0.9.2: Extensible, efficient, optics-friendly data types and effects
Copyright(c) Fumiaki Kinoshita 2018
LicenseBSD3
MaintainerFumiaki Kinoshita <[email protected]>
Safe HaskellNone
LanguageHaskell2010

Data.Extensible.Record

Description

Bidirectional conversion from/to records

Synopsis

Documentation

class IsRecord a where Source #

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

Minimal complete definition

Nothing

Associated Types

type RecFields a :: [Assoc Symbol Type] Source #

type RecFields a = GRecFields (Rep a) ('[] :: [Assoc Symbol Type])

Methods

recordFromList :: HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields a) -> a Source #

default recordFromList :: (Generic a, GIsRecord (Rep a) ('[] :: [Assoc Symbol Type]), GRecFields (Rep a) ('[] :: [Assoc Symbol Type]) ~ RecFields a) => HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields a) -> a Source #

recordToList :: a -> HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields a) Source #

default recordToList :: (Generic a, GIsRecord (Rep a) ('[] :: [Assoc Symbol Type]), GRecFields (Rep a) ('[] :: [Assoc Symbol Type]) ~ RecFields a) => a -> HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields a) Source #

Instances

Instances details
IsRecord () Source # 
Instance details

Defined in Data.Extensible.Record

Associated Types

type RecFields () 
Instance details

Defined in Data.Extensible.Record

type RecFields () = '[] :: [Assoc Symbol Type]

Methods

recordFromList :: HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields ()) -> () Source #

recordToList :: () -> HList (Field Identity :: Assoc Symbol Type -> Type) (RecFields ()) Source #

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

Convert a value into a Record.

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

Convert a Record to a value.

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

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