diff options
| author | krasimir <krasimir@chalmers.se> | 2017-01-26 10:04:42 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-01-26 10:04:42 +0000 |
| commit | be43d5dfdc777995d237e224da7f627426774527 (patch) | |
| tree | 70a3e772421f98930ce5fa01022aa458eca7eb9d /src/runtime/haskell-bind/PGF2/FFI.hs | |
| parent | a06e0b6b6f6eba7e392c8e28934068a8626ee032 (diff) | |
added mkAbs and unAbs in the Haskell binding
Diffstat (limited to 'src/runtime/haskell-bind/PGF2/FFI.hs')
| -rw-r--r-- | src/runtime/haskell-bind/PGF2/FFI.hs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/runtime/haskell-bind/PGF2/FFI.hs b/src/runtime/haskell-bind/PGF2/FFI.hs index 9e51bb34b..0e5ba250c 100644 --- a/src/runtime/haskell-bind/PGF2/FFI.hs +++ b/src/runtime/haskell-bind/PGF2/FFI.hs @@ -257,6 +257,15 @@ foreign import ccall "pgf/pgf.h pgf_fullform_get_analyses" foreign import ccall "pgf/pgf.h pgf_expr_apply" pgf_expr_apply :: Ptr PgfApplication -> Ptr GuPool -> IO PgfExpr +foreign import ccall "pgf/pgf.h pgf_expr_unapply" + pgf_expr_unapply :: PgfExpr -> Ptr GuPool -> IO (Ptr PgfApplication) + +foreign import ccall "pgf/pgf.h pgf_expr_abs" + pgf_expr_abs :: CInt -> CString -> PgfExpr -> Ptr GuPool -> IO PgfExpr + +foreign import ccall "pgf/pgf.h pgf_expr_unabs" + pgf_expr_unabs :: PgfExpr -> IO (Ptr a) + foreign import ccall "pgf/pgf.h pgf_expr_string" pgf_expr_string :: CString -> Ptr GuPool -> IO PgfExpr @@ -269,9 +278,6 @@ foreign import ccall "pgf/pgf.h pgf_expr_float" foreign import ccall "pgf/pgf.h pgf_expr_unlit" pgf_expr_unlit :: PgfExpr -> CInt -> IO (Ptr a) -foreign import ccall "pgf/pgf.h pgf_expr_unapply" - pgf_expr_unapply :: PgfExpr -> Ptr GuPool -> IO (Ptr PgfApplication) - foreign import ccall "pgf/expr.h pgf_expr_arity" pgf_expr_arity :: PgfExpr -> IO CInt |