Data.Record.Internal.Record.Resolution.GHC

Documentation

parseRecordInfo

Arguments

:: forall m. Quasi m

=> String

User-defined constructor

-> Name 'DataName 'Global

Internal constructor

-> m (Either String (Record ()))

Parse previously constructed type level data

We do this when we construct record values, at which point we have no Options, so this must work without options.

Nothing if this wasn't a type created using large-records.