Postgres.Data.ConnectionStatus

Definitions

data ConnectionStatus : Type

Totality: total
Visibility: public export
Constructors:

OK : ConnectionStatus

BAD : ConnectionStatus

STARTED : ConnectionStatus

MADE : ConnectionStatus

AWAITING_RESPONSE : ConnectionStatus

AUTH_OK : ConnectionStatus

SETENV : ConnectionStatus

SSL_STARTUP : ConnectionStatus

NEEDED : ConnectionStatus

OTHER : Int -> ConnectionStatus

Hint: 

Show ConnectionStatus