Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnvSource

tcAddImplicits :: [TyThing] -> TcM TcGblEnvSource

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

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

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM BoolSource

checkValidTyCon :: TyCon -> TcM ()Source

tcSynFamInstDecl :: TyCon -> TyFamInstDecl Name -> TcM CoAxBranchSource

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

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

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

wrongKindOfFamily :: TyCon -> SDocSource

dataConCtxt :: Outputable a => a -> SDocSource

badDataConTyCon :: DataCon -> Type -> Type -> SDocSource