2014-12-16 23:42:30 +00:00
|
|
|
|
;;; seq.el --- Sequence manipulation functions -*- lexical-binding: t -*-
|
|
|
|
|
|
2015-01-01 22:26:41 +00:00
|
|
|
|
;; Copyright (C) 2014-2015 Free Software Foundation, Inc.
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
2015-02-06 14:52:23 +00:00
|
|
|
|
;; Author: Nicolas Petton <nicolas@petton.fr>
|
2014-12-16 23:42:30 +00:00
|
|
|
|
;; Keywords: sequences
|
2015-08-14 20:33:10 +00:00
|
|
|
|
;; Version: 2.0
|
2015-03-09 11:46:29 +00:00
|
|
|
|
;; Package: seq
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
|
|
|
|
;; Maintainer: emacs-devel@gnu.org
|
|
|
|
|
|
|
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;; Sequence-manipulation functions that complement basic functions
|
|
|
|
|
;; provided by subr.el.
|
|
|
|
|
;;
|
|
|
|
|
;; All functions are prefixed with "seq-".
|
|
|
|
|
;;
|
|
|
|
|
;; All provided functions work on lists, strings and vectors.
|
|
|
|
|
;;
|
2015-03-25 08:21:14 +00:00
|
|
|
|
;; Functions taking a predicate or iterating over a sequence using a
|
|
|
|
|
;; function as argument take the function as their first argument and
|
2014-12-16 23:42:30 +00:00
|
|
|
|
;; the sequence as their second argument. All other functions take
|
|
|
|
|
;; the sequence as their first argument.
|
|
|
|
|
;;
|
2015-08-14 20:33:10 +00:00
|
|
|
|
;; While seq.el version 1.8 is in GNU ELPA for convenience, seq.el
|
|
|
|
|
;; version 2.0 requires Emacs>=25.1.
|
|
|
|
|
;;
|
|
|
|
|
;; seq.el can be extended to support new type of sequences. Here are
|
|
|
|
|
;; the generic functions that must be implemented by new seq types:
|
|
|
|
|
;; - `seq-elt'
|
|
|
|
|
;; - `seq-length'
|
|
|
|
|
;; - `seq-do'
|
|
|
|
|
;; - `seq-p'
|
|
|
|
|
;; - `seq-subseq'
|
2015-08-26 22:21:38 +00:00
|
|
|
|
;; - `seq-into-sequence'
|
2015-08-14 20:33:10 +00:00
|
|
|
|
;; - `seq-copy'
|
|
|
|
|
;; - `seq-into'
|
|
|
|
|
;;
|
2014-12-16 23:42:30 +00:00
|
|
|
|
;; All functions are tested in test/automated/seq-tests.el
|
|
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(eval-when-compile (require 'cl-generic))
|
|
|
|
|
(require 'cl-extra) ;; for cl-subseq
|
|
|
|
|
|
2014-12-16 23:42:30 +00:00
|
|
|
|
(defmacro seq-doseq (spec &rest body)
|
|
|
|
|
"Loop over a sequence.
|
2015-04-24 20:11:35 +00:00
|
|
|
|
Similar to `dolist' but can be applied to lists, strings, and vectors.
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
|
|
|
|
Evaluate BODY with VAR bound to each element of SEQ, in turn.
|
|
|
|
|
|
2015-04-24 20:11:35 +00:00
|
|
|
|
\(fn (VAR SEQ) BODY...)"
|
2014-12-16 23:42:30 +00:00
|
|
|
|
(declare (indent 1) (debug ((symbolp form &optional form) body)))
|
2015-08-14 20:33:10 +00:00
|
|
|
|
`(seq-do (lambda (,(car spec))
|
|
|
|
|
,@body)
|
|
|
|
|
,(cadr spec)))
|
|
|
|
|
|
|
|
|
|
(pcase-defmacro seq (&rest args)
|
|
|
|
|
"pcase pattern matching sequence elements.
|
2015-05-12 19:57:18 +00:00
|
|
|
|
Matches if the object is a sequence (list, string or vector), and
|
|
|
|
|
binds each element of ARGS to the corresponding element of the
|
|
|
|
|
sequence."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
`(and (pred seq-p)
|
|
|
|
|
,@(seq--make-pcase-bindings args)))
|
2015-05-10 18:19:38 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(defmacro seq-let (args seq &rest body)
|
|
|
|
|
"Bind the variables in ARGS to the elements of SEQ then evaluate BODY.
|
2015-05-10 18:19:38 +00:00
|
|
|
|
|
|
|
|
|
ARGS can also include the `&rest' marker followed by a variable
|
|
|
|
|
name to be bound to the rest of SEQ."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(declare (indent 2) (debug t))
|
|
|
|
|
`(pcase-let ((,(seq--make-pcase-patterns args) ,seq))
|
|
|
|
|
,@body))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;; Basic seq functions that have to be implemented by new seq types
|
|
|
|
|
(cl-defgeneric seq-elt (seq n)
|
|
|
|
|
"Return the element of SEQ at index N."
|
|
|
|
|
(elt seq n))
|
|
|
|
|
|
|
|
|
|
;; Default gv setters for `seq-elt'.
|
2015-08-25 07:42:17 +00:00
|
|
|
|
;; It can be a good idea for new sequence implementations to provide a
|
2015-08-14 20:33:10 +00:00
|
|
|
|
;; "gv-setter" for `seq-elt'.
|
|
|
|
|
(cl-defmethod (setf seq-elt) (store (seq array) n)
|
|
|
|
|
(aset seq n store))
|
|
|
|
|
|
|
|
|
|
(cl-defmethod (setf seq-elt) (store (seq cons) n)
|
|
|
|
|
(setcar (nthcdr n seq) store))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-length (seq)
|
|
|
|
|
"Return the length of the sequence SEQ."
|
|
|
|
|
(length seq))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-do (function seq)
|
|
|
|
|
"Apply FUNCTION to each element of SEQ, presumably for side effects.
|
|
|
|
|
Return SEQ."
|
|
|
|
|
(mapc function seq))
|
2015-05-10 18:19:38 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(defalias 'seq-each #'seq-do)
|
2015-05-10 18:19:38 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-p (seq)
|
|
|
|
|
"Return non-nil if SEQ is a sequence, nil otherwise."
|
|
|
|
|
(sequencep seq))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-copy (seq)
|
|
|
|
|
"Return a shallow copy of SEQ."
|
|
|
|
|
(copy-sequence seq))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-subseq (seq start &optional end)
|
|
|
|
|
"Return the subsequence of SEQ from START to END.
|
|
|
|
|
If END is omitted, it defaults to the length of the sequence.
|
|
|
|
|
If START or END is negative, it counts from the end.
|
|
|
|
|
Signal an error if START or END are outside of the sequence (i.e
|
|
|
|
|
too large if positive or too small if negative)."
|
|
|
|
|
(cl-subseq seq start end))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-map (function seq)
|
|
|
|
|
"Return the result of applying FUNCTION to each element of SEQ."
|
|
|
|
|
(let (result)
|
|
|
|
|
(seq-do (lambda (elt)
|
|
|
|
|
(push (funcall function elt) result))
|
|
|
|
|
seq)
|
|
|
|
|
(nreverse result)))
|
|
|
|
|
|
|
|
|
|
;; faster implementation for sequences (sequencep)
|
|
|
|
|
(cl-defmethod seq-map (function (seq sequence))
|
|
|
|
|
(mapcar function seq))
|
2015-05-01 17:30:56 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-drop (seq n)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return a subsequence of SEQ without its first N elements.
|
|
|
|
|
The result is a sequence of the same type as SEQ.
|
|
|
|
|
|
|
|
|
|
If N is a negative integer or zero, SEQ is returned."
|
|
|
|
|
(if (<= n 0)
|
|
|
|
|
seq
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(let ((length (seq-length seq)))
|
|
|
|
|
(seq-subseq seq (min n length) length))))
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-take (seq n)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return a subsequence of SEQ with its first N elements.
|
|
|
|
|
The result is a sequence of the same type as SEQ.
|
|
|
|
|
|
|
|
|
|
If N is a negative integer or zero, an empty sequence is
|
|
|
|
|
returned."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(seq-subseq seq 0 (min (max n 0) (seq-length seq))))
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-drop-while (pred seq)
|
2015-02-06 14:57:54 +00:00
|
|
|
|
"Return a sequence from the first element for which (PRED element) is nil in SEQ.
|
2014-12-16 23:42:30 +00:00
|
|
|
|
The result is a sequence of the same type as SEQ."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(seq-drop seq (seq--count-successive pred seq)))
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-take-while (pred seq)
|
2015-02-06 14:57:54 +00:00
|
|
|
|
"Return the successive elements for which (PRED element) is non-nil in SEQ.
|
2014-12-16 23:42:30 +00:00
|
|
|
|
The result is a sequence of the same type as SEQ."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(seq-take seq (seq--count-successive pred seq)))
|
2014-12-16 23:42:30 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-empty-p (seq)
|
|
|
|
|
"Return non-nil if the sequence SEQ is empty, nil otherwise."
|
|
|
|
|
(= 0 (seq-length seq)))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-sort (pred seq)
|
|
|
|
|
"Return a sorted sequence comparing using PRED the elements of SEQ.
|
|
|
|
|
The result is a sequence of the same type as SEQ."
|
|
|
|
|
(let ((result (seq-sort pred (append seq nil))))
|
|
|
|
|
(seq-into result (type-of seq))))
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-sort (pred (list list))
|
|
|
|
|
(sort (seq-copy list) pred))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-reverse (seq)
|
|
|
|
|
"Return the reversed shallow copy of SEQ."
|
|
|
|
|
(let ((result '()))
|
|
|
|
|
(seq-map (lambda (elt)
|
|
|
|
|
(push elt result))
|
|
|
|
|
seq)
|
|
|
|
|
(seq-into result (type-of seq))))
|
|
|
|
|
|
|
|
|
|
;; faster implementation for sequences (sequencep)
|
|
|
|
|
(cl-defmethod seq-reverse ((seq sequence))
|
|
|
|
|
(reverse seq))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-concatenate (type &rest seqs)
|
|
|
|
|
"Concatenate, into a sequence of type TYPE, the sequences SEQS.
|
|
|
|
|
TYPE must be one of following symbols: vector, string or list.
|
|
|
|
|
|
|
|
|
|
\n(fn TYPE SEQUENCE...)"
|
2015-08-26 22:21:38 +00:00
|
|
|
|
(apply #'cl-concatenate type (seq-map #'seq-into-sequence seqs)))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-into-sequence (seq)
|
|
|
|
|
"Convert SEQ into a sequence.
|
|
|
|
|
|
|
|
|
|
The default implementation is to signal an error if SEQ is not a
|
|
|
|
|
sequence, specific functions should be implemented for new types
|
|
|
|
|
of seq."
|
|
|
|
|
(unless (sequencep seq)
|
|
|
|
|
(error "Cannot convert %S into a sequence" seq))
|
|
|
|
|
seq)
|
2015-08-14 20:33:10 +00:00
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-into (seq type)
|
|
|
|
|
"Convert the sequence SEQ into a sequence of type TYPE.
|
|
|
|
|
TYPE can be one of the following symbols: vector, string or list."
|
|
|
|
|
(pcase type
|
|
|
|
|
(`vector (vconcat seq))
|
|
|
|
|
(`string (concat seq))
|
|
|
|
|
(`list (append seq nil))
|
|
|
|
|
(_ (error "Not a sequence type name: %S" type))))
|
|
|
|
|
|
|
|
|
|
(cl-defgeneric seq-filter (pred seq)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return a list of all the elements for which (PRED element) is non-nil in SEQ."
|
|
|
|
|
(let ((exclude (make-symbol "exclude")))
|
|
|
|
|
(delq exclude (seq-map (lambda (elt)
|
|
|
|
|
(if (funcall pred elt)
|
|
|
|
|
elt
|
|
|
|
|
exclude))
|
|
|
|
|
seq))))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-remove (pred seq)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return a list of all the elements for which (PRED element) is nil in SEQ."
|
|
|
|
|
(seq-filter (lambda (elt) (not (funcall pred elt)))
|
|
|
|
|
seq))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-reduce (function seq initial-value)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Reduce the function FUNCTION across SEQ, starting with INITIAL-VALUE.
|
|
|
|
|
|
|
|
|
|
Return the result of calling FUNCTION with INITIAL-VALUE and the
|
|
|
|
|
first element of SEQ, then calling FUNCTION with that result and
|
|
|
|
|
the second element of SEQ, then with that result and the third
|
|
|
|
|
element of SEQ, etc.
|
|
|
|
|
|
|
|
|
|
If SEQ is empty, return INITIAL-VALUE and FUNCTION is not called."
|
|
|
|
|
(if (seq-empty-p seq)
|
|
|
|
|
initial-value
|
|
|
|
|
(let ((acc initial-value))
|
|
|
|
|
(seq-doseq (elt seq)
|
|
|
|
|
(setq acc (funcall function acc elt)))
|
|
|
|
|
acc)))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-some-p (pred seq)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return any element for which (PRED element) is non-nil in SEQ, nil otherwise."
|
|
|
|
|
(catch 'seq--break
|
|
|
|
|
(seq-doseq (elt seq)
|
|
|
|
|
(when (funcall pred elt)
|
|
|
|
|
(throw 'seq--break elt)))
|
|
|
|
|
nil))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-every-p (pred seq)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return non-nil if (PRED element) is non-nil for all elements of the sequence SEQ."
|
|
|
|
|
(catch 'seq--break
|
|
|
|
|
(seq-doseq (elt seq)
|
|
|
|
|
(or (funcall pred elt)
|
|
|
|
|
(throw 'seq--break nil)))
|
|
|
|
|
t))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-count (pred seq)
|
2015-02-06 14:57:54 +00:00
|
|
|
|
"Return the number of elements for which (PRED element) is non-nil in SEQ."
|
2014-12-16 23:42:30 +00:00
|
|
|
|
(let ((count 0))
|
|
|
|
|
(seq-doseq (elt seq)
|
|
|
|
|
(when (funcall pred elt)
|
|
|
|
|
(setq count (+ 1 count))))
|
|
|
|
|
count))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-contains-p (seq elt &optional testfn)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return the first element in SEQ that equals to ELT.
|
|
|
|
|
Equality is defined by TESTFN if non-nil or by `equal' if nil."
|
|
|
|
|
(seq-some-p (lambda (e)
|
|
|
|
|
(funcall (or testfn #'equal) elt e))
|
|
|
|
|
seq))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-uniq (seq &optional testfn)
|
2014-12-16 23:42:30 +00:00
|
|
|
|
"Return a list of the elements of SEQ with duplicates removed.
|
|
|
|
|
TESTFN is used to compare elements, or `equal' if TESTFN is nil."
|
|
|
|
|
(let ((result '()))
|
|
|
|
|
(seq-doseq (elt seq)
|
|
|
|
|
(unless (seq-contains-p result elt testfn)
|
|
|
|
|
(setq result (cons elt result))))
|
|
|
|
|
(nreverse result)))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-mapcat (function seq &optional type)
|
2015-02-06 14:52:23 +00:00
|
|
|
|
"Concatenate the result of applying FUNCTION to each element of SEQ.
|
|
|
|
|
The result is a sequence of type TYPE, or a list if TYPE is nil."
|
|
|
|
|
(apply #'seq-concatenate (or type 'list)
|
|
|
|
|
(seq-map function seq)))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-partition (seq n)
|
2015-02-06 14:55:57 +00:00
|
|
|
|
"Return a list of the elements of SEQ grouped into sub-sequences of length N.
|
|
|
|
|
The last sequence may contain less than N elements. If N is a
|
|
|
|
|
negative integer or 0, nil is returned."
|
|
|
|
|
(unless (< n 1)
|
|
|
|
|
(let ((result '()))
|
|
|
|
|
(while (not (seq-empty-p seq))
|
|
|
|
|
(push (seq-take seq n) result)
|
|
|
|
|
(setq seq (seq-drop seq n)))
|
|
|
|
|
(nreverse result))))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-intersection (seq1 seq2 &optional testfn)
|
2015-04-14 22:33:27 +00:00
|
|
|
|
"Return a list of the elements that appear in both SEQ1 and SEQ2.
|
|
|
|
|
Equality is defined by TESTFN if non-nil or by `equal' if nil."
|
|
|
|
|
(seq-reduce (lambda (acc elt)
|
|
|
|
|
(if (seq-contains-p seq2 elt testfn)
|
|
|
|
|
(cons elt acc)
|
|
|
|
|
acc))
|
|
|
|
|
(seq-reverse seq1)
|
|
|
|
|
'()))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-difference (seq1 seq2 &optional testfn)
|
2015-06-30 07:31:03 +00:00
|
|
|
|
"Return a list of the elements that appear in SEQ1 but not in SEQ2.
|
2015-04-14 22:33:27 +00:00
|
|
|
|
Equality is defined by TESTFN if non-nil or by `equal' if nil."
|
|
|
|
|
(seq-reduce (lambda (acc elt)
|
|
|
|
|
(if (not (seq-contains-p seq2 elt testfn))
|
|
|
|
|
(cons elt acc)
|
|
|
|
|
acc))
|
|
|
|
|
(seq-reverse seq1)
|
|
|
|
|
'()))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-group-by (function seq)
|
2015-02-06 14:55:57 +00:00
|
|
|
|
"Apply FUNCTION to each element of SEQ.
|
|
|
|
|
Separate the elements of SEQ into an alist using the results as
|
|
|
|
|
keys. Keys are compared using `equal'."
|
2015-02-09 12:14:52 +00:00
|
|
|
|
(seq-reduce
|
|
|
|
|
(lambda (acc elt)
|
|
|
|
|
(let* ((key (funcall function elt))
|
|
|
|
|
(cell (assoc key acc)))
|
|
|
|
|
(if cell
|
|
|
|
|
(setcdr cell (push elt (cdr cell)))
|
|
|
|
|
(push (list key elt) acc))
|
|
|
|
|
acc))
|
|
|
|
|
(seq-reverse seq)
|
|
|
|
|
nil))
|
2015-02-06 14:55:57 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-min (seq)
|
2015-06-30 16:29:32 +00:00
|
|
|
|
"Return the smallest element of SEQ.
|
|
|
|
|
SEQ must be a sequence of numbers or markers."
|
|
|
|
|
(apply #'min (seq-into seq 'list)))
|
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(cl-defgeneric seq-max (seq)
|
|
|
|
|
"Return the largest element of SEQ.
|
2015-06-30 16:29:32 +00:00
|
|
|
|
SEQ must be a sequence of numbers or markers."
|
|
|
|
|
(apply #'max (seq-into seq 'list)))
|
|
|
|
|
|
2014-12-16 23:42:30 +00:00
|
|
|
|
(defun seq--count-successive (pred seq)
|
|
|
|
|
"Return the number of successive elements for which (PRED element) is non-nil in SEQ."
|
|
|
|
|
(let ((n 0)
|
|
|
|
|
(len (seq-length seq)))
|
|
|
|
|
(while (and (< n len)
|
|
|
|
|
(funcall pred (seq-elt seq n)))
|
|
|
|
|
(setq n (+ 1 n)))
|
|
|
|
|
n))
|
|
|
|
|
|
2015-05-12 19:57:18 +00:00
|
|
|
|
(defun seq--make-pcase-bindings (args)
|
|
|
|
|
"Return a list of bindings of the variables in ARGS to the elements of a sequence."
|
|
|
|
|
(let ((bindings '())
|
|
|
|
|
(index 0)
|
2015-05-10 18:19:38 +00:00
|
|
|
|
(rest-marker nil))
|
|
|
|
|
(seq-doseq (name args)
|
|
|
|
|
(unless rest-marker
|
|
|
|
|
(pcase name
|
|
|
|
|
(`&rest
|
2015-05-12 19:57:18 +00:00
|
|
|
|
(progn (push `(app (pcase--flip seq-drop ,index)
|
2015-05-10 18:19:38 +00:00
|
|
|
|
,(seq--elt-safe args (1+ index)))
|
|
|
|
|
bindings)
|
|
|
|
|
(setq rest-marker t)))
|
2015-06-16 21:49:17 +00:00
|
|
|
|
(_
|
2015-05-12 19:57:18 +00:00
|
|
|
|
(push `(app (pcase--flip seq--elt-safe ,index) ,name) bindings))))
|
2015-05-10 18:19:38 +00:00
|
|
|
|
(setq index (1+ index)))
|
|
|
|
|
bindings))
|
2015-05-01 17:30:56 +00:00
|
|
|
|
|
2015-05-12 19:57:18 +00:00
|
|
|
|
(defun seq--make-pcase-patterns (args)
|
|
|
|
|
"Return a list of `(seq ...)' pcase patterns from the argument list ARGS."
|
|
|
|
|
(cons 'seq
|
|
|
|
|
(seq-map (lambda (elt)
|
|
|
|
|
(if (seq-p elt)
|
|
|
|
|
(seq--make-pcase-patterns elt)
|
|
|
|
|
elt))
|
|
|
|
|
args)))
|
2015-05-10 18:19:38 +00:00
|
|
|
|
|
2015-08-14 20:33:10 +00:00
|
|
|
|
;; TODO: make public?
|
2015-05-01 17:30:56 +00:00
|
|
|
|
(defun seq--elt-safe (seq n)
|
|
|
|
|
"Return element of SEQ at the index N.
|
|
|
|
|
If no element is found, return nil."
|
2015-08-14 20:33:10 +00:00
|
|
|
|
(ignore-errors (seq-elt seq n)))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;; Optimized implementations for lists
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-drop ((list list) n)
|
|
|
|
|
"Optimized implementation of `seq-drop' for lists."
|
|
|
|
|
(while (and list (> n 0))
|
|
|
|
|
(setq list (cdr list)
|
|
|
|
|
n (1- n)))
|
|
|
|
|
list)
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-take ((list list) n)
|
|
|
|
|
"Optimized implementation of `seq-take' for lists."
|
|
|
|
|
(let ((result '()))
|
|
|
|
|
(while (and list (> n 0))
|
|
|
|
|
(setq n (1- n))
|
|
|
|
|
(push (pop list) result))
|
|
|
|
|
(nreverse result)))
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-drop-while (pred (list list))
|
|
|
|
|
"Optimized implementation of `seq-drop-while' for lists"
|
|
|
|
|
(while (and list (funcall pred (car list)))
|
|
|
|
|
(setq list (cdr list)))
|
|
|
|
|
list)
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-drop-while (pred (list list))
|
|
|
|
|
"Optimized implementation of `seq-drop-while' for lists"
|
|
|
|
|
(while (and list (funcall pred (car list)))
|
|
|
|
|
(setq list (cdr list)))
|
|
|
|
|
list)
|
|
|
|
|
|
|
|
|
|
(cl-defmethod seq-empty-p ((list list))
|
|
|
|
|
"Optimized implementation of `seq-empty-p' for lists."
|
|
|
|
|
(null list))
|
|
|
|
|
|
2015-04-14 22:33:27 +00:00
|
|
|
|
|
2015-05-10 18:19:38 +00:00
|
|
|
|
(defun seq--activate-font-lock-keywords ()
|
|
|
|
|
"Activate font-lock keywords for some symbols defined in seq."
|
|
|
|
|
(font-lock-add-keywords 'emacs-lisp-mode
|
|
|
|
|
'("\\<seq-doseq\\>" "\\<seq-let\\>")))
|
|
|
|
|
|
2015-04-24 20:11:35 +00:00
|
|
|
|
(unless (fboundp 'elisp--font-lock-flush-elisp-buffers)
|
|
|
|
|
;; In Emacs≥25, (via elisp--font-lock-flush-elisp-buffers and a few others)
|
|
|
|
|
;; we automatically highlight macros.
|
2015-05-13 22:39:49 +00:00
|
|
|
|
(add-hook 'emacs-lisp-mode-hook #'seq--activate-font-lock-keywords))
|
2015-04-14 22:33:27 +00:00
|
|
|
|
|
2014-12-16 23:42:30 +00:00
|
|
|
|
(provide 'seq)
|
|
|
|
|
;;; seq.el ends here
|