Idris2Doc : Postgres.Data.Conn

Postgres.Data.Conn

(source)

Definitions

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

Totality: total
Visibility: export
dataConn : Type
Totality: total
Visibility: public export
Constructor: 
MkConn : PtrPGconn->Conn