Data.Record.TH

Documentation

data JSONSpec

Specify what level of JSON generation you want

Constructors

ALL

TO

FROM

NONE

Instances

Eq JSONSpec

Show JSONSpec

fields :: [(String, TypeQ, JSONSpec)] -> Q [Dec]

Generate field declarations for the given strings. For example: $(fields [A, B]) generates the code data A = A instance Name A where name = A

type Field a = a ::: TypeOf a

A field representing its TypeOf

type Rec a = a (Id KindStar)

A record using the Id type function as its sort

type family TypeOf c

The data carried by a particular field name