Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.ThLevelIndex

newtypenewtype ThLevelIndex

The integer which represents the level

Instances4Eq, Data, Ord, Outputable

Eq ThLevelIndexDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.ThLevelIndex
Data ThLevelIndexDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.ThLevelIndex
Ord ThLevelIndexDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.ThLevelIndex
Outputable ThLevelIndexDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.ThLevelIndex

valueincThLevelIndex :: ThLevelIndex -> ThLevelIndex

valuedecThLevelIndex :: ThLevelIndex -> ThLevelIndex

valuetopLevelIndex :: ThLevelIndex

valuespliceLevelIndex :: ThLevelIndex

valuequoteLevelIndex :: ThLevelIndex

valuethLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex