git.iko.soy/rel8
on master help sign in
Document ==: and /=:
b95dec4Ollie Charles
src/Rel8/Expr/Ord.hs+28−3
compare with master
unifiedsplit
@@ -73,49 +73,70 @@ sge = \case
73 NonNullable -> ge
73 NonNullable -> ge
74
74
75
75
76+-- | Corresponds to the SQL @<@ operator. Note that this differs from SQL @<@
77+-- as @null@ will sort below any other value. For a version of @<@ that exactly
78+-- matches SQL, see '(<?)'.
76(<.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
79(<.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
77(<.) = slt nullabilization
80(<.) = slt nullabilization
78infix 4 <.
81infix 4 <.
79
82
80
83
81−-- | The PostgreSQL @<=@ operator.
84+-- | Corresponds to the SQL @<=@ operator. Note that this differs from SQL @<=@
85+-- as @null@ will sort below any other value. For a version of @<=@ that exactly
86+-- matches SQL, see '(<=?)'.
82(<=.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
87(<=.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
83(<=.) = sle nullabilization
88(<=.) = sle nullabilization
84infix 4 <=.
89infix 4 <=.
85
90
86
91
87−-- | The PostgreSQL @>@ operator.
92+-- | Corresponds to the SQL @>@ operator. Note that this differs from SQL @>@
93+-- as @null@ will sort below any other value. For a version of @>@ that exactly
94+-- matches SQL, see '(>?)'.
88(>.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
95(>.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
89(>.) = sgt nullabilization
96(>.) = sgt nullabilization
90infix 4 >.
97infix 4 >.
91
98
92
99
93−-- | The PostgreSQL @>=@ operator.
100+-- | Corresponds to the SQL @>=@ operator. Note that this differs from SQL @>@
101+-- as @null@ will sort below any other value. For a version of @>=@ that
102+-- exactly matches SQL, see '(>=?)'.
94(>=.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
103(>=.) :: Sql DBOrd a => Expr a -> Expr a -> Expr Bool
95(>=.) = sge nullabilization
104(>=.) = sge nullabilization
96infix 4 >=.
105infix 4 >=.
97
106
98
107
108+-- | Corresponds to the SQL @<@ operator. Returns @null@ if either arguments
109+-- are @null@.
99(<?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
110(<?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
100a <? b = coalesce $ unsafeLiftOpNullable lt a b
111a <? b = coalesce $ unsafeLiftOpNullable lt a b
101infix 4 <?
112infix 4 <?
102
113
103
114
115+-- | Corresponds to the SQL @<=@ operator. Returns @null@ if either arguments
116+-- are @null@.
104(<=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
117(<=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
105a <=? b = coalesce $ unsafeLiftOpNullable le a b
118a <=? b = coalesce $ unsafeLiftOpNullable le a b
106infix 4 <=?
119infix 4 <=?
107
120
108
121
122+-- | Corresponds to the SQL @>@ operator. Returns @null@ if either arguments
123+-- are @null@.
109(>?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
124(>?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
110a >? b = coalesce $ unsafeLiftOpNullable gt a b
125a >? b = coalesce $ unsafeLiftOpNullable gt a b
111infix 4 >?
126infix 4 >?
112
127
113
128
129+-- | Corresponds to the SQL @>=@ operator. Returns @null@ if either arguments
130+-- are @null@.
114(>=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
131(>=?) :: DBOrd a => Expr (Maybe a) -> Expr (Maybe a) -> Expr Bool
115a >=? b = coalesce $ unsafeLiftOpNullable ge a b
132a >=? b = coalesce $ unsafeLiftOpNullable ge a b
116infix 4 >=?
133infix 4 >=?
117
134
118
135
136+-- | Given two expressions, return the expression that sorts less than the
137+-- other.
138+--
139+-- Corresponds to the SQL @least()@ function.
119leastExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a
140leastExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a
120leastExpr ma mb = case nullabilization @a of
141leastExpr ma mb = case nullabilization @a of
121 Nullable -> nullable ma (\a -> nullable mb (least_ a) mb) ma
142 Nullable -> nullable ma (\a -> nullable mb (least_ a) mb) ma
@@ -124,6 +145,10 @@ leastExpr ma mb = case nullabilization @a of
124 least_ (Expr a) (Expr b) = Expr (Opaleye.FunExpr "LEAST" [a, b])
145 least_ (Expr a) (Expr b) = Expr (Opaleye.FunExpr "LEAST" [a, b])
125
146
126
147
148+-- | Given two expressions, return the expression that sorts greater than the
149+-- other.
150+--
151+-- Corresponds to the SQL @greatest()@ function.
127greatestExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a
152greatestExpr :: forall a. Sql DBOrd a => Expr a -> Expr a -> Expr a
128greatestExpr ma mb = case nullabilization @a of
153greatestExpr ma mb = case nullabilization @a of
129 Nullable -> nullable mb (\a -> nullable ma (greatest_ a) mb) ma
154 Nullable -> nullable mb (\a -> nullable ma (greatest_ a) mb) ma
src/Rel8/Table/Eq.hs+6
@@ -52,6 +52,9 @@ instance
52instance {-# OVERLAPPING #-} EqTable Opaque
52instance {-# OVERLAPPING #-} EqTable Opaque
53
53
54
54
55+-- | Compare two 'Table's for equality. This corresponds to comparing all
56+-- columns inside each table for equality, and combining all comparisons with
57+-- @AND@.
55(==:) :: forall a. EqTable a => a -> a -> Expr Bool
58(==:) :: forall a. EqTable a => a -> a -> Expr Bool
56(toColumns -> as) ==: (toColumns -> bs) =
59(toColumns -> as) ==: (toColumns -> bs) =
57 foldl1' (&&.) $ getConst $ htabulateA $ \field ->
60 foldl1' (&&.) $ getConst $ htabulateA $ \field ->
@@ -65,6 +68,9 @@ instance {-# OVERLAPPING #-} EqTable Opaque
65infix 4 ==:
68infix 4 ==:
66
69
67
70
71+-- | Test if two 'Table's are different. This corresponds to comparing all
72+-- columns inside each table for inequality, and combining all comparisons with
73+-- @OR@.
68(/=:) :: forall a. EqTable a => a -> a -> Expr Bool
74(/=:) :: forall a. EqTable a => a -> a -> Expr Bool
69(toColumns -> as) /=: (toColumns -> bs) =
75(toColumns -> as) /=: (toColumns -> bs) =
70 foldl1' (||.) $ getConst $ htabulateA $ \field ->
76 foldl1' (||.) $ getConst $ htabulateA $ \field ->