Opaleye.PGTypes

Postgres types and functions to create Columns of those types. You may find it more convenient to use Opaleye.Constant instead.

Documentation

Creating SQL values

pgString :: String -> Column PGText

pgLazyByteString :: ByteString -> Column PGBytea

pgStrictByteString :: ByteString -> Column PGBytea

pgStrictText :: Text -> Column PGText

pgLazyText :: Text -> Column PGText

pgInt4 :: Int -> Column PGInt4

pgInt8 :: Int64 -> Column PGInt8

pgDouble :: Double -> Column PGFloat8

pgBool :: Bool -> Column PGBool

pgUUID :: UUID -> Column PGUuid

pgDay :: Day -> Column PGDate

pgUTCTime :: UTCTime -> Column PGTimestamptz

pgLocalTime :: LocalTime -> Column PGTimestamp

pgTimeOfDay :: TimeOfDay -> Column PGTime

pgCiStrictText :: CI Text -> Column PGCitext

pgCiLazyText :: CI Text -> Column PGCitext

pgJSON :: String -> Column PGJson

pgStrictJSON :: ByteString -> Column PGJson

pgLazyJSON :: ByteString -> Column PGJson

pgValueJSON :: ToJSON a => a -> Column PGJson

pgJSONB :: String -> Column PGJsonb

pgStrictJSONB :: ByteString -> Column PGJsonb

pgLazyJSONB :: ByteString -> Column PGJsonb

pgValueJSONB :: ToJSON a => a -> Column PGJsonb

pgArray :: forall a b. IsSqlType b => (a -> Column b) -> [a] -> Column (PGArray b)

pgRange :: forall a b. IsRangeType b => (a -> Column b) -> RangeBound a -> RangeBound a -> Column (PGRange b)

class IsSqlType pgType where

Methods

showPGType :: proxy pgType -> String

showSqlType will be deprecated in version 0.6. Use showSqlType instead.

showSqlType :: proxy pgType -> String

Instances

IsSqlType PGJsonb

Methods

showPGType :: proxy PGJsonb -> String

showSqlType :: proxy PGJsonb -> String

IsSqlType PGJson

Methods

showPGType :: proxy PGJson -> String

showSqlType :: proxy PGJson -> String

IsSqlType PGBytea

Methods

showPGType :: proxy PGBytea -> String

showSqlType :: proxy PGBytea -> String

IsSqlType PGCitext

Methods

showPGType :: proxy PGCitext -> String

showSqlType :: proxy PGCitext -> String

IsSqlType PGUuid

Methods

showPGType :: proxy PGUuid -> String

showSqlType :: proxy PGUuid -> String

IsSqlType PGTimestamptz

Methods

showPGType :: proxy PGTimestamptz -> String

showSqlType :: proxy PGTimestamptz -> String

IsSqlType PGTimestamp

Methods

showPGType :: proxy PGTimestamp -> String

showSqlType :: proxy PGTimestamp -> String

IsSqlType PGTime

Methods

showPGType :: proxy PGTime -> String

showSqlType :: proxy PGTime -> String

IsSqlType PGText

Methods

showPGType :: proxy PGText -> String

showSqlType :: proxy PGText -> String

IsSqlType PGNumeric

Methods

showPGType :: proxy PGNumeric -> String

showSqlType :: proxy PGNumeric -> String

IsSqlType PGInt2

Methods

showPGType :: proxy PGInt2 -> String

showSqlType :: proxy PGInt2 -> String

IsSqlType PGInt4

Methods

showPGType :: proxy PGInt4 -> String

showSqlType :: proxy PGInt4 -> String

IsSqlType PGInt8

Methods

showPGType :: proxy PGInt8 -> String

showSqlType :: proxy PGInt8 -> String

IsSqlType PGFloat8

Methods

showPGType :: proxy PGFloat8 -> String

showSqlType :: proxy PGFloat8 -> String

IsSqlType PGFloat4

Methods

showPGType :: proxy PGFloat4 -> String

showSqlType :: proxy PGFloat4 -> String

IsSqlType PGDate

Methods

showPGType :: proxy PGDate -> String

showSqlType :: proxy PGDate -> String

IsSqlType PGBool

Methods

showPGType :: proxy PGBool -> String

showSqlType :: proxy PGBool -> String

IsSqlType a => IsSqlType (Nullable a)

Methods

showPGType :: proxy (Nullable a) -> String

showSqlType :: proxy (Nullable a) -> String

IsRangeType a => IsSqlType (PGRange a)

Methods

showPGType :: proxy (PGRange a) -> String

showSqlType :: proxy (PGRange a) -> String

IsSqlType a => IsSqlType (PGArray a)

Methods

showPGType :: proxy (PGArray a) -> String

showSqlType :: proxy (PGArray a) -> String

class IsSqlType pgType => IsRangeType pgType where

Minimal complete definition

showRangeType

Methods

showRangeType :: proxy pgType -> String

Instances

IsRangeType PGTimestamptz

Methods

showRangeType :: proxy PGTimestamptz -> String

IsRangeType PGTimestamp

Methods

showRangeType :: proxy PGTimestamp -> String

IsRangeType PGNumeric

Methods

showRangeType :: proxy PGNumeric -> String

IsRangeType PGInt4

Methods

showRangeType :: proxy PGInt4 -> String

IsRangeType PGInt8

Methods

showRangeType :: proxy PGInt8 -> String

IsRangeType PGDate

Methods

showRangeType :: proxy PGDate -> String

SQL datatypes

data PGBool

Instances

IsSqlType PGBool

Methods

showPGType :: proxy PGBool -> String

showSqlType :: proxy PGBool -> String

PGOrd PGBool

QueryRunnerColumnDefault PGBool Bool

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGBool Bool

Default Constant Bool (Column PGBool)

Methods

def :: Constant Bool (Column PGBool)

data PGDate

Instances

IsRangeType PGDate

Methods

showRangeType :: proxy PGDate -> String

IsSqlType PGDate

Methods

showPGType :: proxy PGDate -> String

showSqlType :: proxy PGDate -> String

PGOrd PGDate

QueryRunnerColumnDefault PGDate Day

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGDate Day

Default Constant Day (Column PGDate)

Methods

def :: Constant Day (Column PGDate)

Default Constant (PGRange Day) (Column (PGRange PGDate))

Methods

def :: Constant (PGRange Day) (Column (PGRange PGDate))

data PGFloat4

Instances

IsSqlType PGFloat4

Methods

showPGType :: proxy PGFloat4 -> String

showSqlType :: proxy PGFloat4 -> String

PGOrd PGFloat4

data PGFloat8

Instances

PGFractional PGFloat8

Methods

pgFromRational :: Rational -> Column PGFloat8

PGNum PGFloat8

Methods

pgFromInteger :: Integer -> Column PGFloat8

IsSqlType PGFloat8

Methods

showPGType :: proxy PGFloat8 -> String

showSqlType :: proxy PGFloat8 -> String

PGOrd PGFloat8

QueryRunnerColumnDefault PGFloat8 Double

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGFloat8 Double

Default Constant Double (Column PGFloat8)

Methods

def :: Constant Double (Column PGFloat8)

data PGInt8

Instances

PGIntegral PGInt8

PGNum PGInt8

Methods

pgFromInteger :: Integer -> Column PGInt8

IsRangeType PGInt8

Methods

showRangeType :: proxy PGInt8 -> String

IsSqlType PGInt8

Methods

showPGType :: proxy PGInt8 -> String

showSqlType :: proxy PGInt8 -> String

PGOrd PGInt8

PGJsonIndex PGInt8

QueryRunnerColumnDefault PGInt8 Int64

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGInt8 Int64

Default Constant Int64 (Column PGInt8)

Methods

def :: Constant Int64 (Column PGInt8)

Default Constant (PGRange Int64) (Column (PGRange PGInt8))

Methods

def :: Constant (PGRange Int64) (Column (PGRange PGInt8))

data PGInt4

Instances

PGIntegral PGInt4

PGNum PGInt4

Methods

pgFromInteger :: Integer -> Column PGInt4

IsRangeType PGInt4

Methods

showRangeType :: proxy PGInt4 -> String

IsSqlType PGInt4

Methods

showPGType :: proxy PGInt4 -> String

showSqlType :: proxy PGInt4 -> String

PGOrd PGInt4

PGJsonIndex PGInt4

QueryRunnerColumnDefault PGInt4 Int

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGInt4 Int

QueryRunnerColumnDefault PGInt4 Int32

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGInt4 Int32

Default Constant Int (Column PGInt4)

Methods

def :: Constant Int (Column PGInt4)

Default Constant Int32 (Column PGInt4)

Methods

def :: Constant Int32 (Column PGInt4)

Default Constant (PGRange Int) (Column (PGRange PGInt4))

Methods

def :: Constant (PGRange Int) (Column (PGRange PGInt4))

data PGInt2

Instances

PGIntegral PGInt2

IsSqlType PGInt2

Methods

showPGType :: proxy PGInt2 -> String

showSqlType :: proxy PGInt2 -> String

PGOrd PGInt2

data PGNumeric

Instances

IsRangeType PGNumeric

Methods

showRangeType :: proxy PGNumeric -> String

IsSqlType PGNumeric

Methods

showPGType :: proxy PGNumeric -> String

showSqlType :: proxy PGNumeric -> String

PGOrd PGNumeric

data PGText

Instances

PGString PGText

Methods

pgFromString :: String -> Column PGText

IsSqlType PGText

Methods

showPGType :: proxy PGText -> String

showSqlType :: proxy PGText -> String

PGOrd PGText

PGJsonIndex PGText

QueryRunnerColumnDefault PGText String

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGText String

QueryRunnerColumnDefault PGText Text

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGText Text

QueryRunnerColumnDefault PGText Text

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGText Text

Default Constant String (Column PGText)

Methods

def :: Constant String (Column PGText)

Default Constant Text (Column PGText)

Methods

def :: Constant Text (Column PGText)

Default Constant Text (Column PGText)

Methods

def :: Constant Text (Column PGText)

data PGTime

Instances

IsSqlType PGTime

Methods

showPGType :: proxy PGTime -> String

showSqlType :: proxy PGTime -> String

PGOrd PGTime

QueryRunnerColumnDefault PGTime TimeOfDay

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGTime TimeOfDay

Default Constant TimeOfDay (Column PGTime)

Methods

def :: Constant TimeOfDay (Column PGTime)

data PGTimestamp

Instances

IsRangeType PGTimestamp

Methods

showRangeType :: proxy PGTimestamp -> String

IsSqlType PGTimestamp

Methods

showPGType :: proxy PGTimestamp -> String

showSqlType :: proxy PGTimestamp -> String

PGOrd PGTimestamp

QueryRunnerColumnDefault PGTimestamp LocalTime

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGTimestamp LocalTime

Default Constant LocalTime (Column PGTimestamp)

Methods

def :: Constant LocalTime (Column PGTimestamp)

Default Constant (PGRange LocalTime) (Column (PGRange PGTimestamp))

Methods

def :: Constant (PGRange LocalTime) (Column (PGRange PGTimestamp))

data PGTimestamptz

Instances

IsRangeType PGTimestamptz

Methods

showRangeType :: proxy PGTimestamptz -> String

IsSqlType PGTimestamptz

Methods

showPGType :: proxy PGTimestamptz -> String

showSqlType :: proxy PGTimestamptz -> String

PGOrd PGTimestamptz

QueryRunnerColumnDefault PGTimestamptz UTCTime

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGTimestamptz UTCTime

Default Constant UTCTime (Column PGTimestamptz)

Methods

def :: Constant UTCTime (Column PGTimestamptz)

Default Constant (PGRange UTCTime) (Column (PGRange PGTimestamptz))

Methods

def :: Constant (PGRange UTCTime) (Column (PGRange PGTimestamptz))

data PGUuid

Instances

IsSqlType PGUuid

Methods

showPGType :: proxy PGUuid -> String

showSqlType :: proxy PGUuid -> String

PGOrd PGUuid

QueryRunnerColumnDefault PGUuid UUID

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGUuid UUID

Default Constant UUID (Column PGUuid)

Methods

def :: Constant UUID (Column PGUuid)

data PGCitext

Instances

PGString PGCitext

Methods

pgFromString :: String -> Column PGCitext

IsSqlType PGCitext

Methods

showPGType :: proxy PGCitext -> String

showSqlType :: proxy PGCitext -> String

PGOrd PGCitext

QueryRunnerColumnDefault PGCitext (CI Text)

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGCitext (CI Text)

QueryRunnerColumnDefault PGCitext (CI Text)

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGCitext (CI Text)

Default Constant (CI Text) (Column PGCitext)

Methods

def :: Constant (CI Text) (Column PGCitext)

Default Constant (CI Text) (Column PGCitext)

Methods

def :: Constant (CI Text) (Column PGCitext)

data PGArray a

Instances

(Default Constant a (Column b), IsSqlType b) => Default Constant [a] (Column (PGArray b))

Methods

def :: Constant [a] (Column (PGArray b))

IsSqlType a => IsSqlType (PGArray a)

Methods

showPGType :: proxy (PGArray a) -> String

showSqlType :: proxy (PGArray a) -> String

(Typeable * b, QueryRunnerColumnDefault a b) => QueryRunnerColumnDefault (PGArray a) [b]

Methods

queryRunnerColumnDefault :: QueryRunnerColumn (PGArray a) [b]

data PGBytea

Instances

IsSqlType PGBytea

Methods

showPGType :: proxy PGBytea -> String

showSqlType :: proxy PGBytea -> String

QueryRunnerColumnDefault PGBytea ByteString

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGBytea ByteString

QueryRunnerColumnDefault PGBytea ByteString

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGBytea ByteString

Default Constant ByteString (Column PGBytea)

Methods

def :: Constant ByteString (Column PGBytea)

Default Constant ByteString (Column PGBytea)

Methods

def :: Constant ByteString (Column PGBytea)

data PGJson

Instances

IsSqlType PGJson

Methods

showPGType :: proxy PGJson -> String

showSqlType :: proxy PGJson -> String

PGIsJson PGJson

QueryRunnerColumnDefault PGJson String

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGJson String

QueryRunnerColumnDefault PGJson Value

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGJson Value

Default Constant ByteString (Column PGJson)

Methods

def :: Constant ByteString (Column PGJson)

Default Constant ByteString (Column PGJson)

Methods

def :: Constant ByteString (Column PGJson)

Default Constant Value (Column PGJson)

Methods

def :: Constant Value (Column PGJson)

data PGJsonb

Instances

IsSqlType PGJsonb

Methods

showPGType :: proxy PGJsonb -> String

showSqlType :: proxy PGJsonb -> String

PGIsJson PGJsonb

QueryRunnerColumnDefault PGJsonb String

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGJsonb String

QueryRunnerColumnDefault PGJsonb Value

Methods

queryRunnerColumnDefault :: QueryRunnerColumn PGJsonb Value

Default Constant ByteString (Column PGJsonb)

Methods

def :: Constant ByteString (Column PGJsonb)

Default Constant ByteString (Column PGJsonb)

Methods

def :: Constant ByteString (Column PGJsonb)

Default Constant Value (Column PGJsonb)

Methods

def :: Constant Value (Column PGJsonb)

data PGRange a

Instances

Default Constant (PGRange Int) (Column (PGRange PGInt4))

Methods

def :: Constant (PGRange Int) (Column (PGRange PGInt4))

Default Constant (PGRange Int64) (Column (PGRange PGInt8))

Methods

def :: Constant (PGRange Int64) (Column (PGRange PGInt8))

Default Constant (PGRange UTCTime) (Column (PGRange PGTimestamptz))

Methods

def :: Constant (PGRange UTCTime) (Column (PGRange PGTimestamptz))

Default Constant (PGRange LocalTime) (Column (PGRange PGTimestamp))

Methods

def :: Constant (PGRange LocalTime) (Column (PGRange PGTimestamp))

Default Constant (PGRange Day) (Column (PGRange PGDate))

Methods

def :: Constant (PGRange Day) (Column (PGRange PGDate))

IsRangeType a => IsSqlType (PGRange a)

Methods

showPGType :: proxy (PGRange a) -> String

showSqlType :: proxy (PGRange a) -> String

(Typeable * b, FromField b, QueryRunnerColumnDefault a b) => QueryRunnerColumnDefault (PGRange a) (PGRange b)

Methods

queryRunnerColumnDefault :: QueryRunnerColumn (PGRange a) (PGRange b)

Deprecated functions

literalColumn :: Literal -> Column a

Warning: literalColumn has been moved to Opaleye.Internal.PGTypes and will be deprecated in version 0.6

unsafePgFormatTime :: FormatTime t => Name -> String -> t -> Column c

Warning: unsafePgFormatTime has been moved to Opaleye.Internal.PGTypes and will be deprecated in version 0.6