Database.PostgreSQL.Typed.Dynamic

Automatic (dynamic) marshalling of PostgreSQL values based on Haskell types (not SQL statements). This is intended for direct construction of queries and query data, bypassing the normal SQL type inference.

Documentation

class (PGParameter (PGRepType a) a, PGColumn (PGRepType a) a) => PGRep a

Represents canonical/default PostgreSQL representation for various Haskell types, allowing convenient type-driven marshalling.

Associated Types

type PGRepType a :: Symbol

The PostgreSOL type that this type should be converted to.

Instances

PGRep Bool

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Bool :: Symbol

PGRep Char

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Char :: Symbol

PGRep Double

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Double :: Symbol

PGRep Float

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Float :: Symbol

PGRep Int16

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Int16 :: Symbol

PGRep Int32

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Int32 :: Symbol

PGRep Int64

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Int64 :: Symbol

PGRep Rational

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Rational :: Symbol

PGRep ()

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType () :: Symbol

PGRep String

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType String :: Symbol

PGRep ByteString

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType ByteString :: Symbol

PGRep Scientific

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Scientific :: Symbol

PGRep Text

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Text :: Symbol

PGRep UTCTime

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType UTCTime :: Symbol

PGRep Value

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Value :: Symbol

PGRep UUID

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType UUID :: Symbol

PGRep Day

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType Day :: Symbol

PGRep DiffTime

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType DiffTime :: Symbol

PGRep TimeOfDay

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType TimeOfDay :: Symbol

PGRep LocalTime

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType LocalTime :: Symbol

PGRep OID

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType OID :: Symbol

PGRep PGName

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType PGName :: Symbol

PGRep a => PGRep (Maybe a)

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType (Maybe a) :: Symbol

PGRep (TimeOfDay, TimeZone)

Defined in Database.PostgreSQL.Typed.Dynamic

Associated Types

type PGRepType (TimeOfDay, TimeZone) :: Symbol

pgTypeOf :: a -> PGTypeID (PGRepType a)

pgTypeOfProxy :: Proxy a -> PGTypeID (PGRepType a)

pgEncodeRep :: PGRep a => a -> PGValue

Encode a value using pgEncodeValue.

pgDecodeRep :: forall a. PGRep a => PGValue -> a

Decode a value using pgDecodeValue.

pgLiteralRep :: PGRep a => a -> ByteString

Produce a literal value for interpolation in a SQL statement using pgLiteral. Using pgSafeLiteral is usually safer as it includes type cast.

pgLiteralString :: PGRep a => a -> String

Produce a raw SQL literal from a value. Using pgSafeLiteral is usually safer when interpolating in a SQL statement.

pgSafeLiteral :: PGRep a => a -> ByteString

Produce a safely type-cast literal value for interpolation in a SQL statement, e.g., "'123'::integer".

pgSafeLiteralString :: PGRep a => a -> String

Identical to unpack . pgSafeLiteral but more efficient.

pgSubstituteLiterals :: String -> ExpQ

Create an expression that literally substitutes each instance of ${expr} for the result of pgSafeLiteral expr, producing a lazy ByteString. This lets you do safe, type-driven literal substitution into SQL fragments without needing a full query, bypassing placeholder inference and any prepared queries, for example when using pgSimpleQuery or pgSimpleQueries_. Unlike most other TH functions, this does not require any database connection.