{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}
module Opaleye.Binary (
unionAll,
union,
intersectAll,
intersect,
exceptAll,
except,
unionAllExplicit,
unionExplicit,
intersectAllExplicit,
intersectExplicit,
exceptAllExplicit,
exceptExplicit,
binaryspecField,
) where
import qualified Opaleye.Internal.Binary as B
import qualified Opaleye.Internal.Column
import qualified Opaleye.Internal.PrimQuery as PQ
import qualified Opaleye.Select as S
import Data.Profunctor.Product.Default (Default, def)
unionAll :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
unionAll :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
unionAll = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
unionAllExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
union :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
union :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
union = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
unionExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
intersectAll :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
intersectAll :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
intersectAll = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
intersectAllExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
intersect :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
intersect :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
intersect = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
intersectExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
exceptAll :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
exceptAll :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
exceptAll = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
exceptAllExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
except :: Default B.Binaryspec fields fields =>
S.Select fields -> S.Select fields -> S.Select fields
except :: forall fields.
Default Binaryspec fields fields =>
Select fields -> Select fields -> Select fields
except = forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
exceptExplicit forall (p :: * -> * -> *) a b. Default p a b => p a b
def
unionAllExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
unionAllExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
unionAllExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.UnionAll
unionExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
unionExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
unionExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.Union
intersectAllExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
intersectAllExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
intersectAllExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.IntersectAll
intersectExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
intersectExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
intersectExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.Intersect
exceptAllExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
exceptAllExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
exceptAllExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.ExceptAll
exceptExplicit :: B.Binaryspec fields fields'
-> S.Select fields -> S.Select fields -> S.Select fields'
exceptExplicit :: forall fields fields'.
Binaryspec fields fields'
-> Select fields -> Select fields -> Select fields'
exceptExplicit = forall columns columns'.
BinOp
-> Binaryspec columns columns'
-> Query columns
-> Query columns
-> Query columns'
B.sameTypeBinOpHelper BinOp
PQ.Except
binaryspecField :: (B.Binaryspec
(Opaleye.Internal.Column.Field_ n a)
(Opaleye.Internal.Column.Field_ n a))
binaryspecField :: forall (n :: Nullability) a. Binaryspec (Field_ n a) (Field_ n a)
binaryspecField = forall (n :: Nullability) a. Binaryspec (Field_ n a) (Field_ n a)
B.binaryspecColumn