Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
tcApp :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
tcInferSigma :: Bool -> LHsExpr GhcRn -> TcM TcSigmaType Source #
tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
tcApp :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
tcInferSigma :: Bool -> LHsExpr GhcRn -> TcM TcSigmaType Source #
tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc Source #