Moduleghc-10.0.0.20260917GHC2024
GHC.Tc.Types.TH
- 5 types
- 8 values
- Packageghc-10.0.0.20260917
- Exports15
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceThLevelIndex.hs
Constructors
Instances1Outputable
Outputable ThLevelDefined in ghc-10.0.0.20260917 · GHC.Tc.Types.TH
Constructors
The integer which represents the level
Instances4Eq, Data, Ord, Outputable
Eq ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndexData ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndexOrd ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndexOutputable ThLevelIndexDefined in ghc-10.0.0.20260917 · GHC.Types.ThLevelIndex
Convert a ImportLevel to a ThLevelIndex