/
api.ex
291 lines (236 loc) · 7.09 KB
/
api.ex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
defmodule Ecto.Query.API do
use Ecto.Query.Typespec
@moduledoc """
The Query API available by default in Ecto queries.
All queries in Ecto are typesafe and this module defines all
database functions based on their type. Note that this module defines
only the API, each database adapter still needs to support the
functions outlined here.
"""
## Types
deft float
deft integer
deft decimal
deft boolean
deft binary
deft string
deft array(var)
deft datetime
deft date
deft time
deft interval
deft nil
defa number :: decimal | float | integer
## Operators
@doc "Positive number."
def (+arg)
defs (+integer) :: integer
defs (+float) :: float
defs (+decimal) :: decimal
@doc "Negate number."
def (-arg)
defs (-integer) :: integer
defs (-float) :: float
defs (-decimal) :: decimal
@doc "Boolean not."
def not(arg)
defs not(boolean) :: boolean
@doc "Addition of numbers."
def left + right
defs decimal + number :: decimal
defs number + decimal :: decimal
defs float + number :: float
defs number + float :: float
defs integer + integer :: integer
@doc "Subtraction of numbers."
def left - right
defs decimal - number :: decimal
defs number - decimal :: decimal
defs float - number :: float
defs number - float :: float
defs integer - integer :: integer
@doc "Multiplication of numbers."
def left * right
defs decimal * number :: decimal
defs number * decimal :: decimal
defs float * number :: float
defs number * float :: float
defs integer * integer :: integer
@doc "Division of numbers."
def left / right
defs number / number :: decimal
@doc "Equality."
def left == right
defs number == number :: boolean
defs var == var :: boolean
defs nil == _ :: boolean
defs _ == nil :: boolean
@doc "Inequality."
def left != right
defs number != number :: boolean
defs var != var :: boolean
defs nil != _ :: boolean
defs _ != nil :: boolean
@doc "Left less than or equal to right."
def left <= right
defs number <= number :: boolean
defs var <= var :: boolean
@doc "Left greater than or equal to right."
def left >= right
defs number >= number :: boolean
defs var >= var :: boolean
@doc "Left less than right."
def left < right
defs number < number :: boolean
defs var < var :: boolean
@doc "Left greater than right."
def left > right
defs number > number :: boolean
defs var > var :: boolean
@doc "Boolean and."
def left and right
defs boolean and boolean :: boolean
@doc "Boolean or."
def left or right
defs boolean or boolean :: boolean
@doc "Returns `true` if argument is `nil`."
def is_nil(arg)
defs is_nil(_) :: boolean
@doc """
Return `true` if `left` is in `right` array, `false`
otherwise.
"""
def left in right
defs var in array(var) :: boolean
@doc "Range from left to right."
def left .. right
defs integer .. integer :: array(integer)
@doc "Binary and string concatenation."
def left <> right
defs binary <> binary :: binary
defs string <> string :: string
@doc "List concatenation."
def left ++ right
defs array(var) ++ array(var) :: array(var)
## Functions
@doc """
References a field. This can be used when a field needs
to be dynamically referenced.
## Examples
x = :title
from(p in Post, select: field(p, ^x))
"""
def field(_var, _atom), do: raise "field/2 should have been expanded"
@doc """
Casts a binary literal to a binary type. By default a
binary literal is of the string type.
"""
def binary(_string), do: raise "binary/1 should have been expanded"
@doc """
Casts a binary literal to a `uuid` type. By default a
binary literal is of the string type.
"""
def uuid(_string), do: raise "uuid/1 should have been expanded"
@doc "Addition of datetime's with interval's"
def time_add(left, right)
defs time_add(datetime, interval) :: datetime
defs time_add(interval, datetime) :: datetime
defs time_add(date, interval) :: date
defs time_add(interval, date) :: date
defs time_add(time, interval) :: time
defs time_add(interval, time) :: time
defs time_add(interval, interval) :: interval
@doc "Subtraction of datetime's with interval's"
def time_sub(left, right)
defs time_sub(datetime, interval) :: datetime
defs time_sub(interval, datetime) :: datetime
defs time_sub(date, interval) :: date
defs time_sub(interval, date) :: date
defs time_sub(time, interval) :: time
defs time_sub(interval, time) :: time
defs time_sub(interval, interval) :: interval
@doc "base to the power of exp."
def pow(base, exp)
defs pow(float, number) :: float
defs pow(number, float) :: float
defs pow(integer, integer) :: integer
@doc "Integer division."
def div(left, right)
defs div(integer, integer) :: integer
@doc "Integer remainder of division."
def rem(left, right)
defs rem(integer, integer) :: integer
@doc "Random float number from 0.0 to 1.0 including."
def random()
defs random() :: float
@doc "Round number to closest integer."
def round(number)
defs round(float) :: float
defs round(float, integer) :: float
@doc "Downcase string."
def downcase(string)
defs downcase(string) :: string
@doc "Upcase string."
def upcase(string)
defs upcase(string) :: string
@doc "Returns the current date and time."
def now()
defs now() :: datetime
@doc "Returns the current local date and time."
def localtimestamp()
defs localtimestamp() :: datetime
@doc "Extract date from datetime."
def date(datetime)
defs date(datetime) :: date
@doc "Extract time from datetime."
def time(datetime)
defs time(datetime) :: time
@doc "Create a datetime from a date and a time"
def datetime(date, time)
defs datetime(date, time) :: datetime
@doc "Case-insensitive pattern match."
def ilike(left, right)
defs ilike(string, string) :: boolean
@doc "Case-sensitive pattern match."
def like(left, right)
defs like(string, string) :: boolean
## Aggregate functions
@doc "Aggregate function, averages the given field over the current group."
@aggregate true
def avg(numbers)
defs avg(number) :: number
@doc """
Aggregate function, counts the number of occurrences of the given field
in the current group.
"""
@aggregate true
def count(arg)
defs count(_) :: integer
@doc """
Aggregate function, the maximum number of the given field in the current
group.
"""
@aggregate true
def max(numbers)
defs max(integer) :: integer
defs max(float) :: float
defs max(date) :: date
defs max(datetime) :: datetime
defs max(time) :: time
@doc """
Aggregate function, the minimum number of the given field in the current
group.
"""
@aggregate true
def min(numbers)
defs min(integer) :: integer
defs min(float) :: float
defs min(date) :: date
defs min(datetime) :: datetime
defs min(time) :: time
@doc "Aggregate function, sums the given field over the current group."
@aggregate true
def sum(numbers)
defs sum(integer) :: integer
defs sum(float) :: float
end