Idris2Doc : Postgres

Postgres

(source)
Reexports
import public Postgres.Data
import public Postgres.DB
import public Postgres.DB.Wait
import public Postgres.Notification
import public Postgres.Exec
import public Postgres.Query
import public Postgres.Result