blob: 36466f9c1797e4537aac9a49eab51fb2ce991493 [file] [log] [blame]
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00001"""functools.py - Tools for working with functions and callable objects
Thomas Wouters4d70c3d2006-06-08 14:42:34 +00002"""
3# Python module wrapper for _functools C module
4# to allow utilities written in Python to be added
5# to the functools module.
6# Written by Nick Coghlan <ncoghlan at gmail.com>
Georg Brandl2e7346a2010-07-31 18:09:23 +00007# and Raymond Hettinger <python at rcn.com>
8# Copyright (C) 2006-2010 Python Software Foundation.
Thomas Wouters73e5a5b2006-06-08 15:35:45 +00009# See C source code for _functools credits/copyright
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000010
Georg Brandl2e7346a2010-07-31 18:09:23 +000011__all__ = ['update_wrapper', 'wraps', 'WRAPPER_ASSIGNMENTS', 'WRAPPER_UPDATES',
Benjamin Peterson1017ae52010-09-10 23:35:52 +000012 'total_ordering', 'cmp_to_key', 'lru_cache', 'reduce', 'partial']
Georg Brandl2e7346a2010-07-31 18:09:23 +000013
Guido van Rossum0919a1a2006-08-26 20:49:04 +000014from _functools import partial, reduce
Raymond Hettingerec0e9102012-03-16 01:16:31 -070015from collections import namedtuple
Raymond Hettingercbe88132010-08-14 22:22:10 +000016try:
Raymond Hettingerfd541172013-03-01 03:47:57 -080017 from _thread import RLock
Raymond Hettingercbe88132010-08-14 22:22:10 +000018except:
Raymond Hettinger409f6632013-03-01 23:20:13 -080019 class RLock:
20 'Dummy reentrant lock'
21 def __enter__(self): pass
22 def __exit__(self, exctype, excinst, exctb): pass
Thomas Wouters4d70c3d2006-06-08 14:42:34 +000023
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -070024
25################################################################################
26### update_wrapper() and wraps() decorator
27################################################################################
28
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000029# update_wrapper() and wraps() are tools to help write
30# wrapper functions that can handle naive introspection
31
Meador Ingeff7f64c2011-12-11 22:37:31 -060032WRAPPER_ASSIGNMENTS = ('__module__', '__name__', '__qualname__', '__doc__',
33 '__annotations__')
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000034WRAPPER_UPDATES = ('__dict__',)
35def update_wrapper(wrapper,
36 wrapped,
37 assigned = WRAPPER_ASSIGNMENTS,
38 updated = WRAPPER_UPDATES):
39 """Update a wrapper function to look like the wrapped function
40
41 wrapper is the function to be updated
42 wrapped is the original function
43 assigned is a tuple naming the attributes assigned directly
44 from the wrapped function to the wrapper function (defaults to
45 functools.WRAPPER_ASSIGNMENTS)
Thomas Wouters89f507f2006-12-13 04:49:30 +000046 updated is a tuple naming the attributes of the wrapper that
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000047 are updated with the corresponding attribute from the wrapped
48 function (defaults to functools.WRAPPER_UPDATES)
49 """
Nick Coghlan98876832010-08-17 06:17:18 +000050 wrapper.__wrapped__ = wrapped
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000051 for attr in assigned:
Nick Coghlan98876832010-08-17 06:17:18 +000052 try:
53 value = getattr(wrapped, attr)
54 except AttributeError:
55 pass
56 else:
57 setattr(wrapper, attr, value)
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000058 for attr in updated:
Thomas Wouters89f507f2006-12-13 04:49:30 +000059 getattr(wrapper, attr).update(getattr(wrapped, attr, {}))
Thomas Wouters73e5a5b2006-06-08 15:35:45 +000060 # Return the wrapper so this can be used as a decorator via partial()
61 return wrapper
62
63def wraps(wrapped,
64 assigned = WRAPPER_ASSIGNMENTS,
65 updated = WRAPPER_UPDATES):
66 """Decorator factory to apply update_wrapper() to a wrapper function
67
68 Returns a decorator that invokes update_wrapper() with the decorated
69 function as the wrapper argument and the arguments to wraps() as the
70 remaining arguments. Default arguments are as for update_wrapper().
71 This is a convenience function to simplify applying partial() to
72 update_wrapper().
73 """
74 return partial(update_wrapper, wrapped=wrapped,
75 assigned=assigned, updated=updated)
Raymond Hettingerc50846a2010-04-05 18:56:31 +000076
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -070077
78################################################################################
79### total_ordering class decorator
80################################################################################
81
Raymond Hettingerc50846a2010-04-05 18:56:31 +000082def total_ordering(cls):
Georg Brandle5a26732010-05-19 21:06:36 +000083 """Class decorator that fills in missing ordering methods"""
Raymond Hettingerc50846a2010-04-05 18:56:31 +000084 convert = {
Raymond Hettinger23f9fc32011-01-08 07:01:56 +000085 '__lt__': [('__gt__', lambda self, other: not (self < other or self == other)),
86 ('__le__', lambda self, other: self < other or self == other),
Raymond Hettingerc50846a2010-04-05 18:56:31 +000087 ('__ge__', lambda self, other: not self < other)],
Raymond Hettinger23f9fc32011-01-08 07:01:56 +000088 '__le__': [('__ge__', lambda self, other: not self <= other or self == other),
89 ('__lt__', lambda self, other: self <= other and not self == other),
Raymond Hettingerc50846a2010-04-05 18:56:31 +000090 ('__gt__', lambda self, other: not self <= other)],
Raymond Hettinger23f9fc32011-01-08 07:01:56 +000091 '__gt__': [('__lt__', lambda self, other: not (self > other or self == other)),
92 ('__ge__', lambda self, other: self > other or self == other),
Raymond Hettingerc50846a2010-04-05 18:56:31 +000093 ('__le__', lambda self, other: not self > other)],
Raymond Hettinger23f9fc32011-01-08 07:01:56 +000094 '__ge__': [('__le__', lambda self, other: (not self >= other) or self == other),
95 ('__gt__', lambda self, other: self >= other and not self == other),
Raymond Hettingerc50846a2010-04-05 18:56:31 +000096 ('__lt__', lambda self, other: not self >= other)]
97 }
Raymond Hettinger3255c632010-09-16 00:31:21 +000098 # Find user-defined comparisons (not those inherited from object).
Raymond Hettinger1006bd42010-09-14 22:55:13 +000099 roots = [op for op in convert if getattr(cls, op, None) is not getattr(object, op, None)]
Raymond Hettinger56de7e22010-04-10 16:59:03 +0000100 if not roots:
101 raise ValueError('must define at least one ordering operation: < > <= >=')
102 root = max(roots) # prefer __lt__ to __le__ to __gt__ to __ge__
Raymond Hettingerc50846a2010-04-05 18:56:31 +0000103 for opname, opfunc in convert[root]:
104 if opname not in roots:
105 opfunc.__name__ = opname
106 opfunc.__doc__ = getattr(int, opname).__doc__
107 setattr(cls, opname, opfunc)
108 return cls
109
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -0700110
111################################################################################
112### cmp_to_key() function converter
113################################################################################
114
Raymond Hettingerc50846a2010-04-05 18:56:31 +0000115def cmp_to_key(mycmp):
Georg Brandle5a26732010-05-19 21:06:36 +0000116 """Convert a cmp= function into a key= function"""
Raymond Hettingerc50846a2010-04-05 18:56:31 +0000117 class K(object):
Raymond Hettingera0d1d962011-03-21 17:50:28 -0700118 __slots__ = ['obj']
Raymond Hettinger7ab9e222011-04-05 02:33:54 -0700119 def __init__(self, obj):
Raymond Hettingerc50846a2010-04-05 18:56:31 +0000120 self.obj = obj
121 def __lt__(self, other):
122 return mycmp(self.obj, other.obj) < 0
123 def __gt__(self, other):
124 return mycmp(self.obj, other.obj) > 0
125 def __eq__(self, other):
126 return mycmp(self.obj, other.obj) == 0
127 def __le__(self, other):
128 return mycmp(self.obj, other.obj) <= 0
129 def __ge__(self, other):
130 return mycmp(self.obj, other.obj) >= 0
131 def __ne__(self, other):
132 return mycmp(self.obj, other.obj) != 0
Raymond Hettinger003be522011-05-03 11:01:32 -0700133 __hash__ = None
Raymond Hettingerc50846a2010-04-05 18:56:31 +0000134 return K
Georg Brandl2e7346a2010-07-31 18:09:23 +0000135
Raymond Hettinger7ab9e222011-04-05 02:33:54 -0700136try:
137 from _functools import cmp_to_key
138except ImportError:
139 pass
140
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -0700141
142################################################################################
143### LRU Cache function decorator
144################################################################################
145
Raymond Hettingerdce583e2012-03-16 22:12:20 -0700146_CacheInfo = namedtuple("CacheInfo", ["hits", "misses", "maxsize", "currsize"])
Nick Coghlan234515a2010-11-30 06:19:46 +0000147
Raymond Hettinger0c9050c2012-06-04 00:21:14 -0700148class _HashedSeq(list):
Raymond Hettinger9acbb602012-04-30 22:32:16 -0700149 __slots__ = 'hashvalue'
150
Raymond Hettinger0c9050c2012-06-04 00:21:14 -0700151 def __init__(self, tup, hash=hash):
152 self[:] = tup
153 self.hashvalue = hash(tup)
Raymond Hettinger9acbb602012-04-30 22:32:16 -0700154
155 def __hash__(self):
156 return self.hashvalue
157
Raymond Hettinger0c9050c2012-06-04 00:21:14 -0700158def _make_key(args, kwds, typed,
159 kwd_mark = (object(),),
160 fasttypes = {int, str, frozenset, type(None)},
161 sorted=sorted, tuple=tuple, type=type, len=len):
162 'Make a cache key from optionally typed positional and keyword arguments'
163 key = args
164 if kwds:
165 sorted_items = sorted(kwds.items())
166 key += kwd_mark
167 for item in sorted_items:
168 key += item
169 if typed:
170 key += tuple(type(v) for v in args)
171 if kwds:
172 key += tuple(type(v) for k, v in sorted_items)
173 elif len(key) == 1 and type(key[0]) in fasttypes:
174 return key[0]
175 return _HashedSeq(key)
176
Raymond Hettinger010ce322012-05-19 21:20:48 -0700177def lru_cache(maxsize=128, typed=False):
Benjamin Peterson1f594ad2010-08-08 13:17:07 +0000178 """Least-recently-used cache decorator.
Georg Brandl2e7346a2010-07-31 18:09:23 +0000179
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000180 If *maxsize* is set to None, the LRU features are disabled and the cache
181 can grow without bound.
182
Raymond Hettingercd9fdfd2011-10-20 08:57:45 -0700183 If *typed* is True, arguments of different types will be cached separately.
184 For example, f(3.0) and f(3) will be treated as distinct calls with
185 distinct results.
186
Georg Brandl2e7346a2010-07-31 18:09:23 +0000187 Arguments to the cached function must be hashable.
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000188
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700189 View the cache statistics named tuple (hits, misses, maxsize, currsize)
190 with f.cache_info(). Clear the cache and statistics with f.cache_clear().
Raymond Hettinger00f2f972010-12-01 00:47:56 +0000191 Access the underlying function with f.__wrapped__.
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000192
193 See: http://en.wikipedia.org/wiki/Cache_algorithms#Least_Recently_Used
Georg Brandl2e7346a2010-07-31 18:09:23 +0000194
Benjamin Peterson1f594ad2010-08-08 13:17:07 +0000195 """
Raymond Hettinger1ff50df2012-03-30 13:15:48 -0700196
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000197 # Users should only access the lru_cache through its public API:
Raymond Hettinger5e20bab2010-11-30 07:13:04 +0000198 # cache_info, cache_clear, and f.__wrapped__
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000199 # The internals of the lru_cache are encapsulated for thread safety and
200 # to allow the implementation to change (including a possible C version).
201
Raymond Hettinger9f0ab9f2012-04-29 14:55:27 -0700202 # Constants shared by all lru cache instances:
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700203 sentinel = object() # unique object used to signal cache misses
Raymond Hettinger0c9050c2012-06-04 00:21:14 -0700204 make_key = _make_key # build a key from the function arguments
Raymond Hettinger9f0ab9f2012-04-29 14:55:27 -0700205 PREV, NEXT, KEY, RESULT = 0, 1, 2, 3 # names for the link fields
206
Raymond Hettinger6e8c8172012-03-16 16:53:05 -0700207 def decorating_function(user_function):
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000208
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700209 cache = {}
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700210 hits = misses = currsize = 0
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700211 full = False
Raymond Hettingerc6897852012-03-31 02:19:06 -0700212 cache_get = cache.get # bound method to lookup a key or return None
Raymond Hettingerfd541172013-03-01 03:47:57 -0800213 lock = RLock() # because linkedlist updates aren't threadsafe
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700214 root = [] # root of the circular doubly linked list
215 root[:] = [root, root, None, None] # initialize by pointing to self
Raymond Hettinger6e8c8172012-03-16 16:53:05 -0700216
Raymond Hettinger7e0c5812012-03-17 15:10:24 -0700217 if maxsize == 0:
218
Raymond Hettinger7e0c5812012-03-17 15:10:24 -0700219 def wrapper(*args, **kwds):
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700220 # no caching, just a statistics update after a successful call
Raymond Hettinger7e0c5812012-03-17 15:10:24 -0700221 nonlocal misses
Raymond Hettinger7dabfed2012-03-17 15:11:09 -0700222 result = user_function(*args, **kwds)
Raymond Hettinger7e0c5812012-03-17 15:10:24 -0700223 misses += 1
224 return result
225
226 elif maxsize is None:
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -0700227
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000228 def wrapper(*args, **kwds):
Raymond Hettingerec0e9102012-03-16 01:16:31 -0700229 # simple caching without ordering or size limit
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700230 nonlocal hits, misses, currsize
Raymond Hettinger9acbb602012-04-30 22:32:16 -0700231 key = make_key(args, kwds, typed)
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700232 result = cache_get(key, sentinel)
233 if result is not sentinel:
Nick Coghlan234515a2010-11-30 06:19:46 +0000234 hits += 1
Raymond Hettinger4b779b32011-10-15 23:50:42 -0700235 return result
Raymond Hettinger4b779b32011-10-15 23:50:42 -0700236 result = user_function(*args, **kwds)
237 cache[key] = result
238 misses += 1
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700239 currsize += 1
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000240 return result
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -0700241
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000242 else:
Raymond Hettingerbc8e81d2012-03-17 00:24:09 -0700243
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000244 def wrapper(*args, **kwds):
Raymond Hettingerec0e9102012-03-16 01:16:31 -0700245 # size limited caching that tracks accesses by recency
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700246 nonlocal root, hits, misses, currsize, full
Raymond Hettinger9acbb602012-04-30 22:32:16 -0700247 key = make_key(args, kwds, typed)
Raymond Hettinger4b779b32011-10-15 23:50:42 -0700248 with lock:
Raymond Hettingerec0e9102012-03-16 01:16:31 -0700249 link = cache_get(key)
250 if link is not None:
Raymond Hettinger7f7a5a72012-03-30 21:50:40 -0700251 # move the link to the front of the circular queue
Raymond Hettingerec0e9102012-03-16 01:16:31 -0700252 link_prev, link_next, key, result = link
253 link_prev[NEXT] = link_next
254 link_next[PREV] = link_prev
255 last = root[PREV]
256 last[NEXT] = root[PREV] = link
257 link[PREV] = last
258 link[NEXT] = root
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000259 hits += 1
Raymond Hettinger4b779b32011-10-15 23:50:42 -0700260 return result
Raymond Hettinger4b779b32011-10-15 23:50:42 -0700261 result = user_function(*args, **kwds)
262 with lock:
Raymond Hettinger34d94a22012-04-30 14:14:28 -0700263 if key in cache:
264 # getting here means that this same key was added to the
265 # cache while the lock was released. since the link
266 # update is already done, we need only return the
267 # computed result and update the count of misses.
268 pass
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700269 elif full:
Raymond Hettinger41eb79a2012-03-30 19:15:18 -0700270 # use root to store the new key and result
271 root[KEY] = key
272 root[RESULT] = result
273 cache[key] = root
274 # empty the oldest link and make it the new root
275 root = root[NEXT]
276 del cache[root[KEY]]
Raymond Hettingerc6897852012-03-31 02:19:06 -0700277 root[KEY] = root[RESULT] = None
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700278 else:
279 # put result in a new link at the front of the queue
280 last = root[PREV]
281 link = [last, root, key, result]
282 cache[key] = last[NEXT] = root[PREV] = link
283 currsize += 1
284 full = (currsize == maxsize)
Raymond Hettingerec0e9102012-03-16 01:16:31 -0700285 misses += 1
Raymond Hettingerc79fb0e2010-12-01 03:45:41 +0000286 return result
Georg Brandl2e7346a2010-07-31 18:09:23 +0000287
Nick Coghlan234515a2010-11-30 06:19:46 +0000288 def cache_info():
Raymond Hettinger5e20bab2010-11-30 07:13:04 +0000289 """Report cache statistics"""
Nick Coghlan234515a2010-11-30 06:19:46 +0000290 with lock:
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700291 return _CacheInfo(hits, misses, maxsize, currsize)
Nick Coghlan234515a2010-11-30 06:19:46 +0000292
Raymond Hettinger02566ec2010-09-04 22:46:06 +0000293 def cache_clear():
Benjamin Peterson1f594ad2010-08-08 13:17:07 +0000294 """Clear the cache and cache statistics"""
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700295 nonlocal hits, misses, currsize, full
Raymond Hettingercbe88132010-08-14 22:22:10 +0000296 with lock:
297 cache.clear()
Benjamin Peterson954cf572012-03-16 18:22:26 -0500298 root[:] = [root, root, None, None]
Raymond Hettingerb6b98c02012-04-29 18:09:02 -0700299 hits = misses = currsize = 0
Raymond Hettinger018b4fb2012-04-30 20:48:55 -0700300 full = False
Georg Brandl2e7346a2010-07-31 18:09:23 +0000301
Nick Coghlan234515a2010-11-30 06:19:46 +0000302 wrapper.cache_info = cache_info
Raymond Hettinger02566ec2010-09-04 22:46:06 +0000303 wrapper.cache_clear = cache_clear
Raymond Hettinger1ff50df2012-03-30 13:15:48 -0700304 return update_wrapper(wrapper, user_function)
Raymond Hettinger5fa40c02010-11-25 08:11:57 +0000305
Georg Brandl2e7346a2010-07-31 18:09:23 +0000306 return decorating_function