
  0 | module Postgres.FFI.Utility
  1 | 
  2 | import System.FFI
  3 | 
  4 | public export
  5 | libpq : String -> String
  6 | libpq fn = "C:" ++ fn ++ ", libpq"
  7 | 
  8 | public export
  9 | cHelper : String -> String
 10 | cHelper fn = "C:" ++ fn ++ ", libpg-idris"
 11 | 
 12 | public export
 13 | nLibpq : String -> String
 14 | nLibpq fn = "node:lambda:require('@mattpolzin/libpq-bare')." ++ fn
 15 | 
 16 | export
 17 | %foreign cHelper "string_value"
 18 | prim__string_value : Ptr String -> String
 19 | 
 20 |