Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
tcAddImplicits :: [TyCon] -> TcM TcGblEnv #
tcConDecls :: TyCon -> ([TyConBinder], Type) -> [LConDecl Name] -> TcM [DataCon] #
checkValidTyCon :: TyCon -> TcM () #
tcFamTyPats :: FamTyConShape -> Maybe ClsInstInfo -> HsTyPats Name -> (TcKind -> TcM ()) -> ([TcTyVar] -> [TcType] -> TcKind -> TcM a) -> TcM a #
tcTyFamInstEqn :: FamTyConShape -> Maybe ClsInstInfo -> LTyFamInstEqn Name -> TcM CoAxBranch #
famTyConShape :: TyCon -> FamTyConShape #
tcAddTyFamInstCtxt :: TyFamInstDecl Name -> TcM a -> TcM a #
tcAddDataFamInstCtxt :: DataFamInstDecl Name -> TcM a -> TcM a #
wrongKindOfFamily :: TyCon -> SDoc #
dataConCtxt :: Outputable a => a -> SDoc #