Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
checkWiredInTyCon :: TyCon -> TcM () #
tcHiBootIface :: HscSource -> Module -> TcRn SelfBootInfo #
typecheckIface :: ModIface -> TcRnIf gbl lcl ModDetails #
tcIfaceInst :: IfaceClsInst -> IfL ClsInst #
tcIfaceFamInst :: IfaceFamInst -> IfL FamInst #
tcIfaceVectInfo :: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo #
tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation] #
tcIfaceExpr :: IfaceExpr -> IfL CoreExpr #
tcIfaceGlobal :: Name -> IfL TyThing #