BuildTyCl

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