]> code.delx.au - gnu-emacs/blob - lisp/emacs-lisp/seq.el
Merge from origin/emacs-25
[gnu-emacs] / lisp / emacs-lisp / seq.el
1 ;;; seq.el --- Sequence manipulation functions -*- lexical-binding: t -*-
2
3 ;; Copyright (C) 2014-2016 Free Software Foundation, Inc.
4
5 ;; Author: Nicolas Petton <nicolas@petton.fr>
6 ;; Keywords: sequences
7 ;; Version: 2.14
8 ;; Package: seq
9
10 ;; Maintainer: emacs-devel@gnu.org
11
12 ;; This file is part of GNU Emacs.
13
14 ;; GNU Emacs is free software: you can redistribute it and/or modify
15 ;; it under the terms of the GNU General Public License as published by
16 ;; the Free Software Foundation, either version 3 of the License, or
17 ;; (at your option) any later version.
18
19 ;; GNU Emacs is distributed in the hope that it will be useful,
20 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
21 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
22 ;; GNU General Public License for more details.
23
24 ;; You should have received a copy of the GNU General Public License
25 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
26
27 ;;; Commentary:
28
29 ;; Sequence-manipulation functions that complement basic functions
30 ;; provided by subr.el.
31 ;;
32 ;; All functions are prefixed with "seq-".
33 ;;
34 ;; All provided functions work on lists, strings and vectors.
35 ;;
36 ;; Functions taking a predicate or iterating over a sequence using a
37 ;; function as argument take the function as their first argument and
38 ;; the sequence as their second argument. All other functions take
39 ;; the sequence as their first argument.
40 ;;
41 ;; While seq.el version 1.8 is in GNU ELPA for convenience, seq.el
42 ;; version 2.0 requires Emacs>=25.1.
43 ;;
44 ;; seq.el can be extended to support new type of sequences. Here are
45 ;; the generic functions that must be implemented by new seq types:
46 ;; - `seq-elt'
47 ;; - `seq-length'
48 ;; - `seq-do'
49 ;; - `seqp'
50 ;; - `seq-subseq'
51 ;; - `seq-into-sequence'
52 ;; - `seq-copy'
53 ;; - `seq-into'
54 ;;
55 ;; All functions are tested in test/automated/seq-tests.el
56
57 ;;; Code:
58
59 (eval-when-compile (require 'cl-generic))
60 (require 'cl-lib) ;; for cl-subseq
61
62 (defmacro seq-doseq (spec &rest body)
63 "Loop over a sequence.
64 Evaluate BODY with VAR bound to each element of SEQUENCE, in turn.
65
66 Similar to `dolist' but can be applied to lists, strings, and vectors.
67
68 \(fn (VAR SEQUENCE) BODY...)"
69 (declare (indent 1) (debug ((symbolp form &optional form) body)))
70 `(seq-do (lambda (,(car spec))
71 ,@body)
72 ,(cadr spec)))
73
74 (pcase-defmacro seq (&rest patterns)
75 "Build a `pcase' pattern that matches elements of SEQUENCE.
76
77 The `pcase' pattern will match each element of PATTERNS against the
78 corresponding element of SEQUENCE.
79
80 Extra elements of the sequence are ignored if fewer PATTERNS are
81 given, and the match does not fail."
82 `(and (pred seqp)
83 ,@(seq--make-pcase-bindings patterns)))
84
85 (defmacro seq-let (args sequence &rest body)
86 "Bind the variables in ARGS to the elements of SEQUENCE, then evaluate BODY.
87
88 ARGS can also include the `&rest' marker followed by a variable
89 name to be bound to the rest of SEQUENCE."
90 (declare (indent 2) (debug t))
91 `(pcase-let ((,(seq--make-pcase-patterns args) ,sequence))
92 ,@body))
93 \f
94
95 ;;; Basic seq functions that have to be implemented by new sequence types
96 (cl-defgeneric seq-elt (sequence n)
97 "Return Nth element of SEQUENCE."
98 (elt sequence n))
99
100 ;; Default gv setters for `seq-elt'.
101 ;; It can be a good idea for new sequence implementations to provide a
102 ;; "gv-setter" for `seq-elt'.
103 (cl-defmethod (setf seq-elt) (store (sequence array) n)
104 (aset sequence n store))
105
106 (cl-defmethod (setf seq-elt) (store (sequence cons) n)
107 (setcar (nthcdr n sequence) store))
108
109 (cl-defgeneric seq-length (sequence)
110 "Return the number of elements of SEQUENCE."
111 (length sequence))
112
113 (cl-defgeneric seq-do (function sequence)
114 "Apply FUNCTION to each element of SEQUENCE, presumably for side effects.
115 Return SEQUENCE."
116 (mapc function sequence))
117
118 (defalias 'seq-each #'seq-do)
119
120 (cl-defgeneric seqp (sequence)
121 "Return non-nil if SEQUENCE is a sequence, nil otherwise."
122 (sequencep sequence))
123
124 (cl-defgeneric seq-copy (sequence)
125 "Return a shallow copy of SEQUENCE."
126 (copy-sequence sequence))
127
128 (cl-defgeneric seq-subseq (sequence start &optional end)
129 "Return the sequence of elements of SEQUENCE from START to END.
130 END is inclusive.
131
132 If END is omitted, it defaults to the length of the sequence. If
133 START or END is negative, it counts from the end. Signal an
134 error if START or END are outside of the sequence (i.e too large
135 if positive or too small if negative)."
136 (cl-subseq sequence start end))
137
138 \f
139 (cl-defgeneric seq-map (function sequence)
140 "Return the result of applying FUNCTION to each element of SEQUENCE."
141 (let (result)
142 (seq-do (lambda (elt)
143 (push (funcall function elt) result))
144 sequence)
145 (nreverse result)))
146
147 (defun seq-map-indexed (function sequence)
148 "Return the result of applying FUNCTION to each element of SEQUENCE.
149 Unlike `seq-map', FUNCTION takes two arguments: the element of
150 the sequence, and its index within the sequence."
151 (let ((index 0))
152 (seq-map (lambda (elt)
153 (prog1
154 (funcall function elt index)
155 (setq index (1+ index))))
156 sequence)))
157
158
159 ;; faster implementation for sequences (sequencep)
160 (cl-defmethod seq-map (function (sequence sequence))
161 (mapcar function sequence))
162
163 (cl-defgeneric seq-mapn (function sequence &rest sequences)
164 "Like `seq-map' but FUNCTION is mapped over all SEQUENCES.
165 The arity of FUNCTION must match the number of SEQUENCES, and the
166 mapping stops on the shortest sequence.
167 Return a list of the results.
168
169 \(fn FUNCTION SEQUENCES...)"
170 (let ((result nil)
171 (sequences (seq-map (lambda (s) (seq-into s 'list))
172 (cons sequence sequences))))
173 (while (not (memq nil sequences))
174 (push (apply function (seq-map #'car sequences)) result)
175 (setq sequences (seq-map #'cdr sequences)))
176 (nreverse result)))
177
178 (cl-defgeneric seq-drop (sequence n)
179 "Remove the first N elements of SEQUENCE and return the result.
180 The result is a sequence of the same type as SEQUENCE.
181
182 If N is a negative integer or zero, SEQUENCE is returned."
183 (if (<= n 0)
184 sequence
185 (let ((length (seq-length sequence)))
186 (seq-subseq sequence (min n length) length))))
187
188 (cl-defgeneric seq-take (sequence n)
189 "Take the first N elements of SEQUENCE and return the result.
190 The result is a sequence of the same type as SEQUENCE.
191
192 If N is a negative integer or zero, an empty sequence is
193 returned."
194 (seq-subseq sequence 0 (min (max n 0) (seq-length sequence))))
195
196 (cl-defgeneric seq-drop-while (pred sequence)
197 "Remove the successive elements of SEQUENCE for which PRED returns non-nil.
198 PRED is a function of one argument. The result is a sequence of
199 the same type as SEQUENCE."
200 (seq-drop sequence (seq--count-successive pred sequence)))
201
202 (cl-defgeneric seq-take-while (pred sequence)
203 "Take the successive elements of SEQUENCE for which PRED returns non-nil.
204 PRED is a function of one argument. The result is a sequence of
205 the same type as SEQUENCE."
206 (seq-take sequence (seq--count-successive pred sequence)))
207
208 (cl-defgeneric seq-empty-p (sequence)
209 "Return non-nil if the SEQUENCE is empty, nil otherwise."
210 (= 0 (seq-length sequence)))
211
212 (cl-defgeneric seq-sort (pred sequence)
213 "Sort SEQUENCE using PRED as comparison function.
214 The result is a sequence of the same type as SEQUENCE."
215 (let ((result (seq-sort pred (append sequence nil))))
216 (seq-into result (type-of sequence))))
217
218 (cl-defmethod seq-sort (pred (list list))
219 (sort (seq-copy list) pred))
220
221 (defun seq-sort-by (function pred sequence)
222 "Sort SEQUENCE using PRED as a comparison function.
223 Elements of SEQUENCE are transformed by FUNCTION before being
224 sorted. FUNCTION must be a function of one argument."
225 (seq-sort (lambda (a b)
226 (funcall pred
227 (funcall function a)
228 (funcall function b)))
229 sequence))
230
231 (cl-defgeneric seq-reverse (sequence)
232 "Return a sequence with elements of SEQUENCE in reverse order."
233 (let ((result '()))
234 (seq-map (lambda (elt)
235 (push elt result))
236 sequence)
237 (seq-into result (type-of sequence))))
238
239 ;; faster implementation for sequences (sequencep)
240 (cl-defmethod seq-reverse ((sequence sequence))
241 (reverse sequence))
242
243 (cl-defgeneric seq-concatenate (type &rest sequences)
244 "Concatenate SEQUENCES into a single sequence of type TYPE.
245 TYPE must be one of following symbols: vector, string or list.
246
247 \n(fn TYPE SEQUENCE...)"
248 (apply #'cl-concatenate type (seq-map #'seq-into-sequence sequences)))
249
250 (cl-defgeneric seq-into-sequence (sequence)
251 "Convert SEQUENCE into a sequence.
252
253 The default implementation is to signal an error if SEQUENCE is not a
254 sequence, specific functions should be implemented for new types
255 of sequence."
256 (unless (sequencep sequence)
257 (error "Cannot convert %S into a sequence" sequence))
258 sequence)
259
260 (cl-defgeneric seq-into (sequence type)
261 "Concatenate the elements of SEQUENCE into a sequence of type TYPE.
262 TYPE can be one of the following symbols: vector, string or
263 list."
264 (pcase type
265 (`vector (vconcat sequence))
266 (`string (concat sequence))
267 (`list (append sequence nil))
268 (_ (error "Not a sequence type name: %S" type))))
269
270 (cl-defgeneric seq-filter (pred sequence)
271 "Return a list of all the elements for which (PRED element) is non-nil in SEQUENCE."
272 (let ((exclude (make-symbol "exclude")))
273 (delq exclude (seq-map (lambda (elt)
274 (if (funcall pred elt)
275 elt
276 exclude))
277 sequence))))
278
279 (cl-defgeneric seq-remove (pred sequence)
280 "Return a list of all the elements for which (PRED element) is nil in SEQUENCE."
281 (seq-filter (lambda (elt) (not (funcall pred elt)))
282 sequence))
283
284 (cl-defgeneric seq-reduce (function sequence initial-value)
285 "Reduce the function FUNCTION across SEQUENCE, starting with INITIAL-VALUE.
286
287 Return the result of calling FUNCTION with INITIAL-VALUE and the
288 first element of SEQUENCE, then calling FUNCTION with that result and
289 the second element of SEQUENCE, then with that result and the third
290 element of SEQUENCE, etc.
291
292 If SEQUENCE is empty, return INITIAL-VALUE and FUNCTION is not called."
293 (if (seq-empty-p sequence)
294 initial-value
295 (let ((acc initial-value))
296 (seq-doseq (elt sequence)
297 (setq acc (funcall function acc elt)))
298 acc)))
299
300 (cl-defgeneric seq-every-p (pred sequence)
301 "Return non-nil if (PRED element) is non-nil for all elements of SEQUENCE."
302 (catch 'seq--break
303 (seq-doseq (elt sequence)
304 (or (funcall pred elt)
305 (throw 'seq--break nil)))
306 t))
307
308 (cl-defgeneric seq-some (pred sequence)
309 "Return the first value for which if (PRED element) is non-nil for in SEQUENCE."
310 (catch 'seq--break
311 (seq-doseq (elt sequence)
312 (let ((result (funcall pred elt)))
313 (when result
314 (throw 'seq--break result))))
315 nil))
316
317 (cl-defgeneric seq-find (pred sequence &optional default)
318 "Return the first element for which (PRED element) is non-nil in SEQUENCE.
319 If no element is found, return DEFAULT.
320
321 Note that `seq-find' has an ambiguity if the found element is
322 identical to DEFAULT, as it cannot be known if an element was
323 found or not."
324 (catch 'seq--break
325 (seq-doseq (elt sequence)
326 (when (funcall pred elt)
327 (throw 'seq--break elt)))
328 default))
329
330 (cl-defgeneric seq-count (pred sequence)
331 "Return the number of elements for which (PRED element) is non-nil in SEQUENCE."
332 (let ((count 0))
333 (seq-doseq (elt sequence)
334 (when (funcall pred elt)
335 (setq count (+ 1 count))))
336 count))
337
338 (cl-defgeneric seq-contains (sequence elt &optional testfn)
339 "Return the first element in SEQUENCE that is equal to ELT.
340 Equality is defined by TESTFN if non-nil or by `equal' if nil."
341 (seq-some (lambda (e)
342 (funcall (or testfn #'equal) elt e))
343 sequence))
344
345 (cl-defgeneric seq-position (sequence elt &optional testfn)
346 "Return the index of the first element in SEQUENCE that is equal to ELT.
347 Equality is defined by TESTFN if non-nil or by `equal' if nil."
348 (let ((index 0))
349 (catch 'seq--break
350 (seq-doseq (e sequence)
351 (when (funcall (or testfn #'equal) e elt)
352 (throw 'seq--break index))
353 (setq index (1+ index)))
354 nil)))
355
356 (cl-defgeneric seq-uniq (sequence &optional testfn)
357 "Return a list of the elements of SEQUENCE with duplicates removed.
358 TESTFN is used to compare elements, or `equal' if TESTFN is nil."
359 (let ((result '()))
360 (seq-doseq (elt sequence)
361 (unless (seq-contains result elt testfn)
362 (setq result (cons elt result))))
363 (nreverse result)))
364
365 (cl-defgeneric seq-mapcat (function sequence &optional type)
366 "Concatenate the result of applying FUNCTION to each element of SEQUENCE.
367 The result is a sequence of type TYPE, or a list if TYPE is nil."
368 (apply #'seq-concatenate (or type 'list)
369 (seq-map function sequence)))
370
371 (cl-defgeneric seq-partition (sequence n)
372 "Return a list of the elements of SEQUENCE grouped into sub-sequences of length N.
373 The last sequence may contain less than N elements. If N is a
374 negative integer or 0, nil is returned."
375 (unless (< n 1)
376 (let ((result '()))
377 (while (not (seq-empty-p sequence))
378 (push (seq-take sequence n) result)
379 (setq sequence (seq-drop sequence n)))
380 (nreverse result))))
381
382 (cl-defgeneric seq-intersection (sequence1 sequence2 &optional testfn)
383 "Return a list of the elements that appear in both SEQUENCE1 and SEQUENCE2.
384 Equality is defined by TESTFN if non-nil or by `equal' if nil."
385 (seq-reduce (lambda (acc elt)
386 (if (seq-contains sequence2 elt testfn)
387 (cons elt acc)
388 acc))
389 (seq-reverse sequence1)
390 '()))
391
392 (cl-defgeneric seq-difference (sequence1 sequence2 &optional testfn)
393 "Return a list of the elements that appear in SEQUENCE1 but not in SEQUENCE2.
394 Equality is defined by TESTFN if non-nil or by `equal' if nil."
395 (seq-reduce (lambda (acc elt)
396 (if (not (seq-contains sequence2 elt testfn))
397 (cons elt acc)
398 acc))
399 (seq-reverse sequence1)
400 '()))
401
402 (cl-defgeneric seq-group-by (function sequence)
403 "Apply FUNCTION to each element of SEQUENCE.
404 Separate the elements of SEQUENCE into an alist using the results as
405 keys. Keys are compared using `equal'."
406 (seq-reduce
407 (lambda (acc elt)
408 (let* ((key (funcall function elt))
409 (cell (assoc key acc)))
410 (if cell
411 (setcdr cell (push elt (cdr cell)))
412 (push (list key elt) acc))
413 acc))
414 (seq-reverse sequence)
415 nil))
416
417 (cl-defgeneric seq-min (sequence)
418 "Return the smallest element of SEQUENCE.
419 SEQUENCE must be a sequence of numbers or markers."
420 (apply #'min (seq-into sequence 'list)))
421
422 (cl-defgeneric seq-max (sequence)
423 "Return the largest element of SEQUENCE.
424 SEQUENCE must be a sequence of numbers or markers."
425 (apply #'max (seq-into sequence 'list)))
426
427 (defun seq--count-successive (pred sequence)
428 "Return the number of successive elements for which (PRED element) is non-nil in SEQUENCE."
429 (let ((n 0)
430 (len (seq-length sequence)))
431 (while (and (< n len)
432 (funcall pred (seq-elt sequence n)))
433 (setq n (+ 1 n)))
434 n))
435
436 (defun seq--make-pcase-bindings (args)
437 "Return a list of bindings of the variables in ARGS to the elements of a sequence."
438 (let ((bindings '())
439 (index 0)
440 (rest-marker nil))
441 (seq-doseq (name args)
442 (unless rest-marker
443 (pcase name
444 (`&rest
445 (progn (push `(app (pcase--flip seq-drop ,index)
446 ,(seq--elt-safe args (1+ index)))
447 bindings)
448 (setq rest-marker t)))
449 (_
450 (push `(app (pcase--flip seq--elt-safe ,index) ,name) bindings))))
451 (setq index (1+ index)))
452 bindings))
453
454 (defun seq--make-pcase-patterns (args)
455 "Return a list of `(seq ...)' pcase patterns from the argument list ARGS."
456 (cons 'seq
457 (seq-map (lambda (elt)
458 (if (seqp elt)
459 (seq--make-pcase-patterns elt)
460 elt))
461 args)))
462
463 ;; TODO: make public?
464 (defun seq--elt-safe (sequence n)
465 "Return element of SEQUENCE at the index N.
466 If no element is found, return nil."
467 (ignore-errors (seq-elt sequence n)))
468 \f
469
470 ;;; Optimized implementations for lists
471
472 (cl-defmethod seq-drop ((list list) n)
473 "Optimized implementation of `seq-drop' for lists."
474 (while (and list (> n 0))
475 (setq list (cdr list)
476 n (1- n)))
477 list)
478
479 (cl-defmethod seq-take ((list list) n)
480 "Optimized implementation of `seq-take' for lists."
481 (let ((result '()))
482 (while (and list (> n 0))
483 (setq n (1- n))
484 (push (pop list) result))
485 (nreverse result)))
486
487 (cl-defmethod seq-drop-while (pred (list list))
488 "Optimized implementation of `seq-drop-while' for lists."
489 (while (and list (funcall pred (car list)))
490 (setq list (cdr list)))
491 list)
492
493 (cl-defmethod seq-empty-p ((list list))
494 "Optimized implementation of `seq-empty-p' for lists."
495 (null list))
496 \f
497
498 (defun seq--activate-font-lock-keywords ()
499 "Activate font-lock keywords for some symbols defined in seq."
500 (font-lock-add-keywords 'emacs-lisp-mode
501 '("\\<seq-doseq\\>" "\\<seq-let\\>")))
502
503 (unless (fboundp 'elisp--font-lock-flush-elisp-buffers)
504 ;; In Emacsā‰„25, (via elisp--font-lock-flush-elisp-buffers and a few others)
505 ;; we automatically highlight macros.
506 (add-hook 'emacs-lisp-mode-hook #'seq--activate-font-lock-keywords))
507
508 (provide 'seq)
509 ;;; seq.el ends here