
  0 | module Postgres.Data.ConnectionStatus
  1 | 
  2 | public export
  3 | data ConnectionStatus = OK
  4 |                       | BAD
  5 |                       | STARTED
  6 |                       | MADE
  7 |                       | AWAITING_RESPONSE
  8 |                       | AUTH_OK
  9 |                       | SETENV
 10 |                       | SSL_STARTUP
 11 |                       | NEEDED
 12 |                       | OTHER Int
 13 | 
 14 | export
 15 | Show ConnectionStatus where
 16 |     show OK                = "OK"
 17 |     show BAD               = "BAD"
 18 |     show STARTED           = "STARTED"
 19 |     show MADE              = "MADE"
 20 |     show AWAITING_RESPONSE = "AWAITING_RESPONSE"
 21 |     show AUTH_OK           = "AUTH_OK"
 22 |     show SETENV            = "SETENV"
 23 |     show SSL_STARTUP       = "SSL_STARTUP"
 24 |     show NEEDED            = "NEEDED"
 25 |     show (OTHER x)         = "OTHER " ++ (show x)
 26 |