Safe Haskell | None |
---|---|
Language | Haskell2010 |
Binary relational operations on Query
s, that is, operations
which take two Query
s as arguments and return a single Query
.
All the binary relational operations have the same type specializations. For example:
unionAll :: Query (Column a, Column b) -> Query (Column a, Column b) -> Query (Column a, Column b)
Assuming the makeAdaptorAndInstance
splice has been run for the product type Foo
:
unionAll :: Query (Foo (Column a) (Column b) (Column c)) -> Query (Foo (Column a) (Column b) (Column c)) -> Query (Foo (Column a) (Column b) (Column c))
Please note that by design there are no binary relational functions
of type QueryArr a b -> QueryArr a b -> QueryArr a b
. Such
functions would allow violation of SQL's scoping rules and lead to
invalid queries.
unionAll
is very close to being the <|>
operator of a
Control.Applicative.Alternative
instance but it fails to work
only because of the typeclass constraint it has.
- unionAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- union :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- intersectAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- intersect :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- exceptAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- except :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- unionAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- unionExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- intersectAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- intersectExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- exceptAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- exceptExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
Binary operations
unionAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
union :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
The same as unionAll, except that it additionally removes any duplicate rows.
intersectAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
intersect :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
The same as intersectAll, except that it additionally removes any duplicate rows.
exceptAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
except :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source #
The same as exceptAll, except that it additionally removes any duplicate rows.
Explicit versions
unionAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #
unionExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #
intersectAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #
intersectExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #
exceptAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #
exceptExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source #