Data.Record.Internal.Record.Resolution.Internal

Documentation

getRecordInfo

Arguments

:: Quasi m

=> Name 'DataName 'Global

Name of the internal constructor

-> m (Maybe (Record ()))

putRecordInfo :: Quasi m => Record () -> m ()

Add RecordInfo to the environment

NOTE: Must be called whilst processing the module in which the record is defined.