| ||||
| ||||
| 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] -> 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.7.2 |