Safe Haskell | None |
---|---|
Language | GHC2021 |
GHC.Types.ThLevelIndex
Documentation
newtype ThLevelIndex Source #
The integer which represents the level
Constructors
ThLevelIndex Int |
Instances
thLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex Source #
Convert a ImportLevel
to a ThLevelIndex