opaleye-0.6.7003.1: An SQL-generating DSL targeting PostgreSQL

Safe HaskellNone
LanguageHaskell2010

Opaleye.PGTypes

Description

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

Synopsis

Documentation

data PGRange a #

Instances
Default Constant (PGRange Int) (Column (SqlRange SqlInt4)) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Int64) (Column (SqlRange SqlInt8)) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Scientific) (Column (SqlRange SqlNumeric)) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Day) (Column (SqlRange SqlDate)) # 
Instance details

Defined in Opaleye.Constant

IsRangeType a => IsSqlType (PGRange a) # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy (PGRange a) -> String #

showSqlType :: proxy (PGRange a) -> String #

(Typeable b, FromField b, QueryRunnerColumnDefault a b) => QueryRunnerColumnDefault (PGRange a) (PGRange b) # 
Instance details

Defined in Opaleye.Internal.RunQuery

data PGArray a #

Instances
(Default Constant a (Column b), IsSqlType b) => Default Constant [a] (Column (SqlArray b)) # 
Instance details

Defined in Opaleye.Constant

Methods

def :: Constant [a] (Column (SqlArray b)) #

IsSqlType a => IsSqlType (PGArray a) # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy (PGArray a) -> String #

showSqlType :: proxy (PGArray a) -> String #

(Typeable b, QueryRunnerColumnDefault a b) => QueryRunnerColumnDefault (PGArray a) [b] # 
Instance details

Defined in Opaleye.Internal.RunQuery

data PGUuid #

Instances
IsSqlType PGUuid # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGUuid -> String #

showSqlType :: proxy PGUuid -> String #

PGOrd SqlUuid # 
Instance details

Defined in Opaleye.Order

QueryRunnerColumnDefault PGUuid UUID # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant UUID (Column SqlUuid) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGUuid) # 
Instance details

Defined in Opaleye.Internal.Join

data PGTime #

Instances
IsSqlType PGTime # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGTime -> String #

showSqlType :: proxy PGTime -> String #

PGOrd SqlTime # 
Instance details

Defined in Opaleye.Order

QueryRunnerColumnDefault PGTime TimeOfDay # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant TimeOfDay (Column SqlTime) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGTime) # 
Instance details

Defined in Opaleye.Internal.Join

data PGText #

Instances
PGString PGText # 
Instance details

Defined in Opaleye.PGTypes

IsSqlType PGText # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGText -> String #

showSqlType :: proxy PGText -> String #

PGOrd SqlText # 
Instance details

Defined in Opaleye.Order

PGJsonIndex SqlText # 
Instance details

Defined in Opaleye.Operators

QueryRunnerColumnDefault PGText Text # 
Instance details

Defined in Opaleye.Internal.RunQuery

QueryRunnerColumnDefault PGText Text # 
Instance details

Defined in Opaleye.Internal.RunQuery

QueryRunnerColumnDefault PGText String # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant Text (Column SqlText) # 
Instance details

Defined in Opaleye.Constant

Default Constant Text (Column SqlText) # 
Instance details

Defined in Opaleye.Constant

Default Constant String (Column SqlText) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGText) # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) # 
Instance details

Defined in Opaleye.Internal.Join

data PGInt2 #

Instances
PGIntegral PGInt2 # 
Instance details

Defined in Opaleye.PGTypes

IsSqlType PGInt2 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt2 -> String #

showSqlType :: proxy PGInt2 -> String #

PGOrd SqlInt2 # 
Instance details

Defined in Opaleye.Order

data PGInt4 #

Instances
PGIntegral PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

PGNum PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

IsRangeType PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGInt4 -> String #

IsSqlType PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt4 -> String #

showSqlType :: proxy PGInt4 -> String #

PGOrd SqlInt4 # 
Instance details

Defined in Opaleye.Order

PGJsonIndex SqlInt4 # 
Instance details

Defined in Opaleye.Operators

QueryRunnerColumnDefault PGInt4 Int # 
Instance details

Defined in Opaleye.Internal.RunQuery

QueryRunnerColumnDefault PGInt4 Int32 # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant Int (Column SqlInt4) # 
Instance details

Defined in Opaleye.Constant

Default Constant Int32 (Column SqlInt4) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Int) (Column (SqlRange SqlInt4)) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGInt4) # 
Instance details

Defined in Opaleye.Internal.Join

data PGInt8 #

Instances
PGIntegral PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

PGNum PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

IsRangeType PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGInt8 -> String #

IsSqlType PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt8 -> String #

showSqlType :: proxy PGInt8 -> String #

PGOrd SqlInt8 # 
Instance details

Defined in Opaleye.Order

PGJsonIndex SqlInt8 # 
Instance details

Defined in Opaleye.Operators

QueryRunnerColumnDefault PGInt8 Int64 # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant Int64 (Column SqlInt8) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Int64) (Column (SqlRange SqlInt8)) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGInt8) # 
Instance details

Defined in Opaleye.Internal.Join

data PGFloat4 #

Instances
IsSqlType PGFloat4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGFloat4 -> String #

showSqlType :: proxy PGFloat4 -> String #

PGOrd SqlFloat4 # 
Instance details

Defined in Opaleye.Order

data PGDate #

Instances
IsRangeType PGDate # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGDate -> String #

IsSqlType PGDate # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGDate -> String #

showSqlType :: proxy PGDate -> String #

PGOrd SqlDate # 
Instance details

Defined in Opaleye.Order

QueryRunnerColumnDefault PGDate Day # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant Day (Column SqlDate) # 
Instance details

Defined in Opaleye.Constant

Default Constant (PGRange Day) (Column (SqlRange SqlDate)) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGDate) # 
Instance details

Defined in Opaleye.Internal.Join

data PGBool #

Instances
IsSqlType PGBool # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGBool -> String #

showSqlType :: proxy PGBool -> String #

PGOrd SqlBool # 
Instance details

Defined in Opaleye.Order

QueryRunnerColumnDefault PGBool Bool # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default Constant Bool (Column SqlBool) # 
Instance details

Defined in Opaleye.Constant

type Map Nulled (Column PGBool) # 
Instance details

Defined in Opaleye.Internal.Join

class IsSqlType pgType => IsRangeType pgType where #

Methods

showRangeType :: proxy pgType -> String #

Instances
IsRangeType PGTimestamptz # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGTimestamptz -> String #

IsRangeType PGTimestamp # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGTimestamp -> String #

IsRangeType PGNumeric # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGNumeric -> String #

IsRangeType PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGInt4 -> String #

IsRangeType PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGInt8 -> String #

IsRangeType PGDate # 
Instance details

Defined in Opaleye.PGTypes

Methods

showRangeType :: proxy PGDate -> String #

class IsSqlType sqlType where #

Minimal complete definition

Nothing

Methods

showPGType :: proxy sqlType -> String #

Deprecated: Use showSqlType instead. showPGType will be removed in version 0.7.

showSqlType :: proxy sqlType -> String #

Instances
IsSqlType PGJsonb # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGJsonb -> String #

showSqlType :: proxy PGJsonb -> String #

IsSqlType PGJson # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGJson -> String #

showSqlType :: proxy PGJson -> String #

IsSqlType PGBytea # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGBytea -> String #

showSqlType :: proxy PGBytea -> String #

IsSqlType PGCitext # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGCitext -> String #

showSqlType :: proxy PGCitext -> String #

IsSqlType PGUuid # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGUuid -> String #

showSqlType :: proxy PGUuid -> String #

IsSqlType PGTimestamptz # 
Instance details

Defined in Opaleye.PGTypes

IsSqlType PGTimestamp # 
Instance details

Defined in Opaleye.PGTypes

IsSqlType PGTime # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGTime -> String #

showSqlType :: proxy PGTime -> String #

IsSqlType PGText # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGText -> String #

showSqlType :: proxy PGText -> String #

IsSqlType PGNumeric # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGNumeric -> String #

showSqlType :: proxy PGNumeric -> String #

IsSqlType PGInt2 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt2 -> String #

showSqlType :: proxy PGInt2 -> String #

IsSqlType PGInt4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt4 -> String #

showSqlType :: proxy PGInt4 -> String #

IsSqlType PGInt8 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGInt8 -> String #

showSqlType :: proxy PGInt8 -> String #

IsSqlType PGFloat8 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGFloat8 -> String #

showSqlType :: proxy PGFloat8 -> String #

IsSqlType PGFloat4 # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGFloat4 -> String #

showSqlType :: proxy PGFloat4 -> String #

IsSqlType PGDate # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGDate -> String #

showSqlType :: proxy PGDate -> String #

IsSqlType PGBool # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy PGBool -> String #

showSqlType :: proxy PGBool -> String #

IsSqlType a => IsSqlType (Nullable a) # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy (Nullable a) -> String #

showSqlType :: proxy (Nullable a) -> String #

IsRangeType a => IsSqlType (PGRange a) # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy (PGRange a) -> String #

showSqlType :: proxy (PGRange a) -> String #

IsSqlType a => IsSqlType (PGArray a) # 
Instance details

Defined in Opaleye.PGTypes

Methods

showPGType :: proxy (PGArray a) -> String #

showSqlType :: proxy (PGArray a) -> String #

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) #

literalColumn :: Literal -> Column a #

Deprecated: literalColumn has been moved to Opaleye.Internal.PGTypes and will be removed in version 0.7.

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

Deprecated: unsafePgFormatTime has been moved to Opaleye.Internal.PGTypes and will be removed in version 0.7.