Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnv Source

tcAddImplicits :: [TyThing] -> TcM TcGblEnv Source

kcDataDefn :: HsDataDefn Name -> TcKind -> TcM () Source

tcConDecls :: NewOrData -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon] Source

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM Bool Source

checkValidTyCon :: TyCon -> TcM () Source

tcFamTyPats :: FamTyConShape -> HsWithBndrs Name [LHsType Name] -> (TcKind -> TcM ()) -> ([TKVar] -> [TcType] -> Kind -> TcM a) -> TcM a Source

tcTyFamInstEqn :: FamTyConShape -> LTyFamInstEqn Name -> TcM CoAxBranch Source

famTyConShape :: TyCon -> FamTyConShape Source

tcAddTyFamInstCtxt :: TyFamInstDecl Name -> TcM a -> TcM a Source

tcAddDataFamInstCtxt :: DataFamInstDecl Name -> TcM a -> TcM a Source

wrongKindOfFamily :: TyCon -> SDoc Source

dataConCtxt :: Outputable a => a -> SDoc Source

badDataConTyCon :: DataCon -> Type -> Type -> SDoc Source