| ||||
| ||||
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 | ||||
Produced by Haddock version 2.3.0 |