| ||||
| ||||
| Documentation | ||||
| tcImportDecl :: Name -> TcM TyThing | ||||
| checkWiredInTyCon :: TyCon -> TcM () | ||||
| tcHiBootIface :: HscSource -> Module -> TcRn ModDetails | ||||
| typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails | ||||
| tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThing | ||||
| tcIfaceInst :: IfaceInst -> IfL Instance | ||||
| tcIfaceFamInst :: IfaceFamInst -> IfL FamInst | ||||
| tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule] | ||||
| tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo | ||||
| tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation] | ||||
| tcIfaceGlobal :: Name -> IfL TyThing | ||||
| tcExtCoreBindings :: [IfaceBinding] -> IfL [CoreBind] | ||||
| Produced by Haddock version 2.7.2 |