opaleye-0.7.3.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellNone
LanguageHaskell2010

Opaleye.SqlTypes

Description

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.

Synopsis

Numeric

Creating values

Types

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

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 #

SqlOrd SqlInt4 Source # 
Instance details

Defined in Opaleye.Order

SqlJsonIndex SqlInt4 Source # 
Instance details

Defined in Opaleye.Operators

DefaultFromField SqlInt4 Int Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlInt4 Int32 Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields Int (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields Int32 (Column SqlInt4) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Int) (Column (SqlRange SqlInt4)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

int ~ Int => Default (Inferrable FromField) SqlInt4 int Source # 
Instance details

Defined in Opaleye.Internal.Inferrable

type Map Nulled (Column PGInt4) Source # 
Instance details

Defined in Opaleye.Internal.Join

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

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

SqlOrd SqlNumeric Source # 
Instance details

Defined in Opaleye.Order

DefaultFromField SqlNumeric Scientific Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields Scientific (Column SqlNumeric) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

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

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 #

SqlOrd SqlInt8 Source # 
Instance details

Defined in Opaleye.Order

SqlJsonIndex SqlInt8 Source # 
Instance details

Defined in Opaleye.Operators

DefaultFromField SqlInt8 Int64 Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields Int64 (Column SqlInt8) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

int64 ~ Int64 => Default (Inferrable FromField) SqlInt8 int64 Source # 
Instance details

Defined in Opaleye.Internal.Inferrable

Methods

def :: Inferrable FromField SqlInt8 int64 #

type Map Nulled (Column PGInt8) Source # 
Instance details

Defined in Opaleye.Internal.Join

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

Date and time

Creating values

Types

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

IsRangeType SqlTimestamptz Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

SqlOrd SqlTimestamptz Source # 
Instance details

Defined in Opaleye.Order

DefaultFromField SqlTimestamptz UTCTime Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlTimestamptz ZonedTime Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields UTCTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields ZonedTime (Column SqlTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

type Map Nulled (Column PGTimestamptz) Source # 
Instance details

Defined in Opaleye.Internal.Join

JSON

Creating values

Types

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 ByteString Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJson ByteString Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJson String Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJson Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJson Value Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJson Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields ByteString (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields Value (Column SqlJson) Source # 
Instance details

Defined in Opaleye.Internal.Constant

type Map Nulled (Column PGJson) Source # 
Instance details

Defined in Opaleye.Internal.Join

JSONB

Creating values

Types

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 ByteString Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJsonb ByteString Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJsonb String Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJsonb Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJsonb Value Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlJsonb Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields ByteString (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields Value (Column SqlJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Constant

type Map Nulled (Column PGJsonb) Source # 
Instance details

Defined in Opaleye.Internal.Join

Text

Creating values

Types

data SqlText Source #

Instances

Instances details
SqlString SqlText Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

IsSqlType SqlText Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlText -> String Source #

SqlOrd SqlText Source # 
Instance details

Defined in Opaleye.Order

SqlJsonIndex SqlText Source # 
Instance details

Defined in Opaleye.Operators

DefaultFromField SqlText String Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlText Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlText Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields String (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields Text (Column SqlText) Source # 
Instance details

Defined in Opaleye.Internal.Constant

text ~ Text => Default (Inferrable FromField) SqlText text Source # 
Instance details

Defined in Opaleye.Internal.Inferrable

type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

type Map Nulled (Column PGText) Source # 
Instance details

Defined in Opaleye.Internal.Join

data SqlCitext Source #

Instances

Instances details
SqlString SqlCitext Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

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

DefaultFromField SqlCitext (CI Text) Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

Default ToFields (CI Text) (Column SqlCitext) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (CI Text) (Column SqlCitext) Source # 
Instance details

Defined in Opaleye.Internal.Constant

cttext ~ CI Text => Default (Inferrable FromField) SqlCitext cttext Source # 
Instance details

Defined in Opaleye.Internal.Inferrable

type Map Nulled (Column PGCitext) Source # 
Instance details

Defined in Opaleye.Internal.Join

Array

Creating values

sqlArray :: IsSqlType b => (a -> Field b) -> [a] -> Field (SqlArray b) Source #

Types

data SqlArray a Source #

Instances

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

Defined in Opaleye.Internal.Constant

Methods

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

IsSqlType a => IsSqlType (SqlArray a) Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlArray a) -> String Source #

(Typeable b, DefaultFromField a b) => DefaultFromField (SqlArray a) [b] Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

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

Range

Creating values

Types

data SqlRange a Source #

Instances

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

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Scientific) (Column (SqlRange SqlNumeric)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange UTCTime) (Column (SqlRange SqlTimestamptz)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange LocalTime) (Column (SqlRange SqlTimestamp)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

Default ToFields (PGRange Day) (Column (SqlRange SqlDate)) Source # 
Instance details

Defined in Opaleye.Internal.Constant

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 (PGRange a) (PGRange b) Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

class IsSqlType pgType => IsRangeType pgType Source #

Minimal complete definition

showRangeType

Other

Creating values

Types

IsSqlType

class IsSqlType sqlType Source #

Minimal complete definition

showSqlType

Instances

Instances details
IsSqlType SqlJsonb Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJsonb -> String Source #

IsSqlType SqlJson Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlJson -> 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 SqlUuid Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlUuid -> String Source #

IsSqlType SqlTimestamptz Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

IsSqlType SqlTimestamp Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

IsSqlType SqlTime Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlTime -> String Source #

IsSqlType SqlText Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlText -> String Source #

IsSqlType SqlNumeric Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlNumeric -> 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 SqlFloat8 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat8 -> String Source #

IsSqlType SqlFloat4 Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlFloat4 -> String Source #

IsSqlType SqlDate Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlDate -> String Source #

IsSqlType SqlBool Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy SqlBool -> String Source #

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

Defined in Opaleye.Internal.PGTypes

Methods

showSqlType :: proxy (Nullable a) -> 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 a) Source # 
Instance details

Defined in Opaleye.Internal.PGTypesExternal

Methods

showSqlType :: proxy (SqlArray a) -> String Source #

Entire module

sqlArray :: IsSqlType b => (a -> Field b) -> [a] -> Field (SqlArray b) Source #