Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data a :& b
- (=.) :: (PersistEntity val, PersistField typ) => EntityField val typ -> SqlExpr (Value typ) -> SqlExpr (Entity val) -> SqlExpr Update
- (||.) :: SqlExpr (Value Bool) -> SqlExpr (Value Bool) -> SqlExpr (Value Bool)
- (&&.) :: SqlExpr (Value Bool) -> SqlExpr (Value Bool) -> SqlExpr (Value Bool)
- (!=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (<.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (<=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (>.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (>=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (==.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool)
- (?.) :: (PersistEntity val, PersistField typ) => SqlExpr (Maybe (Entity val)) -> EntityField val typ -> SqlExpr (Value (Maybe typ))
- (^.) :: forall typ val. (PersistEntity val, PersistField typ) => SqlExpr (Entity val) -> EntityField val typ -> SqlExpr (Value typ)
Esqueleto re-exports
These are our re-exports from Esqueleto. They include: (=.), (==.), (!=.), (^.), (?.), (&&.), (||.), ((.), (>=.), (<=.), and (:&)
A left-precedence pair. Pronounced "and". Used to represent expressions that have been joined together.
The precedence behavior can be demonstrated by:
a :& b :& c == ((a :& b) :& c)
See the examples at the beginning of this module to see how this
operator is used in JOIN
operations.
Instances
(ToFrom a a', ToFrom b b', HasOnClause rhs (a' :& b'), rhs ~ (b, (a' :& b') -> SqlExpr (Value Bool))) => DoInnerJoin NotLateral a rhs (a' :& b') | |
Defined in Database.Esqueleto.Experimental.From.Join doInnerJoin :: Proxy NotLateral -> a -> rhs -> From (a' :& b') # | |
(ToFrom a a', ToFrom b b', ToMaybe b', ToMaybeT b' ~ mb, HasOnClause rhs (a' :& mb), rhs ~ (b, (a' :& mb) -> SqlExpr (Value Bool))) => DoLeftJoin NotLateral a rhs (a' :& mb) | |
Defined in Database.Esqueleto.Experimental.From.Join doLeftJoin :: Proxy NotLateral -> a -> rhs -> From (a' :& mb) # | |
(ToFrom a a', ToFrom b b') => DoCrossJoin NotLateral a b (a' :& b') | |
Defined in Database.Esqueleto.Experimental.From.Join doCrossJoin :: Proxy NotLateral -> a -> b -> From (a' :& b') # | |
(ToFrom a a', SqlSelect b r, ToAlias b, ToAliasReference b) => DoCrossJoin Lateral a (a' -> SqlQuery b) (a' :& b) | |
Defined in Database.Esqueleto.Experimental.From.Join | |
(ToAlias a, ToAlias b) => ToAlias (a :& b) | Identical to the tuple instance and provided for convenience. Since: esqueleto-3.5.3.0 |
(ToAliasReference a, ToAliasReference b) => ToAliasReference (a :& b) | Identical to the tuple instance and provided for convenience. Since: esqueleto-3.5.3.0 |
Defined in Database.Esqueleto.Experimental.From.Join | |
(ToMaybe a, ToMaybe b) => ToMaybe (a :& b) | |
(SqlSelect a ra, SqlSelect b rb) => SqlSelect (a :& b) (ra :& rb) | You may return joined values from a Since: esqueleto-3.5.2.0 |
Defined in Database.Esqueleto.Experimental.From.Join sqlSelectCols :: IdentInfo -> (a :& b) -> (Builder, [PersistValue]) # sqlSelectColCount :: Proxy (a :& b) -> Int # sqlSelectProcessRow :: [PersistValue] -> Either Text (ra :& rb) # sqlInsertInto :: IdentInfo -> (a :& b) -> (Builder, [PersistValue]) # | |
type ToMaybeT (a :& b) | |
(=.) :: (PersistEntity val, PersistField typ) => EntityField val typ -> SqlExpr (Value typ) -> SqlExpr (Entity val) -> SqlExpr Update infixr 3 #
(!=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(<.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(<=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(>.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(>=.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(==.) :: PersistField typ => SqlExpr (Value typ) -> SqlExpr (Value typ) -> SqlExpr (Value Bool) infix 4 #
(?.) :: (PersistEntity val, PersistField typ) => SqlExpr (Maybe (Entity val)) -> EntityField val typ -> SqlExpr (Value (Maybe typ)) #
Project a field of an entity that may be null.
(^.) :: forall typ val. (PersistEntity val, PersistField typ) => SqlExpr (Entity val) -> EntityField val typ -> SqlExpr (Value typ) infixl 9 #
Project a field of an entity.