opaleye-0.7.0.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.

Documentation

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

class IsSqlType sqlType Source #

Minimal complete definition

showSqlType

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

data SqlFloat4 Source #

Instances
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 SqlInt8 Source #

Instances
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 SqlInt4 Source #

Instances
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 SqlInt2 Source #

Instances
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 SqlText Source #

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

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlText Text Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

DefaultFromField SqlText String Source # 
Instance details

Defined in Opaleye.Internal.RunQuery

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

Default ToFields String (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 SqlTimestamptz Source #

Instances
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

data SqlCitext Source #

Instances
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

data SqlArray a Source #

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

data SqlRange a Source #

Instances
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, FromField b, DefaultFromField a b) => DefaultFromField (PGRange a) (PGRange b) Source # 
Instance details

Defined in Opaleye.Internal.RunQuery