Data.Record.Internal.Record.Parser

Documentation

data RecordInstances

Constructors

RecordInstances

Fields

• recordInstancesDerived :: [Deriving]

  Explicitly supported type class instances

• recordInstancesAnyclass :: [Type]

  Anyclass deriving

  We list these separately, because we need to add these as anyclass deriving classes when defining the newtype, rather than as standalone deriving instances. (If we don't, we need to duplicate ghc's logic for figuring out how many parameters to provide to the datatype.)

data Deriving

Constructors

DeriveEq

DeriveOrd

DeriveShow

Instances

Show Deriving

Defined in Data.Record.Internal.Record.Parser

Methods

showsPrec :: Int -> Deriving -> ShowS

show :: Deriving -> String

showList :: [Deriving] -> ShowS

parseRecordDef :: Dec -> Q (Maybe (Record (), RecordInstances))

Try to match a record declaration

We use Maybe in these matching functions, along with reportError, so that we can report multiple errors rather than stopping at the first.