
  0 | module PGTypes
  1 | 
  2 | -- An SQL string for execution
  3 | export
  4 | PgInput : Type
  5 | PgInput = String
  6 | 
  7 | export
  8 | pgInputFromString : String -> PgInput
  9 | pgInputFromString = id
 10 | 
 11 | export
 12 | pgInputToString : PgInput -> String
 13 | pgInputToString = id
 14 | 
 15 | public export
 16 | -- This doesn't appear in the PostgreSQL docs, but
 17 | -- simply the repeated part of the DataRow message
 18 | data DataRowElement = MkDataRowElement (List Bits8)
 19 | 
 20 | export
 21 | dataRowElementToBytes : DataRowElement -> List Bits8
 22 | dataRowElementToBytes (MkDataRowElement bytes) = bytes
 23 | 
 24 | public export
 25 | PgRows : Type
 26 | PgRows = List (List DataRowElement)
 27 |