Postgres.Data.ResultStatus

Definitions

data ResultStatus : Type

  See the `ExecStatusType` from libpq for more information.
  constructors below are derived from libpq options by
  dropping the "PGRES_" prefix

Totality: total
Visibility: public export
Constructors:

EMPTY_QUERY : ResultStatus

COMMAND_OK : ResultStatus

TUPLES_OK : ResultStatus

COPY_OUT : ResultStatus

COPY_IN : ResultStatus

BAD_RESPONSE : ResultStatus

NONFATAL_ERROR : ResultStatus

FATAL_ERROR : ResultStatus

COPY_BOTH : ResultStatus

SINGLE_TUPLE : ResultStatus

OTHER : Int -> ResultStatus

Hint: 

Show ResultStatus