Postgres.Data.PostgresType

Definitions

data Oid : Type

  Postgres Oids are just integers that have special
  internal semantics within Postgres.

Totality: total
Visibility: public export
Constructor: 

MkOid : Int -> Oid

Hints:

Eq Oid

Show Oid

oidToInt : Oid -> Int

  Get an integer representation of an Oid. Probably only useful
  when actually sending the Oid to Postgres for some reason.

Totality: total
Visibility: export

data PType : Type

  Not an exhaustive list of types, just a short list of
  builtins with explicit support in this library.

Totality: total
Visibility: public export
Constructors:

PInteger : PType

PDouble : PType

PChar : PType

PBoolean : PType

PDate : PType

PTime : PType

PDatetime : PType

PString : PType

PJson : PType

PUuid : PType

POid : PType

PArray : PType -> PType

POther : String -> PType

PUnknown : Oid -> PType

Hints:

IdrCast from to => IdrCast (PArray from) (List to)

Monoid (PValue p)

PGCast to from => PGCast (PArray to) (List from)

PGCast to (Maybe from) => PGCast to from

Semigroup (PValue p)

Show PType

Show (PColType t)

data Nullability : Type

Totality: total
Visibility: public export
Constructors:

Nullable : Nullability

NonNullable : Nullability

data PColType : PType -> Type

Totality: total
Visibility: public export
Constructor: 

MkColType : Nullability -> (pt : PType) -> PColType pt

Hint: 

Show (PColType t)

pType : PColType t -> PType

Totality: total
Visibility: public export

nullable : PColType t -> Bool

Totality: total
Visibility: public export

makeNullable : PColType t -> PColType t

Totality: total
Visibility: public export

data FormatCode : Type

Totality: total
Visibility: public export
Constructors:

Text : FormatCode

Binary : FormatCode

Hint: 

Show FormatCode

data TypeDictionary : Type

Totality: total
Visibility: export
Constructor: 

MkTypeDictionary : List (Oid, PType) -> TypeDictionary

Hint: 

Show TypeDictionary

.types : TypeDictionary -> List (Oid, PType)

  A sorted list of type tuples (pairs of Oid and type).
  Sorted by Oid.

Totality: total
Visibility: export

types : TypeDictionary -> List (Oid, PType)

  A sorted list of type tuples (pairs of Oid and type).
  Sorted by Oid.

Totality: total
Visibility: export

empty : TypeDictionary

Totality: total
Visibility: export

typeDictionary : List (Oid, PType) -> TypeDictionary

  Create a dictionary of Postgres types. The dictionary is
  sorted by Oid for future lookup.

Totality: total
Visibility: export

lookup : Oid -> TypeDictionary -> PType

  Find the Postgres Type the given Oid refers to, or
  admit defeat via PUnknown.

Totality: total
Visibility: export