Idris2Doc : Postgres.Exec

Postgres.Exec

(source)

Definitions

withExecResult : Conn->String-> (Result->IOb) ->IOb
  Execute the given command, apply the given function `f`,
and then free the memory for the result.

Visibility: export
ignore : Result->IO ()
Visibility: export