Moduleghc-9.14.1GHC2021
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-9.14.1
- Exports16
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceTyCl.hs
Constructors
Instances1Eq
Eq IsPrefixConGADTDefined in ghc-9.14.1 · GHC.Tc.TyCl