Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcExpr
Documentation
tcPolyExpr :: LHsExpr Name -> TcSigmaType -> TcM (LHsExpr TcId)
tcPolyExprNC :: LHsExpr Name -> TcSigmaType -> TcM (LHsExpr TcId)
tcInferSigma :: LHsExpr Name -> TcM (LHsExpr TcId, TcSigmaType)
tcInferSigmaNC :: LHsExpr Name -> TcM (LHsExpr TcId, TcSigmaType)
addExprErrCtxt :: LHsExpr Name -> TcM a -> TcM a
getFixedTyVars :: [FieldLabelString] -> [TyVar] -> [ConLike] -> TyVarSet