Idris2Doc : Postgres.Data.Conn

Postgres.Data.Conn

(source)

Definitions

data PGconn : Type
  Internal phantom type used to mark pointers related to
DB connections.

Totality: total
Visibility: export
data Conn : Type
Totality: total
Visibility: public export
Constructor: 
MkConn : Ptr PGconn -> Conn