diff --git a/python/builtins.py b/python/builtins.py index 9a3c3097..0e4e5641 100644 --- a/python/builtins.py +++ b/python/builtins.py @@ -57,6 +57,11 @@ def map(f, iterable): for i in iterable: yield f(i) +def filter(f, iterable): + for i in iterable: + if f(i): + yield i + def zip(a, b): for i in range(min(len(a), len(b))): yield (a[i], b[i])