| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Opaleye.Binary
- unionAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- unionAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- union :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- unionExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- intersectAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- intersectAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- intersect :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- intersectExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- exceptAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- exceptAllExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
- except :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns
- exceptExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns'
Documentation
unionAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source
Example type specialization:
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))
By design there is no union function of type QueryArr a b ->
QueryArr a b -> QueryArr a b. Such a function would allow
violation of SQL's scoping rules and lead to invalid queries.
unionAllExplicit :: 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.
unionExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source
intersectAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source
intersectAllExplicit :: 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.
intersectExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source
exceptAll :: Default Binaryspec columns columns => Query columns -> Query columns -> Query columns Source
exceptAllExplicit :: 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.
exceptExplicit :: Binaryspec columns columns' -> Query columns -> Query columns -> Query columns' Source