| # Copyright 2018 The Bazel Authors. All rights reserved. |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); |
| # you may not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # http://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| |
| """Starlark module for working with partial function objects. |
| |
| Partial function objects allow some parameters are bound before the call. |
| |
| Similar to https://docs.python.org/3/library/functools.html#functools.partial. |
| """ |
| |
| # create instance singletons to avoid unnecessary allocations |
| _a_dict_type = type({}) |
| _a_tuple_type = type(()) |
| _a_struct_type = type(struct()) |
| |
| def _call(partial, *args, **kwargs): |
| """Calls a partial created using `make`. |
| |
| Args: |
| partial: The partial to be called. |
| *args: Additional positional arguments to be appended to the ones given to |
| make. |
| **kwargs: Additional keyword arguments to augment and override the ones |
| given to make. |
| |
| Returns: |
| Whatever the function in the partial returns. |
| """ |
| function_args = partial.args + args |
| function_kwargs = dict(partial.kwargs) |
| function_kwargs.update(kwargs) |
| return partial.function(*function_args, **function_kwargs) |
| |
| def _make(func, *args, **kwargs): |
| """Creates a partial that can be called using `call`. |
| |
| A partial can have args assigned to it at the make site, and can have args |
| passed to it at the call sites. |
| |
| A partial 'function' can be defined with positional args and kwargs: |
| |
| # function with no args |
| ``` |
| def function1(): |
| ... |
| ``` |
| |
| # function with 2 args |
| ``` |
| def function2(arg1, arg2): |
| ... |
| ``` |
| |
| # function with 2 args and keyword args |
| ``` |
| def function3(arg1, arg2, x, y): |
| ... |
| ``` |
| |
| The positional args passed to the function are the args passed into make |
| followed by any additional positional args given to call. The below example |
| illustrates a function with two positional arguments where one is supplied by |
| make and the other by call: |
| |
| # function demonstrating 1 arg at make site, and 1 arg at call site |
| ``` |
| def _foo(make_arg1, func_arg1): |
| print(make_arg1 + " " + func_arg1 + "!") |
| ``` |
| |
| For example: |
| |
| ``` |
| hi_func = partial.make(_foo, "Hello") |
| bye_func = partial.make(_foo, "Goodbye") |
| partial.call(hi_func, "Jennifer") |
| partial.call(hi_func, "Dave") |
| partial.call(bye_func, "Jennifer") |
| partial.call(bye_func, "Dave") |
| ``` |
| |
| prints: |
| |
| ``` |
| "Hello, Jennifer!" |
| "Hello, Dave!" |
| "Goodbye, Jennifer!" |
| "Goodbye, Dave!" |
| ``` |
| |
| The keyword args given to the function are the kwargs passed into make |
| unioned with the keyword args given to call. In case of a conflict, the |
| keyword args given to call take precedence. This allows you to set a default |
| value for keyword arguments and override it at the call site. |
| |
| Example with a make site arg, a call site arg, a make site kwarg and a |
| call site kwarg: |
| |
| ``` |
| def _foo(make_arg1, call_arg1, make_location, call_location): |
| print(make_arg1 + " is from " + make_location + " and " + |
| call_arg1 + " is from " + call_location + "!") |
| |
| func = partial.make(_foo, "Ben", make_location="Hollywood") |
| partial.call(func, "Jennifer", call_location="Denver") |
| ``` |
| |
| Prints "Ben is from Hollywood and Jennifer is from Denver!". |
| |
| ``` |
| partial.call(func, "Jennifer", make_location="LA", call_location="Denver") |
| ``` |
| |
| Prints "Ben is from LA and Jennifer is from Denver!". |
| |
| Note that keyword args may not overlap with positional args, regardless of |
| whether they are given during the make or call step. For instance, you can't |
| do: |
| |
| ``` |
| def foo(x): |
| pass |
| |
| func = partial.make(foo, 1) |
| partial.call(func, x=2) |
| ``` |
| |
| Args: |
| func: The function to be called. |
| *args: Positional arguments to be passed to function. |
| **kwargs: Keyword arguments to be passed to function. Note that these can |
| be overridden at the call sites. |
| |
| Returns: |
| A new `partial` that can be called using `call` |
| """ |
| return struct(function = func, args = args, kwargs = kwargs) |
| |
| def _is_instance(v): |
| """Returns True if v is a partial created using `make`. |
| |
| Args: |
| v: The value to check. |
| |
| Returns: |
| True if v was created by `make`, False otherwise. |
| """ |
| |
| # Note that in bazel 3.7.0 and earlier, type(v.function) is the same |
| # as the type of a function even if v.function is a rule. But we |
| # cannot rely on this in later bazels due to breaking change |
| # https://github.com/bazelbuild/bazel/commit/e379ece1908aafc852f9227175dd3283312b4b82 |
| # |
| # Since this check is heuristic anyway, we simply check for the |
| # presence of a "function" attribute without checking its type. |
| return type(v) == _a_struct_type and \ |
| hasattr(v, "function") and \ |
| hasattr(v, "args") and type(v.args) == _a_tuple_type and \ |
| hasattr(v, "kwargs") and type(v.kwargs) == _a_dict_type |
| |
| partial = struct( |
| make = _make, |
| call = _call, |
| is_instance = _is_instance, |
| ) |