Documentation

tcImportDecl :: Name -> TcM TyThingSource

checkWiredInTyCon :: TyCon -> TcM ()Source

tcHiBootIface :: HscSource -> Module -> TcRn ModDetailsSource

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetailsSource

tcIfaceDecl :: Bool -> IfaceDecl -> IfL TyThingSource

tcIfaceInst :: IfaceInst -> IfL InstanceSource

tcIfaceFamInst :: IfaceFamInst -> IfL FamInstSource

tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]Source

tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfoSource

tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]Source

tcIfaceGlobal :: Name -> IfL TyThingSource

tcExtCoreBindings :: [IfaceBinding] -> IfL [CoreBind]Source