Documentation

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

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

tcValArg :: HsExpr GhcRn -> LHsExpr GhcRn -> Scaled TcSigmaType -> Int -> TcM (LHsExpr GhcTc) Source #

tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc Source #