summaryrefslogtreecommitdiff
path: root/src/runtime/haskell-bind/PGF2.hsc
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2017-01-26 06:40:13 +0000
committerkrasimir <krasimir@chalmers.se>2017-01-26 06:40:13 +0000
commit14b32a115ca47c2799b292ad0777098e705247c0 (patch)
tree7f085523a5498dc219d42b41493eaf3f10bfbf0f /src/runtime/haskell-bind/PGF2.hsc
parentdb0f8b0dced9a827c24842e5eeda7fbd64ef115e (diff)
add unStr,unInt and unFloat in the Haskell binding
Diffstat (limited to 'src/runtime/haskell-bind/PGF2.hsc')
-rw-r--r--src/runtime/haskell-bind/PGF2.hsc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell-bind/PGF2.hsc b/src/runtime/haskell-bind/PGF2.hsc
index c5da14abf..b4aea30e4 100644
--- 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,