Safe Haskell	None
Language	Haskell2010

Opaleye.Internal.PGTypesExternal

Synopsis

type PGArray = SqlArray
type PGRange = SqlRange
data SqlBool
data SqlInt4
data SqlFloat8
data SqlNumeric
data SqlInt8
data SqlInt2
data SqlFloat4
data SqlDate
data SqlTime
data SqlTimestamp
data SqlTimestamptz
data SqlInterval
data SqlJson
data SqlJsonb
data SqlText
data SqlVarcharN
data SqlCitext
type SqlArray = SqlArray_ 'NonNullable
data SqlArray_ (n :: Nullability) a
data SqlRange a
data SqlUuid
data SqlBytea
class IsSqlType pgType => IsRangeType pgType where
- showRangeType :: proxy pgType -> String
sqlInterval :: CalendarDiffTime -> Field PGInterval
sqlStringVarcharN :: String -> Field SqlVarcharN
sqlStrictTextVarcharN :: Text -> Field SqlVarcharN
sqlLazyTextVarcharN :: Text -> Field SqlVarcharN
pgBool :: Bool -> Field PGBool
pgDouble :: Double -> Field PGFloat8
pgInt4 :: Int -> Field PGInt4
pgInt8 :: Int64 -> Field PGInt8
pgNumeric :: Scientific -> Field PGNumeric
pgString :: String -> Field PGText
pgCiLazyText :: CI Text -> Field PGCitext
type PGText = SqlText
pgLazyByteString :: ByteString -> Field PGBytea
type PGBytea = SqlBytea
pgStrictByteString :: ByteString -> Field PGBytea
pgStrictText :: Text -> Field PGText
pgLazyText :: Text -> Field PGText
type PGNumeric = SqlNumeric
type PGInt4 = SqlInt4
type PGInt8 = SqlInt8
type PGFloat8 = SqlFloat8
type PGBool = SqlBool
pgUUID :: UUID -> Field PGUuid
type PGUuid = SqlUuid
pgDay :: Day -> Field PGDate
type PGDate = SqlDate
pgUTCTime :: UTCTime -> Field PGTimestamptz
type PGTimestamptz = SqlTimestamptz
pgLocalTime :: LocalTime -> Field PGTimestamp
type PGTimestamp = SqlTimestamp
pgZonedTime :: ZonedTime -> Field PGTimestamptz
pgTimeOfDay :: TimeOfDay -> Field PGTime
type PGTime = SqlTime
type PGInterval = SqlInterval
pgCiStrictText :: CI Text -> Field PGCitext
type PGCitext = SqlCitext
pgJSON :: String -> Field PGJson
type PGJson = SqlJson
pgStrictJSON :: ByteString -> Field PGJson
pgLazyJSON :: ByteString -> Field PGJson
pgValueJSON :: ToJSON a => a -> Field PGJson
pgJSONB :: String -> Field PGJsonb
type PGJsonb = SqlJsonb
pgStrictJSONB :: ByteString -> Field PGJsonb
pgLazyJSONB :: ByteString -> Field PGJsonb
pgValueJSONB :: ToJSON a => a -> Field PGJsonb
pgArray :: forall a b (n :: Nullability). IsSqlType b => (a -> Field_ n b) -> [a] -> Field (SqlArray_ n b)
pgRange :: forall a b (n :: Nullability) (n' :: Nullability). IsRangeType b => (a -> Field_ n b) -> RangeBound a -> RangeBound a -> Field_ n' (SqlRange b)
type PGFloat4 = SqlFloat4
type PGInt2 = SqlInt2
class IsSqlType sqlType where
- showSqlType :: proxy sqlType -> String

Documentation

type PGArray = SqlArray Source #

type PGRange = SqlRange Source #

data SqlBool Source #

Instances

Instances details

IsSqlType SqlBool Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlBool -> String Source #
SqlOrd SqlBool Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlBool Bool Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlBool Bool Source #
Default ToFields Bool (Field SqlBool) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Bool (Field SqlBool) #
bool ~ Bool => Default (Inferrable FromField) SqlBool bool Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlBool bool #

data SqlInt4 Source #

Instances

Instances details

SqlIntegral SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal
SqlNum SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromInteger :: Integer -> Field SqlInt4 Source # sqlFromInteger :: Integer -> Field SqlInt4 Source #
IsSqlType SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt4 -> String Source #
IsRangeType SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlInt4 -> String Source #
SqlJsonIndex SqlInt4 Source #
Instance details Defined in Opaleye.Operators
SqlOrd SqlInt4 Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlInt4 Int32 Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlInt4 Int32 Source #
DefaultFromField SqlInt4 Int Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlInt4 Int Source #
Default ToFields Int32 (Field SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int32 (Field SqlInt4) #
Default ToFields Int (Field SqlInt4) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int (Field SqlInt4) #
Default ToFields (PGRange Int) (Field (SqlRange SqlInt4)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int) (Field (SqlRange SqlInt4)) #
int ~ Int => Default (Inferrable FromField) SqlInt4 int Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlInt4 int #

data SqlFloat8 Source #

Instances

Instances details

SqlFractional SqlFloat8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromRational :: Rational -> Field SqlFloat8 Source # sqlFromRational :: Rational -> Field SqlFloat8 Source #
SqlNum SqlFloat8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromInteger :: Integer -> Field SqlFloat8 Source # sqlFromInteger :: Integer -> Field SqlFloat8 Source #
IsSqlType SqlFloat8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlFloat8 -> String Source #
SqlOrd SqlFloat8 Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlFloat8 Double Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlFloat8 Double Source #
Default ToFields Double (Field SqlFloat8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Double (Field SqlFloat8) #
double ~ Double => Default (Inferrable FromField) SqlFloat8 double Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlFloat8 double #

data SqlNumeric Source #

Instances

Instances details

SqlIntegral SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal
SqlNum SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromInteger :: Integer -> Field SqlNumeric Source # sqlFromInteger :: Integer -> Field SqlNumeric Source #
IsSqlType SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlNumeric -> String Source #
IsRangeType SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlNumeric -> String Source #
SqlOrd SqlNumeric Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlNumeric Scientific Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlNumeric Scientific Source #
Default ToFields Scientific (Field SqlNumeric) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Scientific (Field SqlNumeric) #
Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) #
scientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientific Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlNumeric scientific #

data SqlInt8 Source #

Instances

Instances details

SqlIntegral SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal
SqlNum SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromInteger :: Integer -> Field SqlInt8 Source # sqlFromInteger :: Integer -> Field SqlInt8 Source #
IsSqlType SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt8 -> String Source #
IsRangeType SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlInt8 -> String Source #
SqlJsonIndex SqlInt8 Source #
Instance details Defined in Opaleye.Operators
SqlOrd SqlInt8 Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlInt8 Int64 Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlInt8 Int64 Source #
Default ToFields Int64 (Field SqlInt8) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Int64 (Field SqlInt8) #
Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) #
int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64 Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlInt8 int64 #

data SqlInt2 Source #

Instances

Instances details

SqlIntegral SqlInt2 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal
IsSqlType SqlInt2 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt2 -> String Source #
SqlOrd SqlInt2 Source #
Instance details Defined in Opaleye.Order

data SqlFloat4 Source #

Instances

Instances details

IsSqlType SqlFloat4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlFloat4 -> String Source #
SqlOrd SqlFloat4 Source #
Instance details Defined in Opaleye.Order

data SqlDate Source #

Instances

Instances details

IsSqlType SqlDate Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlDate -> String Source #
IsRangeType SqlDate Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlDate -> String Source #
SqlOrd SqlDate Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlDate Day Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlDate Day Source #
IntervalNum SqlDate SqlTimestamp Source #
Instance details Defined in Opaleye.Operators
Default ToFields Day (Field SqlDate) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Day (Field SqlDate) #
Default ToFields (PGRange Day) (Field (SqlRange SqlDate)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Day) (Field (SqlRange SqlDate)) #
day ~ Day => Default (Inferrable FromField) SqlDate day Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlDate day #

data SqlTime Source #

Instances

Instances details

IsSqlType SqlTime Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTime -> String Source #
SqlOrd SqlTime Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlTime TimeOfDay Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlTime TimeOfDay Source #
IntervalNum SqlTime SqlTime Source #
Instance details Defined in Opaleye.Operators
Default ToFields TimeOfDay (Field SqlTime) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields TimeOfDay (Field SqlTime) #
timeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofday Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlTime timeofday #

data SqlTimestamp Source #

Instances

Instances details

IsSqlType SqlTimestamp Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTimestamp -> String Source #
IsRangeType SqlTimestamp Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlTimestamp -> String Source #
SqlOrd SqlTimestamp Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlTimestamp LocalTime Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlTimestamp LocalTime Source #
IntervalNum SqlDate SqlTimestamp Source #
Instance details Defined in Opaleye.Operators
IntervalNum SqlTimestamp SqlTimestamp Source #
Instance details Defined in Opaleye.Operators
Default ToFields LocalTime (Field SqlTimestamp) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields LocalTime (Field SqlTimestamp) #
Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) #
localtime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlTimestamp localtime #

data SqlTimestamptz Source #

Be careful if you use Haskell's ZonedTime with SqlTimestamptz. A Postgres timestamptz does not actually contain any time zone. It is just a UTC time that is automatically converted to or from local time on certain occasions, according to the timezone setting of the server. Therefore, although when you roundtrip an input ZonedTime to obtain an output ZonedTime they each refer to the same instant in time, the time zone attached to the output will not necessarily the same as the time zone attached to the input.

Instances

Instances details

IsSqlType SqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTimestamptz -> String Source #
IsRangeType SqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlTimestamptz -> String Source #
SqlOrd SqlTimestamptz Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlTimestamptz UTCTime Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlTimestamptz UTCTime Source #
DefaultFromField SqlTimestamptz ZonedTime Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlTimestamptz ZonedTime Source #
IntervalNum SqlTimestamptz SqlTimestamptz Source #
Instance details Defined in Opaleye.Operators
Default ToFields UTCTime (Field SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UTCTime (Field SqlTimestamptz) #
Default ToFields ZonedTime (Field SqlTimestamptz) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ZonedTime (Field SqlTimestamptz) #
Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) #

data SqlInterval Source #

Requires you to configure intervalstyle as iso_8601.

You can configure intervalstyle on every connection with a SET command, but for better performance you may want to configure it permanently in the file found with SHOW config_file;.

Instances

Instances details

IsSqlType SqlInterval Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInterval -> String Source #
DefaultFromField SqlInterval CalendarDiffTime Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlInterval CalendarDiffTime Source #
IntervalNum SqlInterval SqlInterval Source #
Instance details Defined in Opaleye.Operators
Default ToFields CalendarDiffTime (Field SqlInterval) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields CalendarDiffTime (Field SqlInterval) #
calendardifftime ~ CalendarDiffTime => Default (Inferrable FromField) SqlInterval calendardifftime Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlInterval calendardifftime #

data SqlJson Source #

Instances

Instances details

IsSqlType SqlJson Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlJson -> String Source #
SqlIsJson SqlJson Source #
Instance details Defined in Opaleye.Operators
DefaultFromField SqlJson Value Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson Value Source #
DefaultFromField SqlJson ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson ByteString Source #
DefaultFromField SqlJson ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson ByteString Source #
DefaultFromField SqlJson Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson Text Source #
DefaultFromField SqlJson Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson Text Source #
DefaultFromField SqlJson String Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson String Source #
Default ToFields Value (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Field SqlJson) #
Default ToFields ByteString (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJson) #
Default ToFields ByteString (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJson) #
(FromJSON a, Typeable a) => DefaultFromField SqlJson (Aeson a) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJson (Aeson a) Source #
ToJSON a => Default ToFields (Aeson a) (Field SqlJson) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Aeson a) (Field SqlJson) #

data SqlJsonb Source #

Instances

Instances details

IsSqlType SqlJsonb Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlJsonb -> String Source #
SqlIsJson SqlJsonb Source #
Instance details Defined in Opaleye.Operators
DefaultFromField SqlJsonb Value Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb Value Source #
DefaultFromField SqlJsonb ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb ByteString Source #
DefaultFromField SqlJsonb ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb ByteString Source #
DefaultFromField SqlJsonb Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb Text Source #
DefaultFromField SqlJsonb Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb Text Source #
DefaultFromField SqlJsonb String Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb String Source #
Default ToFields Value (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Value (Field SqlJsonb) #
Default ToFields ByteString (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJsonb) #
Default ToFields ByteString (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlJsonb) #
(FromJSON a, Typeable a) => DefaultFromField SqlJsonb (Aeson a) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlJsonb (Aeson a) Source #
ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (Aeson a) (Field SqlJsonb) #

data SqlText Source #

Instances

Instances details

SqlString SqlText Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromString :: String -> Field SqlText Source # sqlFromString :: String -> Field SqlText Source #
IsSqlType SqlText Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlText -> String Source #
SqlJsonIndex SqlText Source #
Instance details Defined in Opaleye.Operators
SqlOrd SqlText Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlText Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlText Text Source #
DefaultFromField SqlText Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlText Text Source #
DefaultFromField SqlText String Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlText String Source #
Default ToFields Text (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlText) #
Default ToFields Text (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlText) #
Default ToFields String (Field SqlText) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields String (Field SqlText) #
text ~ Text => Default (Inferrable FromField) SqlText text Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlText text #

data SqlVarcharN Source #

VARCHAR(n) for any n. Opaleye does not do anything to check that the n you choose is correctly adhered to!

Instances

Instances details

SqlString SqlVarcharN Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromString :: String -> Field SqlVarcharN Source # sqlFromString :: String -> Field SqlVarcharN Source #
IsSqlType SqlVarcharN Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlVarcharN -> String Source #
SqlOrd SqlVarcharN Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlVarcharN Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlVarcharN Text Source #
DefaultFromField SqlVarcharN Text Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlVarcharN Text Source #
DefaultFromField SqlVarcharN String Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlVarcharN String Source #
Default ToFields Text (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlVarcharN) #
Default ToFields Text (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields Text (Field SqlVarcharN) #
Default ToFields String (Field SqlVarcharN) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields String (Field SqlVarcharN) #
varchar ~ Text => Default (Inferrable FromField) SqlVarcharN varchar Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlVarcharN varchar #

data SqlCitext Source #

Instances

Instances details

SqlString SqlCitext Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods pgFromString :: String -> Field SqlCitext Source # sqlFromString :: String -> Field SqlCitext Source #
IsSqlType SqlCitext Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlCitext -> String Source #
SqlOrd SqlCitext Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlCitext (CI Text) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlCitext (CI Text) Source #
DefaultFromField SqlCitext (CI Text) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlCitext (CI Text) Source #
Default ToFields (CI Text) (Field SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Field SqlCitext) #
Default ToFields (CI Text) (Field SqlCitext) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (CI Text) (Field SqlCitext) #
cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlCitext cttext #

type SqlArray = SqlArray_ 'NonNullable Source #

data SqlArray_ (n :: Nullability) a Source #

Instances

Instances details

(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields [a] (Field (SqlArray_ n b)) #
(Typeable h, Default (Inferrable FromField) f h, hs ~ [h]) => Default (Inferrable FromField) (SqlArray f) hs Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField (SqlArray f) hs #
(Typeable h, Default (Inferrable FromField) f h, hs ~ [Maybe h]) => Default (Inferrable FromField) (SqlArray_ 'Nullable f) hs Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField (SqlArray_ 'Nullable f) hs #
IsSqlType a => IsSqlType (SqlArray_ n a) Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy (SqlArray_ n a) -> String Source #
(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'NonNullable a) [b] Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField (SqlArray_ 'NonNullable a) [b] Source #
(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'Nullable a) [Maybe b] Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField (SqlArray_ 'Nullable a) [Maybe b] Source #

data SqlRange a Source #

Instances

Instances details

Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int64) (Field (SqlRange SqlInt8)) #
Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric)) #
Default ToFields (PGRange Day) (Field (SqlRange SqlDate)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Day) (Field (SqlRange SqlDate)) #
Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz)) #
Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp)) #
Default ToFields (PGRange Int) (Field (SqlRange SqlInt4)) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields (PGRange Int) (Field (SqlRange SqlInt4)) #
IsRangeType a => IsSqlType (SqlRange a) Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy (SqlRange a) -> String Source #
(Typeable b, DefaultFromField a b) => DefaultFromField (SqlRange a) (PGRange b) Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField (SqlRange a) (PGRange b) Source #

data SqlUuid Source #

Instances

Instances details

IsSqlType SqlUuid Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlUuid -> String Source #
SqlOrd SqlUuid Source #
Instance details Defined in Opaleye.Order
DefaultFromField SqlUuid UUID Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlUuid UUID Source #
Default ToFields UUID (Field SqlUuid) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields UUID (Field SqlUuid) #
uuid ~ UUID => Default (Inferrable FromField) SqlUuid uuid Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlUuid uuid #

data SqlBytea Source #

Instances

Instances details

IsSqlType SqlBytea Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlBytea -> String Source #
DefaultFromField SqlBytea ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlBytea ByteString Source #
DefaultFromField SqlBytea ByteString Source #
Instance details Defined in Opaleye.Internal.RunQuery Methods defaultFromField :: FromField SqlBytea ByteString Source #
Default ToFields ByteString (Field SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlBytea) #
Default ToFields ByteString (Field SqlBytea) Source #
Instance details Defined in Opaleye.Internal.Constant Methods def :: ToFields ByteString (Field SqlBytea) #
bytestring ~ ByteString => Default (Inferrable FromField) SqlBytea bytestring Source #
Instance details Defined in Opaleye.Internal.Inferrable Methods def :: Inferrable FromField SqlBytea bytestring #

class IsSqlType pgType => IsRangeType pgType where Source #

Methods

showRangeType :: proxy pgType -> String Source #

Instances

Instances details

IsRangeType SqlDate Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlDate -> String Source #
IsRangeType SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlInt4 -> String Source #
IsRangeType SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlInt8 -> String Source #
IsRangeType SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlNumeric -> String Source #
IsRangeType SqlTimestamp Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlTimestamp -> String Source #
IsRangeType SqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showRangeType :: proxy SqlTimestamptz -> String Source #

sqlInterval :: CalendarDiffTime -> Field PGInterval Source #

sqlStringVarcharN :: String -> Field SqlVarcharN Source #

sqlStrictTextVarcharN :: Text -> Field SqlVarcharN Source #

sqlLazyTextVarcharN :: Text -> Field SqlVarcharN Source #

pgBool :: Bool -> Field PGBool Source #

pgDouble :: Double -> Field PGFloat8 Source #

pgInt4 :: Int -> Field PGInt4 Source #

pgInt8 :: Int64 -> Field PGInt8 Source #

pgNumeric :: Scientific -> Field PGNumeric Source #

pgString :: String -> Field PGText Source #

pgCiLazyText :: CI Text -> Field PGCitext Source #

type PGText = SqlText Source #

pgLazyByteString :: ByteString -> Field PGBytea Source #

type PGBytea = SqlBytea Source #

pgStrictByteString :: ByteString -> Field PGBytea Source #

pgStrictText :: Text -> Field PGText Source #

pgLazyText :: Text -> Field PGText Source #

type PGNumeric = SqlNumeric Source #

type PGInt4 = SqlInt4 Source #

type PGInt8 = SqlInt8 Source #

type PGFloat8 = SqlFloat8 Source #

type PGBool = SqlBool Source #

pgUUID :: UUID -> Field PGUuid Source #

type PGUuid = SqlUuid Source #

pgDay :: Day -> Field PGDate Source #

type PGDate = SqlDate Source #

pgUTCTime :: UTCTime -> Field PGTimestamptz Source #

type PGTimestamptz = SqlTimestamptz Source #

pgLocalTime :: LocalTime -> Field PGTimestamp Source #

type PGTimestamp = SqlTimestamp Source #

pgZonedTime :: ZonedTime -> Field PGTimestamptz Source #

pgTimeOfDay :: TimeOfDay -> Field PGTime Source #

type PGTime = SqlTime Source #

type PGInterval = SqlInterval Source #

pgCiStrictText :: CI Text -> Field PGCitext Source #

type PGCitext = SqlCitext Source #

pgJSON :: String -> Field PGJson Source #

type PGJson = SqlJson Source #

pgStrictJSON :: ByteString -> Field PGJson Source #

pgLazyJSON :: ByteString -> Field PGJson Source #

pgValueJSON :: ToJSON a => a -> Field PGJson Source #

pgJSONB :: String -> Field PGJsonb Source #

type PGJsonb = SqlJsonb Source #

pgStrictJSONB :: ByteString -> Field PGJsonb Source #

pgLazyJSONB :: ByteString -> Field PGJsonb Source #

pgValueJSONB :: ToJSON a => a -> Field PGJsonb Source #

pgArray :: forall a b (n :: Nullability). IsSqlType b => (a -> Field_ n b) -> [a] -> Field (SqlArray_ n b) Source #

pgRange :: forall a b (n :: Nullability) (n' :: Nullability). IsRangeType b => (a -> Field_ n b) -> RangeBound a -> RangeBound a -> Field_ n' (SqlRange b) Source #

type PGFloat4 = SqlFloat4 Source #

type PGInt2 = SqlInt2 Source #

class IsSqlType sqlType where Source #

Methods

showSqlType :: proxy sqlType -> String Source #

Instances

Instances details

IsSqlType SqlBool Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlBool -> String Source #
IsSqlType SqlBytea Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlBytea -> String Source #
IsSqlType SqlCitext Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlCitext -> String Source #
IsSqlType SqlDate Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlDate -> String Source #
IsSqlType SqlFloat4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlFloat4 -> String Source #
IsSqlType SqlFloat8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlFloat8 -> String Source #
IsSqlType SqlInt2 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt2 -> String Source #
IsSqlType SqlInt4 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt4 -> String Source #
IsSqlType SqlInt8 Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInt8 -> String Source #
IsSqlType SqlInterval Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlInterval -> String Source #
IsSqlType SqlJson Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlJson -> String Source #
IsSqlType SqlJsonb Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlJsonb -> String Source #
IsSqlType SqlNumeric Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlNumeric -> String Source #
IsSqlType SqlText Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlText -> String Source #
IsSqlType SqlTime Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTime -> String Source #
IsSqlType SqlTimestamp Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTimestamp -> String Source #
IsSqlType SqlTimestamptz Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlTimestamptz -> String Source #
IsSqlType SqlUuid Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlUuid -> String Source #
IsSqlType SqlVarcharN Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy SqlVarcharN -> String Source #
IsRangeType a => IsSqlType (SqlRange a) Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy (SqlRange a) -> String Source #
IsSqlType a => IsSqlType (SqlArray_ n a) Source #
Instance details Defined in Opaleye.Internal.PGTypesExternal Methods showSqlType :: proxy (SqlArray_ n a) -> String Source #