Opaleye.SqlTypes

SQL types and functions to create Field_s of those types. To create fields you may find it more convenient to use Opaleye.ToFields instead.

Numeric

Creating values

sqlInt4 :: Int -> Field SqlInt4

sqlDouble :: Double -> Field SqlFloat8

sqlInt8 :: Int64 -> Field SqlInt8

sqlNumeric :: Scientific -> Field SqlNumeric

Types

data SqlInt4

Instances

SqlIntegral SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

SqlNum SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt4

sqlFromInteger :: Integer -> Field SqlInt4

IsSqlType SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt4 -> String

IsRangeType SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlInt4 -> String

SqlJsonIndex SqlInt4

Defined in Opaleye.Operators

SqlOrd SqlInt4

Defined in Opaleye.Order

DefaultFromField SqlInt4 Int32

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt4 Int32

DefaultFromField SqlInt4 Int

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt4 Int

Default ToFields Int32 (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int32 (Field SqlInt4)

Default ToFields Int (Field SqlInt4)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int (Field SqlInt4)

Default ToFields (PGRange Int) (Field (SqlRange SqlInt4))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int) (Field (SqlRange SqlInt4))

int ~ Int => Default (Inferrable FromField) SqlInt4 int

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt4 int

data SqlFloat8

Instances

SqlFractional SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromRational :: Rational -> Field SqlFloat8

sqlFromRational :: Rational -> Field SqlFloat8

SqlNum SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlFloat8

sqlFromInteger :: Integer -> Field SqlFloat8

IsSqlType SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat8 -> String

SqlOrd SqlFloat8

Defined in Opaleye.Order

DefaultFromField SqlFloat8 Double

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlFloat8 Double

Default ToFields Double (Field SqlFloat8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Double (Field SqlFloat8)

double ~ Double => Default (Inferrable FromField) SqlFloat8 double

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlFloat8 double

data SqlNumeric

Instances

SqlIntegral SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

SqlNum SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlNumeric

sqlFromInteger :: Integer -> Field SqlNumeric

IsSqlType SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlNumeric -> String

IsRangeType SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlNumeric -> String

SqlOrd SqlNumeric

Defined in Opaleye.Order

DefaultFromField SqlNumeric Scientific

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlNumeric Scientific

Default ToFields Scientific (Field SqlNumeric)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Scientific (Field SqlNumeric)

Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))

scientific ~ Scientific => Default (Inferrable FromField) SqlNumeric scientific

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlNumeric scientific

data SqlInt8

Instances

SqlIntegral SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

SqlNum SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt8

sqlFromInteger :: Integer -> Field SqlInt8

IsSqlType SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt8 -> String

IsRangeType SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlInt8 -> String

SqlJsonIndex SqlInt8

Defined in Opaleye.Operators

SqlOrd SqlInt8

Defined in Opaleye.Order

DefaultFromField SqlInt8 Int64

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInt8 Int64

Default ToFields Int64 (Field SqlInt8)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Int64 (Field SqlInt8)

Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int64) (Field (SqlRange SqlInt8))

int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt8 int64

data SqlInt2

Instances

SqlIntegral SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

IsSqlType SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt2 -> String

SqlOrd SqlInt2

Defined in Opaleye.Order

data SqlFloat4

Instances

IsSqlType SqlFloat4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat4 -> String

SqlOrd SqlFloat4

Defined in Opaleye.Order

Type classes

class SqlNum a

Minimal complete definition

sqlFromInteger

Instances

SqlNum SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlFloat8

sqlFromInteger :: Integer -> Field SqlFloat8

SqlNum SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt4

sqlFromInteger :: Integer -> Field SqlInt4

SqlNum SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlInt8

sqlFromInteger :: Integer -> Field SqlInt8

SqlNum SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromInteger :: Integer -> Field SqlNumeric

sqlFromInteger :: Integer -> Field SqlNumeric

class SqlIntegral a

A dummy typeclass whose instances support integral operations.

Instances

SqlIntegral SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

SqlIntegral SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

class SqlFractional a

Minimal complete definition

sqlFromRational

Instances

SqlFractional SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromRational :: Rational -> Field SqlFloat8

sqlFromRational :: Rational -> Field SqlFloat8

Date and time

Creating values

sqlDay :: Day -> Field SqlDate

sqlUTCTime :: UTCTime -> Field SqlTimestamptz

sqlLocalTime :: LocalTime -> Field SqlTimestamp

sqlZonedTime :: ZonedTime -> Field SqlTimestamptz

sqlTimeOfDay :: TimeOfDay -> Field SqlTime

sqlInterval :: CalendarDiffTime -> Field PGInterval

Types

data SqlDate

Instances

IsSqlType SqlDate

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlDate -> String

IsRangeType SqlDate

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlDate -> String

SqlOrd SqlDate

Defined in Opaleye.Order

DefaultFromField SqlDate Day

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlDate Day

IntervalNum SqlDate SqlTimestamp

Defined in Opaleye.Operators

Default ToFields Day (Field SqlDate)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Day (Field SqlDate)

Default ToFields (PGRange Day) (Field (SqlRange SqlDate))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Day) (Field (SqlRange SqlDate))

day ~ Day => Default (Inferrable FromField) SqlDate day

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlDate day

data SqlTime

Instances

IsSqlType SqlTime

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTime -> String

SqlOrd SqlTime

Defined in Opaleye.Order

DefaultFromField SqlTime TimeOfDay

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTime TimeOfDay

IntervalNum SqlTime SqlTime

Defined in Opaleye.Operators

Default ToFields TimeOfDay (Field SqlTime)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields TimeOfDay (Field SqlTime)

timeofday ~ TimeOfDay => Default (Inferrable FromField) SqlTime timeofday

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTime timeofday

data SqlTimestamp

Instances

IsSqlType SqlTimestamp

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTimestamp -> String

IsRangeType SqlTimestamp

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlTimestamp -> String

SqlOrd SqlTimestamp

Defined in Opaleye.Order

DefaultFromField SqlTimestamp LocalTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamp LocalTime

IntervalNum SqlDate SqlTimestamp

Defined in Opaleye.Operators

IntervalNum SqlTimestamp SqlTimestamp

Defined in Opaleye.Operators

Default ToFields LocalTime (Field SqlTimestamp)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields LocalTime (Field SqlTimestamp)

Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))

localtime ~ LocalTime => Default (Inferrable FromField) SqlTimestamp localtime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlTimestamp localtime

data SqlTimestamptz

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

IsSqlType SqlTimestamptz

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTimestamptz -> String

IsRangeType SqlTimestamptz

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlTimestamptz -> String

SqlOrd SqlTimestamptz

Defined in Opaleye.Order

DefaultFromField SqlTimestamptz UTCTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamptz UTCTime

DefaultFromField SqlTimestamptz ZonedTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlTimestamptz ZonedTime

IntervalNum SqlTimestamptz SqlTimestamptz

Defined in Opaleye.Operators

Default ToFields UTCTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UTCTime (Field SqlTimestamptz)

Default ToFields ZonedTime (Field SqlTimestamptz)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ZonedTime (Field SqlTimestamptz)

Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))

data SqlInterval

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

IsSqlType SqlInterval

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInterval -> String

DefaultFromField SqlInterval CalendarDiffTime

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlInterval CalendarDiffTime

IntervalNum SqlInterval SqlInterval

Defined in Opaleye.Operators

Default ToFields CalendarDiffTime (Field SqlInterval)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields CalendarDiffTime (Field SqlInterval)

calendardifftime ~ CalendarDiffTime => Default (Inferrable FromField) SqlInterval calendardifftime

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInterval calendardifftime

JSON

Creating values

sqlJSON :: String -> Field SqlJson

sqlStrictJSON :: ByteString -> Field SqlJson

sqlLazyJSON :: ByteString -> Field SqlJson

sqlValueJSON :: ToJSON a => a -> Field SqlJson

Types

data SqlJson

Instances

IsSqlType SqlJson

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJson -> String

SqlIsJson SqlJson

Defined in Opaleye.Operators

DefaultFromField SqlJson Value

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Value

DefaultFromField SqlJson ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson ByteString

DefaultFromField SqlJson ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson ByteString

DefaultFromField SqlJson Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Text

DefaultFromField SqlJson Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson Text

DefaultFromField SqlJson String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson String

Default ToFields Value (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJson)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

Default ToFields ByteString (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJson)

(FromJSON a, Typeable a) => DefaultFromField SqlJson (Aeson a)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJson (Aeson a)

ToJSON a => Default ToFields (Aeson a) (Field SqlJson)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJson)

JSONB

Creating values

sqlJSONB :: String -> Field SqlJsonb

sqlStrictJSONB :: ByteString -> Field SqlJsonb

sqlLazyJSONB :: ByteString -> Field SqlJsonb

sqlValueJSONB :: ToJSON a => a -> Field SqlJsonb

Types

data SqlJsonb

Instances

IsSqlType SqlJsonb

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJsonb -> String

SqlIsJson SqlJsonb

Defined in Opaleye.Operators

DefaultFromField SqlJsonb Value

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Value

DefaultFromField SqlJsonb ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb ByteString

DefaultFromField SqlJsonb ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb ByteString

DefaultFromField SqlJsonb Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Text

DefaultFromField SqlJsonb Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb Text

DefaultFromField SqlJsonb String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb String

Default ToFields Value (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Value (Field SqlJsonb)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

Default ToFields ByteString (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlJsonb)

(FromJSON a, Typeable a) => DefaultFromField SqlJsonb (Aeson a)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlJsonb (Aeson a)

ToJSON a => Default ToFields (Aeson a) (Field SqlJsonb)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (Aeson a) (Field SqlJsonb)

Text

Creating values

sqlString :: String -> Field SqlText

sqlStrictText :: Text -> Field SqlText

sqlLazyText :: Text -> Field SqlText

sqlStringVarcharN :: String -> Field SqlVarcharN

sqlStrictTextVarcharN :: Text -> Field SqlVarcharN

sqlLazyTextVarcharN :: Text -> Field SqlVarcharN

sqlCiStrictText :: CI Text -> Field SqlCitext

sqlCiLazyText :: CI Text -> Field SqlCitext

Types

data SqlText

Instances

SqlString SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlText

sqlFromString :: String -> Field SqlText

IsSqlType SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlText -> String

SqlJsonIndex SqlText

Defined in Opaleye.Operators

SqlOrd SqlText

Defined in Opaleye.Order

DefaultFromField SqlText Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText Text

DefaultFromField SqlText Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText Text

DefaultFromField SqlText String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlText String

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields Text (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlText)

Default ToFields String (Field SqlText)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlText)

text ~ Text => Default (Inferrable FromField) SqlText text

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlText text

data SqlVarcharN

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

Instances

SqlString SqlVarcharN

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlVarcharN

sqlFromString :: String -> Field SqlVarcharN

IsSqlType SqlVarcharN

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlVarcharN -> String

SqlOrd SqlVarcharN

Defined in Opaleye.Order

DefaultFromField SqlVarcharN Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN Text

DefaultFromField SqlVarcharN Text

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN Text

DefaultFromField SqlVarcharN String

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlVarcharN String

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields Text (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Text (Field SqlVarcharN)

Default ToFields String (Field SqlVarcharN)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields String (Field SqlVarcharN)

varchar ~ Text => Default (Inferrable FromField) SqlVarcharN varchar

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlVarcharN varchar

data SqlCitext

Instances

SqlString SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlCitext

sqlFromString :: String -> Field SqlCitext

IsSqlType SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlCitext -> String

SqlOrd SqlCitext

Defined in Opaleye.Order

DefaultFromField SqlCitext (CI Text)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlCitext (CI Text)

DefaultFromField SqlCitext (CI Text)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlCitext (CI Text)

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (CI Text) (Field SqlCitext)

Default ToFields (CI Text) (Field SqlCitext)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (CI Text) (Field SqlCitext)

cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlCitext cttext

Type classes

class SqlString a

Minimal complete definition

sqlFromString

Instances

SqlString SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlCitext

sqlFromString :: String -> Field SqlCitext

SqlString SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlText

sqlFromString :: String -> Field SqlText

SqlString SqlVarcharN

Defined in Opaleye.Internal.PGTypesExternal

Methods

pgFromString :: String -> Field SqlVarcharN

sqlFromString :: String -> Field SqlVarcharN

Array

Creating values

sqlArray :: IsSqlType b => (a -> Field_ n b) -> [a] -> Field (SqlArray_ n b)

Types

type SqlArray = SqlArray_ NonNullable

data SqlArray_ (n :: Nullability) a

Instances

(Default ToFields a (Field_ n b), IsSqlType b) => Default ToFields [a] (Field (SqlArray_ n b))

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

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

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField (SqlArray_ 'Nullable f) hs

IsSqlType a => IsSqlType (SqlArray_ n a)

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlArray_ n a) -> String

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'NonNullable a) [b]

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlArray_ 'NonNullable a) [b]

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray_ 'Nullable a) [Maybe b]

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlArray_ 'Nullable a) [Maybe b]

Range

Creating values

sqlRange :: IsRangeType b => (a -> Field b) -> RangeBound a -> RangeBound a -> Field (SqlRange b)

Types

data SqlRange a

Instances

Default ToFields (PGRange Int64) (Field (SqlRange SqlInt8))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int64) (Field (SqlRange SqlInt8))

Default ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Scientific) (Field (SqlRange SqlNumeric))

Default ToFields (PGRange Day) (Field (SqlRange SqlDate))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Day) (Field (SqlRange SqlDate))

Default ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange UTCTime) (Field (SqlRange SqlTimestamptz))

Default ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange LocalTime) (Field (SqlRange SqlTimestamp))

Default ToFields (PGRange Int) (Field (SqlRange SqlInt4))

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields (PGRange Int) (Field (SqlRange SqlInt4))

IsRangeType a => IsSqlType (SqlRange a)

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlRange a) -> String

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlRange a) (PGRange b)

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField (SqlRange a) (PGRange b)

class IsSqlType pgType => IsRangeType pgType

Minimal complete definition

showRangeType

Instances

IsRangeType SqlDate

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlDate -> String

IsRangeType SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlInt4 -> String

IsRangeType SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlInt8 -> String

IsRangeType SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlNumeric -> String

IsRangeType SqlTimestamp

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlTimestamp -> String

IsRangeType SqlTimestamptz

Defined in Opaleye.Internal.PGTypesExternal

Methods

showRangeType :: proxy SqlTimestamptz -> String

Other

Creating values

sqlBool :: Bool -> Field SqlBool

sqlUUID :: UUID -> Field SqlUuid

sqlLazyByteString :: ByteString -> Field SqlBytea

sqlStrictByteString :: ByteString -> Field SqlBytea

Types

data SqlBool

Instances

IsSqlType SqlBool

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlBool -> String

SqlOrd SqlBool

Defined in Opaleye.Order

DefaultFromField SqlBool Bool

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBool Bool

Default ToFields Bool (Field SqlBool)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields Bool (Field SqlBool)

bool ~ Bool => Default (Inferrable FromField) SqlBool bool

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBool bool

data SqlUuid

Instances

IsSqlType SqlUuid

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlUuid -> String

SqlOrd SqlUuid

Defined in Opaleye.Order

DefaultFromField SqlUuid UUID

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlUuid UUID

Default ToFields UUID (Field SqlUuid)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields UUID (Field SqlUuid)

uuid ~ UUID => Default (Inferrable FromField) SqlUuid uuid

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlUuid uuid

data SqlBytea

Instances

IsSqlType SqlBytea

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlBytea -> String

DefaultFromField SqlBytea ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBytea ByteString

DefaultFromField SqlBytea ByteString

Defined in Opaleye.Internal.RunQuery

Methods

defaultFromField :: FromField SqlBytea ByteString

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

Default ToFields ByteString (Field SqlBytea)

Defined in Opaleye.Internal.Constant

Methods

def :: ToFields ByteString (Field SqlBytea)

bytestring ~ ByteString => Default (Inferrable FromField) SqlBytea bytestring

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlBytea bytestring

IsSqlType

class IsSqlType sqlType where

Methods

showSqlType :: proxy sqlType -> String

Instances

IsSqlType SqlBool

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlBool -> String

IsSqlType SqlBytea

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlBytea -> String

IsSqlType SqlCitext

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlCitext -> String

IsSqlType SqlDate

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlDate -> String

IsSqlType SqlFloat4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat4 -> String

IsSqlType SqlFloat8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat8 -> String

IsSqlType SqlInt2

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt2 -> String

IsSqlType SqlInt4

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt4 -> String

IsSqlType SqlInt8

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInt8 -> String

IsSqlType SqlInterval

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlInterval -> String

IsSqlType SqlJson

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJson -> String

IsSqlType SqlJsonb

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJsonb -> String

IsSqlType SqlNumeric

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlNumeric -> String

IsSqlType SqlText

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlText -> String

IsSqlType SqlTime

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTime -> String

IsSqlType SqlTimestamp

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTimestamp -> String

IsSqlType SqlTimestamptz

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTimestamptz -> String

IsSqlType SqlUuid

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlUuid -> String

IsSqlType SqlVarcharN

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlVarcharN -> String

IsRangeType a => IsSqlType (SqlRange a)

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlRange a) -> String

IsSqlType a => IsSqlType (SqlArray_ n a)

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlArray_ n a) -> String

sqlTypeWithSchema :: String -> String -> String

Render the name of a type with a schema

> putStrLn (sqlTypeWithSchema "my_schema" "my_type")
"my_schema"."my_type"

instance IsSqlType SqlMyTypeWithSchema where
  showSqlType = \_ -> sqlTypeWithSchema "my_schema" "my_type"