Copyright	(c) Fumiaki Kinoshita 2018
License	BSD3
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

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 = GRecFields (Rep a) '[]

Methods

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

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

Instances details

IsRecord () Source #
Instance details Defined in Data.Extensible.Record Associated Types type RecFields () :: [Assoc Symbol Type] Source # Methods recordFromList :: HList (Field Identity) (RecFields ()) -> () Source # recordToList :: () -> HList (Field Identity) (RecFields ()) Source #

Convert a value into a Record.

Convert a Record to a value.

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