TcIface

ghc-8.0.1: The GHC API

Safe Haskell | None
Language | Haskell2010

TcIface

# Documentation

tcLookupImported_maybe :: Name -> TcM (MaybeErr MsgDoc TyThing) #

importDecl :: Name -> IfM lcl (MaybeErr MsgDoc TyThing) #

checkWiredInTyCon :: TyCon -> TcM () #

tcHiBootIface :: HscSource -> Module -> TcRn SelfBootInfo #

typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails #

tcIfaceDecl #

Arguments

:: Bool | True = discard IdInfo on IfaceId bindings
-> IfaceDecl |
-> IfL TyThing |

tcIfaceInst :: IfaceClsInst -> IfL ClsInst #

tcIfaceFamInst :: IfaceFamInst -> IfL FamInst #

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

tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo #

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

tcIfaceExpr :: IfaceExpr -> IfL CoreExpr #

tcIfaceGlobal :: Name -> IfL TyThing #