Database.Groundhog.Expression

This module provides mechanism for flexible and typesafe usage of plain data values and fields. The expressions can used in conditions and right part of Update statement. Example:

StringField ==. "abc" &&. NumberField >. (0 :: Int) ||. MaybeField ==. (Nothing :: Maybe String) ||. MaybeField ==. Just "def"

Note that polymorphic values like numbers or Nothing must have a type annotation. Comparison operators specific for SQL such as IN and LIKE are defined in Database.Groundhog.Generic.Sql.Functions.

Documentation

class Expression db r a where

Instances of this type can be converted to UntypedExpr. It is useful for uniform manipulation over fields, constant values, etc.

Minimal complete definition

toExpr

Methods

toExpr :: a -> UntypedExpr db r

Instances

PurePersistField a => Expression db r a

Defined in Database.Groundhog.Expression

Methods

toExpr :: a -> UntypedExpr db r

(PersistEntity v, DbDescriptor db, IsUniqueKey k, k ~ Key v (Unique u), RestrictionHolder v c ~ r') => Expression db r' (u (UniqueMarker v))

Defined in Database.Groundhog.Expression

Methods

toExpr :: u (UniqueMarker v) -> UntypedExpr db r'

(db' ~ db, r' ~ r) => Expression db' r' (Cond db r)

Defined in Database.Groundhog.Expression

Methods

toExpr :: Cond db r -> UntypedExpr db' r'

(EntityConstr v c, DbDescriptor db, RestrictionHolder v c ~ r') => Expression db r' (AutoKeyField v c)

Defined in Database.Groundhog.Expression

Methods

toExpr :: AutoKeyField v c -> UntypedExpr db r'

(PersistField a, db' ~ db, r' ~ r) => Expression db' r' (Expr db r a)

Defined in Database.Groundhog.Expression

Methods

toExpr :: Expr db r a -> UntypedExpr db' r'

(EntityConstr v c, DbDescriptor db, PersistField a, RestrictionHolder v c ~ r') => Expression db r' (Field v c a)

Defined in Database.Groundhog.Expression

Methods

toExpr :: Field v c a -> UntypedExpr db r'

(EntityConstr v c, DbDescriptor db, PersistField a, db' ~ db, RestrictionHolder v c ~ r') => Expression db' r' (SubField db v c a)

Defined in Database.Groundhog.Expression

Methods

toExpr :: SubField db v c a -> UntypedExpr db' r'

class Unifiable a b

Instances

(Normalize bk a (ak, r), Normalize ak b (bk, r)) => Unifiable a b

Defined in Database.Groundhog.Expression

Unifiable a a

Defined in Database.Groundhog.Expression

class (Expression db r a, PersistField a') => ExpressionOf db r a a' | a -> a'

This helper class can make type signatures more concise

Instances

(Expression db r a, Normalize HTrue a (flag, a'), PersistField a') => ExpressionOf db r a a'

Defined in Database.Groundhog.Expression

(=.) :: (Assignable f a', ProjectionDb f db, ProjectionRestriction f r, Expression db r b, Unifiable f b) => f -> b -> Update db r infixr 3

Update field

(&&.) :: Cond db r -> Cond db r -> Cond db r infixr 3

Boolean "and" operator.

(||.) :: Cond db r -> Cond db r -> Cond db r infixr 2

Boolean "or" operator.

(==.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

(/=.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

(<.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

(<=.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

(>.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

(>=.) :: (Expression db r a, Expression db r b, Unifiable a b) => a -> b -> Cond db r infix 4

isFieldNothing :: (Expression db r f, Projection f (Maybe a), PrimitivePersistField (Maybe a), Unifiable f (Maybe a)) => f -> Cond db r

This function more limited than (==.), but has better type inference. If you want to compare your value to Nothing with (==.) operator, you have to write the types explicitly myExpr ==. (Nothing :: Maybe Int). TODO: restrict db r

liftExpr :: ExpressionOf db r a a' => a -> Expr db r a'

Converts value to Expr. It can help to pass values of different types into functions which expect arguments of the same type, like (+).

toArith :: ExpressionOf db r a a' => a -> Expr db r a'

Deprecated: Please use liftExpr instead

It is kept for compatibility with older Groundhog versions and can be replaced with "liftExpr".