Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.IPE

4 types
1 value

Packageghc-lib-parser-9.14.1.20251220
Exports5
LanguageGHC2021
LicenceBSD-3-Clause
SourceIPE.hs

typetype DCMap = UniqDFM DataCon (DataCon, NonEmpty (Int, Maybe IpeSourceLocation))

A map storing all the different uses of a specific data constructor and the approximate source position that usage arose from. The Int is an incrementing identifier which distinguishes each usage of a constructor in a module. It is paired with the source position the constructor was used at, if possible and a string which names the source location. This is the same information as is the payload for the GHC.Core.SourceNote constructor.

typetype ClosureMap = UniqDFM Name (Name, (Type, Maybe IpeSourceLocation))

A map from a Name to the best approximate source position that name arose from.

datadata InfoTableProvMap

Constructors

InfoTableProvMap
- provDC :: DCMap
- provClosure :: ClosureMap
- provInfoTables :: InfoTableToSourceLocationMap

valueemptyInfoTableProvMap :: InfoTableProvMap

typetype IpeSourceLocation = (RealSrcSpan, LexicalFastString)

Position and information about an info table. For return frames these are the contents of a CoreSyn.SourceNote.