add unStr,unInt and unFloat in the Haskell binding

2026-04-30 06:52:49 -06:00 · 2017-01-26 06:40:13 +00:00
parent 00f15826af
commit 4442e302e6
3 changed files with 34 additions and 1 deletions
--- a/src/runtime/haskell-bind/PGF2.hsc
+++ b/src/runtime/haskell-bind/PGF2.hsc
@@ -30,7 +30,7 @@ module PGF2 (-- * PGF
             -- ** Functions
             Fun,functions, functionsByCat, functionType, hasLinearization,
             -- ** Expressions
-             Expr,showExpr,readExpr,mkApp,unApp,mkStr,mkInt,mkFloat,
+             Expr,showExpr,readExpr,mkApp,unApp,mkStr,unStr,mkInt,unInt,mkFloat,unFloat,
             -- ** Types
             Type(..), Hypo, BindType(..), showType,