| Safe Haskell | Safe-Infered |
|---|
BuildTyCl
- buildSynTyCon :: Name -> [TyVar] -> SynTyConRhs -> Kind -> TyConParent -> Maybe (TyCon, [Type]) -> TcRnIf m n TyCon
- buildAlgTyCon :: Name -> [TyVar] -> ThetaType -> AlgTyConRhs -> RecFlag -> Bool -> TyConParent -> Maybe (TyCon, [Type]) -> TcRnIf m n TyCon
- buildDataCon :: Name -> Bool -> [HsBang] -> [Name] -> [TyVar] -> [TyVar] -> [(TyVar, Type)] -> ThetaType -> [Type] -> Type -> TyCon -> TcRnIf m n DataCon
- buildPromotedDataTyCon :: DataCon -> TyCon
- type TcMethInfo = (Name, DefMethSpec, Type)
- buildClass :: Bool -> Name -> [TyVar] -> ThetaType -> [FunDep TyVar] -> [ClassATItem] -> [TcMethInfo] -> RecFlag -> TcRnIf m n Class
- distinctAbstractTyConRhs, totallyAbstractTyConRhs :: AlgTyConRhs
- mkNewTyConRhs :: Name -> TyCon -> DataCon -> TcRnIf m n AlgTyConRhs
- mkDataTyConRhs :: [DataCon] -> AlgTyConRhs
- newImplicitBinder :: Name -> (OccName -> OccName) -> TcRnIf m n Name
Documentation
Arguments
| :: Name | |
| -> [TyVar] | |
| -> SynTyConRhs | |
| -> Kind | Kind of the RHS |
| -> TyConParent | |
| -> Maybe (TyCon, [Type]) | family instance if applicable |
| -> TcRnIf m n TyCon |
buildDataCon :: Name -> Bool -> [HsBang] -> [Name] -> [TyVar] -> [TyVar] -> [(TyVar, Type)] -> ThetaType -> [Type] -> Type -> TyCon -> TcRnIf m n DataConSource
type TcMethInfo = (Name, DefMethSpec, Type)Source
buildClass :: Bool -> Name -> [TyVar] -> ThetaType -> [FunDep TyVar] -> [ClassATItem] -> [TcMethInfo] -> RecFlag -> TcRnIf m n ClassSource
mkNewTyConRhs :: Name -> TyCon -> DataCon -> TcRnIf m n AlgTyConRhsSource
Monadic because it makes a Name for the coercion TyCon We pass the Name of the parent TyCon, as well as the TyCon itself, because the latter is part of a knot, whereas the former is not.
mkDataTyConRhs :: [DataCon] -> AlgTyConRhsSource