Safe Haskell | None |
---|---|
Language | GHC2021 |
GHC.Types.ThLevelIndex
Documentation
newtype ThLevelIndex Source #
The integer which represents the level
Constructors
ThLevelIndex Int |
Instances
Outputable ThLevelIndex Source # | |
Defined in GHC.Types.ThLevelIndex Methods ppr :: ThLevelIndex -> SDoc Source # | |
Eq ThLevelIndex Source # | |
Defined in GHC.Types.ThLevelIndex | |
Ord ThLevelIndex Source # | |
Defined in GHC.Types.ThLevelIndex Methods compare :: ThLevelIndex -> ThLevelIndex -> Ordering # (<) :: ThLevelIndex -> ThLevelIndex -> Bool # (<=) :: ThLevelIndex -> ThLevelIndex -> Bool # (>) :: ThLevelIndex -> ThLevelIndex -> Bool # (>=) :: ThLevelIndex -> ThLevelIndex -> Bool # max :: ThLevelIndex -> ThLevelIndex -> ThLevelIndex # min :: ThLevelIndex -> ThLevelIndex -> ThLevelIndex # |
thLevelIndexFromImportLevel :: ImportLevel -> ThLevelIndex Source #
Convert a ImportLevel
to a ThLevelIndex