Idris2Doc : Postgres.Query

Postgres.Query

(source)
Reexports
import public JSON.Parser
import public Data.Vect.Quantifiers
import public Postgres.Data.PostgresValue
Definitions
pgStringResultsQuery : TypeDictionary => (header : Bool) -> String -> Conn -> IO (Either String (StringResultset header))
  Totality: total
  Visibility: export
pgJSONResultQuery : String -> Conn -> IO (Maybe JSON)
  Get the result as JSON if it is 1 row and column that can
  be successfully parsed as JSON.

  Totality: total
  Visibility: export
pgResultQuery : TypeDictionary => (expected : Vect colCount Type) -> String -> Conn -> All Castable expected => IO (Either String (rowCount : Nat ** Vect rowCount (HVect expected)))
  Get the result as a rows of the expected types of values if possible.

  Totality: total
  Visibility: export