Moduleghc-10.0.0.20260917GHC2024
GHC.Tc.TyCl
Typecheck type and class declarations
Synopsis
- value tcTyAndClassDecls
- value kcConDecls
- value tcConDecls
- data DataDeclInfo
- value dataDeclChecks
- value checkValidTyCon
- value tcFamTyPats
- value tcTyFamInstEqn
- value tcAddOpenTyFamInstCtxt
- value tcMkDataFamInstCtxt
- value tcAddDataFamInstCtxt
- value unravelFamInstPats
- value addConsistencyConstraints
- value checkFamTelescope
- data IsPrefixConGADT
- value unannotatedMultIsLinear
- Packageghc-10.0.0.20260917
- Exports16
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceTyCl.hs
Constructors
Instances1Eq
Eq IsPrefixConGADTDefined in ghc-10.0.0.20260917 · GHC.Tc.TyCl