Idris2Doc : Postgres.Exec

Postgres.Exec

(source)

Definitions

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

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