Moduleghc-10.0.0.20260917GHC2024

GHC.Types.ThLevelIndex

newtypenewtype ThLevelIndex

The integer which represents the level

Instances4Eq, Data, Ord, Outputable

Eq ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndex
Data ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndex
Ord ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndex
Outputable ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndex

valueincThLevelIndex :: ThLevelIndex -> ThLevelIndex

valuedecThLevelIndex :: ThLevelIndex -> ThLevelIndex

valuetopLevelIndex :: ThLevelIndex

valuespliceLevelIndex :: ThLevelIndex

valuequoteLevelIndex :: ThLevelIndex

valuethLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex