Opaleye.Operators

Operators on Columns. Please note that numeric Column types are instances of Num, so you can use *, /, +, - on them.

Restriction operators

restrict :: QueryArr (Column PGBool) ()

Restrict query results to a particular condition. Corresponds to the guard method of the MonadPlus class. You would typically use restrict if you want to use Arrow notation.

keepWhen :: (a -> Column PGBool) -> QueryArr a a

Filter a QueryArr to only those rows where the given condition holds. This is the QueryArr equivalent of filter from the Prelude. You would typically use keepWhen if you want to use a "point free" style.

Equality operators

(.==) :: Column a -> Column a -> Column PGBool infix 4

(./=) :: Column a -> Column a -> Column PGBool infix 4

(.===) :: Default EqPP columns columns => columns -> columns -> Column PGBool infix 4

A polymorphic equality operator that works for all types that you have run makeAdaptorAndInstance on. This may be unified with .== in a future version.

(./==) :: Default EqPP columns columns => columns -> columns -> Column PGBool infix 4

A polymorphic inequality operator that works for all types that you have run makeAdaptorAndInstance on. This may be unified with ./= in a future version.

Comparison operators

(.>) :: PGOrd a => Column a -> Column a -> Column PGBool infix 4

(.<) :: PGOrd a => Column a -> Column a -> Column PGBool infix 4

(.<=) :: PGOrd a => Column a -> Column a -> Column PGBool infix 4

(.>=) :: PGOrd a => Column a -> Column a -> Column PGBool infix 4

Numerical operators

quot_ :: PGIntegral a => Column a -> Column a -> Column a

rem_ :: PGIntegral a => Column a -> Column a -> Column a

Conditional operators

case_ :: [(Column PGBool, Column a)] -> Column a -> Column a

ifThenElse :: Column PGBool -> Column a -> Column a -> Column a

Monomorphic if/then/else.

This may be replaced by ifThenElseMany in a future version.

ifThenElseMany :: Default IfPP columns columns => Column PGBool -> columns -> columns -> columns

Polymorphic if/then/else.

Logical operators

(.||) :: Column PGBool -> Column PGBool -> Column PGBool infixr 2

Boolean or

(.&&) :: Column PGBool -> Column PGBool -> Column PGBool infixr 3

Boolean and

not :: Column PGBool -> Column PGBool

Boolean not

ors :: Foldable f => f (Column PGBool) -> Column PGBool

True when any element of the container is true

Text operators

(.++) :: Column PGText -> Column PGText -> Column PGText

Concatenate Column PGText

lower :: Column PGText -> Column PGText

To lowercase

upper :: Column PGText -> Column PGText

To uppercase

like :: Column PGText -> Column PGText -> Column PGBool

Postgres LIKE operator

ilike :: Column PGText -> Column PGText -> Column PGBool

Postgres ILIKE operator

charLength :: PGString a => Column a -> Column Int

Containment operators

in_ :: (Functor f, Foldable f) => f (Column a) -> Column a -> Column PGBool

in_ is designed to be used in prefix form.

in_ validProducts product checks whether product is a valid product. in_ validProducts is a function which checks whether a product is a valid product.

inQuery :: Default EqPP columns columns => columns -> QueryArr () columns -> Query (Column PGBool)

True if the first argument occurs amongst the rows of the second, false otherwise.

This operation is equivalent to Postgres's IN operator but, for expediency, is currently implemented using a LEFT JOIN. Please file a bug if this causes any issues in practice.

JSON operators

class PGIsJson a

Class of Postgres types that represent json values.

Used to overload functions and operators that work on both PGJson and PGJsonb.

Warning: making additional instances of this class can lead to broken code!

Instances

PGIsJson PGJsonb

PGIsJson PGJson

class PGJsonIndex a

Class of Postgres types that can be used to index json values.

Warning: making additional instances of this class can lead to broken code!

Instances

PGJsonIndex PGText

PGJsonIndex PGInt4

PGJsonIndex PGInt8

(.->) infixl 8

Arguments

:: (PGIsJson a, PGJsonIndex k)

=> Column (Nullable a)

-> Column k

key or index

-> Column (Nullable a)

Get JSON object field by key.

(.->>) infixl 8

Arguments

:: (PGIsJson a, PGJsonIndex k)

=> Column (Nullable a)

-> Column k

key or index

-> Column (Nullable PGText)

Get JSON object field as text.

(.#>) infixl 8

Arguments

:: PGIsJson a

=> Column (Nullable a)

-> Column (PGArray PGText)

path

-> Column (Nullable a)

Get JSON object at specified path.

(.#>>) infixl 8

Arguments

:: PGIsJson a

=> Column (Nullable a)

-> Column (PGArray PGText)

path

-> Column (Nullable PGText)

Get JSON object at specified path as text.

(.@>) :: Column PGJsonb -> Column PGJsonb -> Column PGBool infix 4

Does the left JSON value contain within it the right value?

(.<@) :: Column PGJsonb -> Column PGJsonb -> Column PGBool infix 4

Is the left JSON value contained within the right value?

(.?) :: Column PGJsonb -> Column PGText -> Column PGBool infix 4

Does the key/element string exist within the JSON value?

(.?|) :: Column PGJsonb -> Column (PGArray PGText) -> Column PGBool infix 4

Do any of these key/element strings exist?

(.?&) :: Column PGJsonb -> Column (PGArray PGText) -> Column PGBool infix 4

Do all of these key/element strings exist?

Other operators

timestamptzAtTimeZone :: Column PGTimestamptz -> Column PGText -> Column PGTimestamp

emptyArray :: IsSqlType a => Column (PGArray a)

arrayPrepend :: Column a -> Column (PGArray a) -> Column (PGArray a)

singletonArray :: IsSqlType a => Column a -> Column (PGArray a)

doubleOfInt :: Column PGInt4 -> Column PGFloat8

Cast a PGInt4 to a PGFloat8

overlap :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool

(.<<) :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool infix 4

(.>>) :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool infix 4

(.&<) :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool infix 4

(.&>) :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool infix 4

(.-|-) :: Column (PGRange a) -> Column (PGRange a) -> Column PGBool infix 4