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 PGType t => PGRep t a | a -> t where

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

Methods

pgTypeOf :: a -> PGTypeName t

pgEncodeRep :: a -> PGValue

pgEncodeRep :: PGParameter t a => a -> PGValue

pgLiteralRep :: a -> ByteString

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

pgLiteralRep :: PGParameter t a => a -> ByteString

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

pgDecodeRep :: PGValue -> a

pgDecodeRep :: PGColumn t a => PGValue -> a

Instances

PGRep "\"char\"" Char

Methods

pgTypeOf :: Char -> PGTypeName "\"char\""

pgEncodeRep :: Char -> PGValue

pgLiteralRep :: Char -> ByteString

pgDecodeRep :: PGValue -> Char

PGRep "bigint" Int64

Methods

pgTypeOf :: Int64 -> PGTypeName "bigint"

pgEncodeRep :: Int64 -> PGValue

pgLiteralRep :: Int64 -> ByteString

pgDecodeRep :: PGValue -> Int64

PGRep "boolean" Bool

Methods

pgTypeOf :: Bool -> PGTypeName "boolean"

pgEncodeRep :: Bool -> PGValue

pgLiteralRep :: Bool -> ByteString

pgDecodeRep :: PGValue -> Bool

PGRep "date" Day

Methods

pgTypeOf :: Day -> PGTypeName "date"

pgEncodeRep :: Day -> PGValue

pgLiteralRep :: Day -> ByteString

pgDecodeRep :: PGValue -> Day

PGRep "double precision" Double

Methods

pgTypeOf :: Double -> PGTypeName "double precision"

pgEncodeRep :: Double -> PGValue

pgLiteralRep :: Double -> ByteString

pgDecodeRep :: PGValue -> Double

PGRep "integer" Int32

Methods

pgTypeOf :: Int32 -> PGTypeName "integer"

pgEncodeRep :: Int32 -> PGValue

pgLiteralRep :: Int32 -> ByteString

pgDecodeRep :: PGValue -> Int32

PGRep "interval" DiffTime

Methods

pgTypeOf :: DiffTime -> PGTypeName "interval"

pgEncodeRep :: DiffTime -> PGValue

pgLiteralRep :: DiffTime -> ByteString

pgDecodeRep :: PGValue -> DiffTime

PGRep "numeric" Rational

Methods

pgTypeOf :: Rational -> PGTypeName "numeric"

pgEncodeRep :: Rational -> PGValue

pgLiteralRep :: Rational -> ByteString

pgDecodeRep :: PGValue -> Rational

PGRep "numeric" Scientific

Methods

pgTypeOf :: Scientific -> PGTypeName "numeric"

pgEncodeRep :: Scientific -> PGValue

pgLiteralRep :: Scientific -> ByteString

pgDecodeRep :: PGValue -> Scientific

PGRep "oid" OID

Methods

pgTypeOf :: OID -> PGTypeName "oid"

pgEncodeRep :: OID -> PGValue

pgLiteralRep :: OID -> ByteString

pgDecodeRep :: PGValue -> OID

PGRep "real" Float

Methods

pgTypeOf :: Float -> PGTypeName "real"

pgEncodeRep :: Float -> PGValue

pgLiteralRep :: Float -> ByteString

pgDecodeRep :: PGValue -> Float

PGRep "smallint" Int16

Methods

pgTypeOf :: Int16 -> PGTypeName "smallint"

pgEncodeRep :: Int16 -> PGValue

pgLiteralRep :: Int16 -> ByteString

pgDecodeRep :: PGValue -> Int16

PGRep "text" String

Methods

pgTypeOf :: String -> PGTypeName "text"

pgEncodeRep :: String -> PGValue

pgLiteralRep :: String -> ByteString

pgDecodeRep :: PGValue -> String

PGRep "text" ByteString

Methods

pgTypeOf :: ByteString -> PGTypeName "text"

pgEncodeRep :: ByteString -> PGValue

pgLiteralRep :: ByteString -> ByteString

pgDecodeRep :: PGValue -> ByteString

PGRep "text" Text

Methods

pgTypeOf :: Text -> PGTypeName "text"

pgEncodeRep :: Text -> PGValue

pgLiteralRep :: Text -> ByteString

pgDecodeRep :: PGValue -> Text

PGRep "time without time zone" TimeOfDay

Methods

pgTypeOf :: TimeOfDay -> PGTypeName "time without time zone"

pgEncodeRep :: TimeOfDay -> PGValue

pgLiteralRep :: TimeOfDay -> ByteString

pgDecodeRep :: PGValue -> TimeOfDay

PGRep "timestamp with time zone" UTCTime

Methods

pgTypeOf :: UTCTime -> PGTypeName "timestamp with time zone"

pgEncodeRep :: UTCTime -> PGValue

pgLiteralRep :: UTCTime -> ByteString

pgDecodeRep :: PGValue -> UTCTime

PGRep "timestamp without time zone" LocalTime

Methods

pgTypeOf :: LocalTime -> PGTypeName "timestamp without time zone"

pgEncodeRep :: LocalTime -> PGValue

pgLiteralRep :: LocalTime -> ByteString

pgDecodeRep :: PGValue -> LocalTime

PGRep "uuid" UUID

Methods

pgTypeOf :: UUID -> PGTypeName "uuid"

pgEncodeRep :: UUID -> PGValue

pgLiteralRep :: UUID -> ByteString

pgDecodeRep :: PGValue -> UUID

PGRep t a => PGRep t (Maybe a)

Methods

pgTypeOf :: Maybe a -> PGTypeName t

pgEncodeRep :: Maybe a -> PGValue

pgLiteralRep :: Maybe a -> ByteString

pgDecodeRep :: PGValue -> Maybe a

PGRep "time with time zone" (TimeOfDay, TimeZone)

Methods

pgTypeOf :: (TimeOfDay, TimeZone) -> PGTypeName "time with time zone"

pgEncodeRep :: (TimeOfDay, TimeZone) -> PGValue

pgLiteralRep :: (TimeOfDay, TimeZone) -> ByteString

pgDecodeRep :: PGValue -> (TimeOfDay, TimeZone)

pgLiteralString :: PGRep t a => a -> String

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

pgSafeLiteral :: PGRep t a => a -> ByteString

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

pgSafeLiteralString :: PGRep t 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.