Documentation

tcApp :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) Source #

tcInferSigma :: Bool -> LHsExpr GhcRn -> TcM TcSigmaType Source #

tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc Source #