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