PGTypes

Definitions

PgInput : Type

Visibility: export

pgInputFromString : String -> PgInput

Visibility: export

pgInputToString : PgInput -> String

Visibility: export

data DataRowElement : Type

Totality: total
Visibility: public export
Constructor: 

MkDataRowElement : List Bits8 -> DataRowElement

dataRowElementToBytes : DataRowElement -> List Bits8

Visibility: export

PgRows : Type

Visibility: public export