1 ;;; map.el --- Map manipulation functions -*- lexical-binding: t; -*-
3 ;; Copyright (C) 2015-2017 Free Software Foundation, Inc.
5 ;; Author: Nicolas Petton <nicolas@petton.fr>
6 ;; Keywords: convenience, map, hash-table, alist, array
10 ;; Maintainer: emacs-devel@gnu.org
12 ;; This file is part of GNU Emacs.
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.
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.
24 ;; You should have received a copy of the GNU General Public License
25 ;; along with this program. If not, see <http://www.gnu.org/licenses/>.
29 ;; map.el provides map-manipulation functions that work on alists,
30 ;; hash-table and arrays. All functions are prefixed with "map-".
32 ;; Functions taking a predicate or iterating over a map using a
33 ;; function take the function as their first argument. All other
34 ;; functions take the map as their first argument.
37 ;; - Add support for char-tables
38 ;; - Maybe add support for gv?
39 ;; - See if we can integrate text-properties
40 ;; - A macro similar to let-alist but working on any type of map could
46 (eval-when-compile (require 'cl-lib
))
48 (pcase-defmacro map
(&rest args
)
49 "Build a `pcase' pattern matching map elements.
51 ARGS is a list of elements to be matched in the map.
53 Each element of ARGS can be of the form (KEY PAT), in which case KEY is
54 evaluated and searched for in the map. The match fails if for any KEY
55 found in the map, the corresponding PAT doesn't match the value
56 associated to the KEY.
58 Each element can also be a SYMBOL, which is an abbreviation of a (KEY
59 PAT) tuple of the form (\\='SYMBOL SYMBOL).
61 Keys in ARGS not found in the map are ignored, and the match doesn't
64 ,@(map--make-pcase-bindings args
)))
66 (defmacro map-let
(keys map
&rest body
)
67 "Bind the variables in KEYS to the elements of MAP then evaluate BODY.
69 KEYS can be a list of symbols, in which case each element will be
70 bound to the looked up value in MAP.
72 KEYS can also be a list of (KEY VARNAME) pairs, in which case
73 KEY is an unquoted form.
75 MAP can be a list, hash-table or array."
76 (declare (indent 2) (debug t
))
77 `(pcase-let ((,(map--make-pcase-patterns keys
) ,map
))
81 (defmacro map--dispatch
(map-var &rest args
)
82 "Evaluate one of the forms specified by ARGS based on the type of MAP-VAR.
84 The following keyword types are meaningful: `:list',
85 `:hash-table' and `:array'.
87 An error is thrown if MAP-VAR is neither a list, hash-table nor array.
89 Returns the result of evaluating the form associated with MAP-VAR's type."
90 (declare (debug t
) (indent 1))
91 `(cond ((listp ,map-var
) ,(plist-get args
:list
))
92 ((hash-table-p ,map-var
) ,(plist-get args
:hash-table
))
93 ((arrayp ,map-var
) ,(plist-get args
:array
))
94 (t (error "Unsupported map: %s" ,map-var
)))))
96 (defun map-elt (map key
&optional default testfn
)
97 "Lookup KEY in MAP and return its associated value.
98 If KEY is not found, return DEFAULT which defaults to nil.
100 If MAP is a list, `eql' is used to lookup KEY. Optional argument
101 TESTFN, if non-nil, means use its function definition instead of
104 MAP can be a list, hash-table or array."
108 (gv-letplace (mgetter msetter
) `(gv-delay-error ,map
)
110 ;; Eval them once and for all in the right order.
111 ((key key
) (default default
) (testfn testfn
))
112 `(if (listp ,mgetter
)
113 ;; Special case the alist case, since it can't be handled by the
114 ;; map--put function.
115 ,(gv-get `(alist-get ,key
(gv-synthetic-place
117 ,default nil
,testfn
)
119 ,(funcall do
`(map-elt ,mgetter
,key
,default
)
120 (lambda (v) `(map--put ,mgetter
,key
,v
)))))))))
122 :list
(alist-get key map default nil testfn
)
123 :hash-table
(gethash key map default
)
124 :array
(if (and (>= key
0) (< key
(seq-length map
)))
128 (defmacro map-put
(map key value
&optional testfn
)
129 "Associate KEY with VALUE in MAP and return VALUE.
130 If KEY is already present in MAP, replace the associated value
132 When MAP is a list, test equality with TESTFN if non-nil, otherwise use `eql'.
134 MAP can be a list, hash-table or array."
135 `(setf (map-elt ,map
,key nil
,testfn
) ,value
))
137 (defun map-delete (map key
)
138 "Delete KEY from MAP and return MAP.
139 No error is signaled if KEY is not a key of MAP. If MAP is an
140 array, store nil at the index KEY.
142 MAP can be a list, hash-table or array."
144 :list
(setf (alist-get key map nil t
) nil
)
145 :hash-table
(remhash key map
)
146 :array
(and (>= key
0)
147 (<= key
(seq-length map
))
151 (defun map-nested-elt (map keys
&optional default
)
152 "Traverse MAP using KEYS and return the looked up value or DEFAULT if nil.
154 Map can be a nested map composed of alists, hash-tables and arrays."
155 (or (seq-reduce (lambda (acc key
)
162 (defun map-keys (map)
163 "Return the list of keys in MAP.
165 MAP can be a list, hash-table or array."
166 (map-apply (lambda (key _
) key
) map
))
168 (defun map-values (map)
169 "Return the list of values in MAP.
171 MAP can be a list, hash-table or array."
172 (map-apply (lambda (_ value
) value
) map
))
174 (defun map-pairs (map)
175 "Return the elements of MAP as key/value association lists.
177 MAP can be a list, hash-table or array."
178 (map-apply #'cons map
))
180 (defun map-length (map)
181 "Return the length of MAP.
183 MAP can be a list, hash-table or array."
184 (length (map-keys map
)))
186 (defun map-copy (map)
187 "Return a copy of MAP.
189 MAP can be a list, hash-table or array."
192 :hash-table
(copy-hash-table map
)
193 :array
(seq-copy map
)))
195 (defun map-apply (function map
)
196 "Apply FUNCTION to each element of MAP and return the result as a list.
197 FUNCTION is called with two arguments, the key and the value.
199 MAP can be a list, hash-table or array."
200 (funcall (map--dispatch map
201 :list
#'map--apply-alist
202 :hash-table
#'map--apply-hash-table
203 :array
#'map--apply-array
)
207 (defun map-do (function map
)
208 "Apply FUNCTION to each element of MAP and return nil.
209 FUNCTION.is called with two arguments, the key and the value."
210 (funcall (map--dispatch map
211 :list
#'map--do-alist
212 :hash-table
#'maphash
213 :array
#'map--do-array
)
217 (defun map-keys-apply (function map
)
218 "Return the result of applying FUNCTION to each key of MAP.
220 MAP can be a list, hash-table or array."
221 (map-apply (lambda (key _
)
222 (funcall function key
))
225 (defun map-values-apply (function map
)
226 "Return the result of applying FUNCTION to each value of MAP.
228 MAP can be a list, hash-table or array."
229 (map-apply (lambda (_ val
)
230 (funcall function val
))
233 (defun map-filter (pred map
)
234 "Return an alist of key/val pairs for which (PRED key val) is non-nil in MAP.
236 MAP can be a list, hash-table or array."
237 (delq nil
(map-apply (lambda (key val
)
238 (if (funcall pred key val
)
243 (defun map-remove (pred map
)
244 "Return an alist of the key/val pairs for which (PRED key val) is nil in MAP.
246 MAP can be a list, hash-table or array."
247 (map-filter (lambda (key val
) (not (funcall pred key val
)))
251 "Return non-nil if MAP is a map (list, hash-table or array)."
256 (defun map-empty-p (map)
257 "Return non-nil if MAP is empty.
259 MAP can be a list, hash-table or array."
262 :array
(seq-empty-p map
)
263 :hash-table
(zerop (hash-table-count map
))))
265 (defun map-contains-key (map key
&optional testfn
)
266 "If MAP contain KEY return KEY, nil otherwise.
267 Equality is defined by TESTFN if non-nil or by `equal' if nil.
269 MAP can be a list, hash-table or array."
270 (seq-contains (map-keys map
) key testfn
))
272 (defun map-some (pred map
)
273 "Return a non-nil if (PRED key val) is non-nil for any key/value pair in MAP.
275 MAP can be a list, hash-table or array."
277 (map-apply (lambda (key value
)
278 (let ((result (funcall pred key value
)))
280 (throw 'map--break result
))))
284 (defun map-every-p (pred map
)
285 "Return non-nil if (PRED key val) is non-nil for all elements of the map MAP.
287 MAP can be a list, hash-table or array."
289 (map-apply (lambda (key value
)
290 (or (funcall pred key value
)
291 (throw 'map--break nil
)))
295 (defun map-merge (type &rest maps
)
296 "Merge into a map of type TYPE all the key/value pairs in MAPS.
298 MAP can be a list, hash-table or array."
299 (let ((result (map-into (pop maps
) type
)))
301 ;; FIXME: When `type' is `list', we get an O(N^2) behavior.
302 ;; For small tables, this is fine, but for large tables, we
303 ;; should probably use a hash-table internally which we convert
304 ;; to an alist in the end.
305 (map-apply (lambda (key value
)
306 (setf (map-elt result key
) value
))
310 (defun map-merge-with (type function
&rest maps
)
311 "Merge into a map of type TYPE all the key/value pairs in MAPS.
312 When two maps contain the same key, call FUNCTION on the two
313 values and use the value returned by it.
314 MAP can be a list, hash-table or array."
315 (let ((result (map-into (pop maps
) type
))
316 (not-found (cons nil nil
)))
318 (map-apply (lambda (key value
)
319 (cl-callf (lambda (old)
320 (if (eq old not-found
)
322 (funcall function old value
)))
323 (map-elt result key not-found
)))
327 (defun map-into (map type
)
328 "Convert the map MAP into a map of type TYPE.
330 TYPE can be one of the following symbols: list or hash-table.
331 MAP can be a list, hash-table or array."
333 (`list
(map-pairs map
))
334 (`hash-table
(map--into-hash-table map
))
335 (_ (error "Not a map type name: %S" type
))))
337 (defun map--put (map key v
)
339 :list
(let ((p (assoc key map
)))
341 (error "No place to change the mapping for %S" key
)))
342 :hash-table
(puthash key v map
)
343 :array
(aset map key v
)))
345 (defun map--apply-alist (function map
)
346 "Private function used to apply FUNCTION over MAP, MAP being an alist."
347 (seq-map (lambda (pair)
353 (defun map--apply-hash-table (function map
)
354 "Private function used to apply FUNCTION over MAP, MAP being a hash-table."
356 (maphash (lambda (key value
)
357 (push (funcall function key value
) result
))
361 (defun map--apply-array (function map
)
362 "Private function used to apply FUNCTION over MAP, MAP being an array."
364 (seq-map (lambda (elt)
366 (funcall function index elt
)
367 (setq index
(1+ index
))))
370 (defun map--do-alist (function alist
)
371 "Private function used to iterate over ALIST using FUNCTION."
372 (seq-do (lambda (pair)
378 (defun map--do-array (function array
)
379 "Private function used to iterate over ARRAY using FUNCTION."
380 (seq-do-indexed (lambda (elt index
)
381 (funcall function index elt
))
384 (defun map--into-hash-table (map)
385 "Convert MAP into a hash-table."
386 (let ((ht (make-hash-table :size
(map-length map
)
388 (map-apply (lambda (key value
)
389 (setf (map-elt ht key
) value
))
393 (defun map--make-pcase-bindings (args)
394 "Return a list of pcase bindings from ARGS to the elements of a map."
395 (seq-map (lambda (elt)
397 `(app (pcase--flip map-elt
,(car elt
)) ,(cadr elt
))
398 `(app (pcase--flip map-elt
',elt
) ,elt
)))
401 (defun map--make-pcase-patterns (args)
402 "Return a list of `(map ...)' pcase patterns built from ARGS."
404 (seq-map (lambda (elt)
405 (if (and (consp elt
) (eq 'map
(car elt
)))
406 (map--make-pcase-patterns elt
)