|
|
|
|
|
| Documentation |
|
| buildSynTyCon :: Name -> [TyVar] -> SynTyConRhs -> Kind -> Maybe (TyCon, [Type]) -> TcRnIf m n TyCon |
|
| buildAlgTyCon :: Name -> [TyVar] -> ThetaType -> AlgTyConRhs -> RecFlag -> Bool -> Bool -> Maybe (TyCon, [Type]) -> TcRnIf m n TyCon |
|
| buildDataCon :: Name -> Bool -> [StrictnessMark] -> [Name] -> [TyVar] -> [TyVar] -> [(TyVar, Type)] -> ThetaType -> [Type] -> TyCon -> TcRnIf m n DataCon |
|
| buildClass :: Bool -> Name -> [TyVar] -> ThetaType -> [FunDep TyVar] -> [TyThing] -> [(Name, DefMeth, Type)] -> RecFlag -> TcRnIf m n Class |
|
| mkAbstractTyConRhs :: AlgTyConRhs |
|
| mkOpenDataTyConRhs :: AlgTyConRhs |
|
| mkNewTyConRhs :: Name -> TyCon -> DataCon -> TcRnIf m n AlgTyConRhs |
|
| mkDataTyConRhs :: [DataCon] -> AlgTyConRhs |
|
| setAssocFamilyPermutation :: [TyVar] -> TyThing -> TyThing |
|
| Produced by Haddock version 2.4.2 |
