Idris2Doc : Postgres.Data

Postgres.Data

(source)
Reexports
import public Postgres.Data.Conn
import public Postgres.Data.ConnectionStatus
import public Postgres.Data.ResultStatus
import public Postgres.Data.PostgresType