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