Idris2Doc : Postgres.FFI.Utility

Postgres.FFI.Utility

(source)

Definitions

libpq : String -> String
Visibility: public export
cHelper : String -> String
Visibility: public export
nLibpq : String -> String
Visibility: public export
prim__string_value : Ptr String -> String