From 0b392e8cff9ecac3ea12e99dc4c4b8e11377f82b Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 4 Sep 2015 10:02:42 +0000
Subject: the Haskell binding now covers everything in the libsg API

---
 src/runtime/haskell-bind/SG/FFI.hs | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'src/runtime/haskell-bind/SG')

diff --git a/src/runtime/haskell-bind/SG/FFI.hs b/src/runtime/haskell-bind/SG/FFI.hs
index 2874082bb..37c7f8c3a 100644
--- a/src/runtime/haskell-bind/SG/FFI.hs
+++ b/src/runtime/haskell-bind/SG/FFI.hs
@@ -8,6 +8,7 @@ import GHC.Ptr
 import Data.Int
 
 data SgSG
+data SgTripleResult
 type SgId = Int64
 
 foreign import ccall "sg/sg.h sg_open"
@@ -28,10 +29,26 @@ foreign import ccall "sg/sg.h sg_rollback"
 foreign import ccall "sg/sg.h sg_insert_expr"
   sg_insert_expr :: Ptr SgSG -> PgfExpr -> Ptr GuExn -> IO SgId
 
+foreign import ccall "sg/sg.h sg_get_expr"
+  sg_get_expr :: Ptr SgSG -> SgId -> Ptr GuPool -> Ptr GuExn -> IO PgfExpr
+
 foreign import ccall "sg/sg.h sg_insert_triple"
   sg_insert_triple :: Ptr SgSG -> SgTriple -> Ptr GuExn -> IO SgId
 
-type SgTriple = Ptr SgId
+foreign import ccall "sg/sg.h sg_get_triple"
+  sg_get_triple :: Ptr SgSG -> SgId -> SgTriple -> Ptr GuPool -> Ptr GuExn -> IO CInt
+
+foreign import ccall "sg/sg.h sg_query_triple"
+  sg_query_triple :: Ptr SgSG -> SgTriple -> Ptr GuExn -> IO (Ptr SgTripleResult)
+
+foreign import ccall "sg/sg.h sg_triple_result_fetch"
+  sg_triple_result_fetch :: Ptr SgTripleResult -> Ptr SgId -> SgTriple -> Ptr GuPool -> Ptr GuExn -> IO CInt
+
+foreign import ccall "sg/sg.h sg_triple_result_close"
+  sg_triple_result_close :: Ptr SgTripleResult -> Ptr GuExn -> IO ()
+
+
+type SgTriple = Ptr PgfExpr
 
 withTriple :: (SgTriple -> IO a) -> IO a
 withTriple = allocaArray 3
-- 
cgit v1.2.3