
  0 | module Postgres.Data.Conn
  1 | 
  2 | ||| Internal phantom type used to mark pointers related to
  3 | ||| DB connections.
  4 | export
  5 | data PGconn : Type
  6 | 
  7 | public export
  8 | data Conn : Type where
  9 |   MkConn : Ptr PGconn -> Conn
 10 | 
 11 | %name Conn conn
 12 |