feat(patterns): support building sequences in replacement patterns

ibis/common/patterns.py

@@ -328,7 +328,7 @@ def __eq__(self, other):
         ...
 
     @abstractmethod
-    def make(self, context: dict):
+    def build(self, context: dict):
         """Construct a new object from the context.
 
         Parameters
@@ -343,36 +343,6 @@ def make(self, context: dict):
         """
 
 
-def builder(obj):
-    """Convert an object to a builder.
-
-    It encapsulates:
-        - callable objects into a `Factory` builder
-        - non-callable objects into a `Just` builder
-
-    Parameters
-    ----------
-    obj
-        The object to convert to a builder.
-
-    Returns
-    -------
-    The builder instance.
-    """
-    # TODO(kszucs): the replacer object must be handled differently from patterns
-    # basically a replacer is just a lazy way to construct objects from the context
-    # we should have a separate base class for replacers like Variable, Function,
-    # Just, Apply and Call. Something like Replacer with a specific method e.g.
-    # apply() could work
-    if isinstance(obj, Builder):
-        return obj
-    elif callable(obj):
-        # not function but something else
-        return Factory(obj)
-    else:
-        return Just(obj)
-
-
 class Variable(Slotted, Builder):
     """Retrieve a value from the context.
 
@@ -388,7 +358,7 @@ class Variable(Slotted, Builder):
     def __init__(self, name):
         super().__init__(name=name)
 
-    def make(self, context):
+    def build(self, context):
         return context[self]
 
     def __getattr__(self, name):
@@ -410,11 +380,17 @@ class Just(Slotted, Builder):
     __slots__ = ("value",)
     value: AnyType
 
+    @classmethod
+    def __create__(cls, value):
+        if isinstance(value, Just):
+            return value
+        return super().__create__(value)
+
     def __init__(self, value):
         assert not isinstance(value, (Pattern, Builder))
         super().__init__(value=value)
 
-    def make(self, context):
+    def build(self, context):
         return self.value
 
 
@@ -440,7 +416,7 @@ def __init__(self, func):
         assert callable(func)
         super().__init__(func=func)
 
-    def make(self, context):
+    def build(self, context):
         value = context[_]
         return self.func(value, context)
 
@@ -471,9 +447,9 @@ def __init__(self, func, *args, **kwargs):
         kwargs = frozendict({k: builder(v) for k, v in kwargs.items()})
         super().__init__(func=func, args=args, kwargs=kwargs)
 
-    def make(self, context):
-        args = tuple(arg.make(context) for arg in self.args)
-        kwargs = {k: v.make(context) for k, v in self.kwargs.items()}
+    def build(self, context):
+        args = tuple(arg.build(context) for arg in self.args)
+        kwargs = {k: v.build(context) for k, v in self.kwargs.items()}
         return self.func(*args, **kwargs)
 
     def __call__(self, *args, **kwargs):
@@ -500,7 +476,7 @@ def namespace(cls, module) -> Namespace:
         >>> pattern = c.Negate(x)
         >>> pattern
         Call(func=<class 'ibis.expr.operations.numeric.Negate'>, args=(Variable(name='x'),), kwargs=FrozenDict({}))
-        >>> pattern.make({x: 5})
+        >>> pattern.build({x: 5})
         <ibis.expr.operations.numeric.Negate object at 0x...>
         """
         return Namespace(cls, module)
@@ -597,7 +573,16 @@ def match(self, value, context):
         # use the `_` reserved variable to record the value being replaced
         # in the context, so that it can be used in the replacer pattern
         context[_] = value
-        return self.builder.make(context)
+        return self.builder.build(context)
+
+
+def replace(matcher):
+    """More convenient syntax for replacing a value with the output of a function."""
+
+    def decorator(replacer):
+        return Replace(matcher, replacer)
+
+    return decorator
 
 
 class Check(Slotted, Pattern):
@@ -1179,6 +1164,31 @@ def match(self, value, context):
         return value
 
 
+class Between(Slotted, Pattern):
+    """Match a value between two bounds.
+
+    Parameters
+    ----------
+    lower
+        The lower bound.
+    upper
+        The upper bound.
+    """
+
+    __slots__ = ("lower", "upper")
+    lower: float
+    upper: float
+
+    def __init__(self, lower: float = -math.inf, upper: float = math.inf):
+        super().__init__(lower=lower, upper=upper)
+
+    def match(self, value, context):
+        if self.lower <= value <= self.upper:
+            return value
+        else:
+            return NoMatch
+
+
 class Contains(Slotted, Pattern):
     """Pattern that matches if a value contains a given value.
 
@@ -1251,7 +1261,8 @@ class SequenceOf(Slotted, Pattern):
     item: Pattern
     type: type
 
-    def __new__(
+    @classmethod
+    def __create__(
         cls,
         item,
         type: type = tuple,
@@ -1268,8 +1279,7 @@ def __new__(
             return GenericSequenceOf(
                 item, type=type, exactly=exactly, at_least=at_least, at_most=at_most
             )
-        else:
-            return super().__new__(cls)
+        return super().__create__(item, type=type)
 
     def __init__(self, item, type=tuple):
         super().__init__(item=pattern(item), type=type)
@@ -1315,7 +1325,8 @@ class GenericSequenceOf(Slotted, Pattern):
     type: Pattern
     length: Length
 
-    def __new__(
+    @classmethod
+    def __create__(
         cls,
         item: Pattern,
         type: type = tuple,
@@ -1331,7 +1342,7 @@ def __new__(
         ):
             return SequenceOf(item, type=type)
         else:
-            return super().__new__(cls)
+            return super().__create__(item, type, exactly, at_least, at_most)
 
     def __init__(
         self,
@@ -1376,11 +1387,11 @@ class TupleOf(Slotted, Pattern):
     __slots__ = ("fields",)
     fields: tuple[Pattern, ...]
 
-    def __new__(cls, fields):
-        if isinstance(fields, tuple):
-            return super().__new__(cls)
-        else:
+    @classmethod
+    def __create__(cls, fields):
+        if not isinstance(fields, tuple):
             return SequenceOf(fields, tuple)
+        return super().__create__(fields)
 
     def __init__(self, fields):
         fields = tuple(map(pattern, fields))
@@ -1494,11 +1505,11 @@ class Object(Slotted, Pattern):
     args: tuple[Pattern, ...]
     kwargs: FrozenDict[str, Pattern]
 
-    def __new__(cls, type, *args, **kwargs):
+    @classmethod
+    def __create__(cls, type, *args, **kwargs):
         if not args and not kwargs:
             return InstanceOf(type)
-        else:
-            return super().__new__(cls)
+        return super().__create__(type, *args, **kwargs)
 
     def __init__(self, type, *args, **kwargs):
         type = pattern(type)
@@ -1708,29 +1719,47 @@ def match(self, value, context):
         return dict(zip(keys, values))
 
 
-class Between(Slotted, Pattern):
-    """Match a value between two bounds.
+class Topmost(Slotted, Pattern):
+    """Traverse the value tree topmost first and match the first value that matches."""
 
-    Parameters
-    ----------
-    lower
-        The lower bound.
-    upper
-        The upper bound.
-    """
+    __slots__ = ("pattern", "filter")
+    pattern: Pattern
+    filter: AnyType
 
-    __slots__ = ("lower", "upper")
-    lower: float
-    upper: float
+    def __init__(self, searcher, filter=None):
+        super().__init__(pattern=pattern(searcher), filter=filter)
 
-    def __init__(self, lower: float = -math.inf, upper: float = math.inf):
-        super().__init__(lower=lower, upper=upper)
+    def match(self, value, context):
+        result = self.pattern.match(value, context)
+        if result is not NoMatch:
+            return result
+
+        for child in value.__children__(self.filter):
+            result = self.match(child, context)
+            if result is not NoMatch:
+                return result
+
+        return NoMatch
+
+
+class Innermost(Slotted, Pattern):
+    # matches items in the innermost layer first, but all matches belong to the same layer
+    """Traverse the value tree innermost first and match the first value that matches."""
+
+    __slots__ = ("pattern", "filter")
+    pattern: Pattern
+    filter: AnyType
+
+    def __init__(self, searcher, filter=None):
+        super().__init__(pattern=pattern(searcher), filter=filter)
 
     def match(self, value, context):
-        if self.lower <= value <= self.upper:
-            return value
-        else:
-            return NoMatch
+        for child in value.__children__(self.filter):
+            result = self.match(child, context)
+            if result is not NoMatch:
+                return result
+
+        return self.pattern.match(value, context)
 
 
 def NoneOf(*args) -> Pattern:
@@ -1753,6 +1782,39 @@ def FrozenDictOf(key_pattern, value_pattern):
     return MappingOf(key_pattern, value_pattern, type=frozendict)
 
 
+def builder(obj):
+    """Convert an object to a builder.
+
+    It encapsulates:
+        - callable objects into a `Factory` builder
+        - non-callable objects into a `Just` builder
+
+    Parameters
+    ----------
+    obj
+        The object to convert to a builder.
+
+    Returns
+    -------
+    The builder instance.
+    """
+    if isinstance(obj, Builder):
+        # already a builder, no need to convert
+        return obj
+    elif callable(obj):
+        # the callable builds the substitution
+        return Factory(obj)
+    elif isinstance(obj, Sequence):
+        # allow nesting builder patterns in tuples/lists
+        return Call(lambda *args: type(obj)(args), *obj)
+    elif isinstance(obj, Mapping):
+        # allow nesting builder patterns in dicts
+        return Call(type(obj), **obj)
+    else:
+        # the object is used as a constant value
+        return Just(obj)
+
+
 def pattern(obj: AnyType) -> Pattern:
     """Create a pattern from various types.
 
@@ -1841,49 +1903,6 @@ def match(
     return NoMatch if result is NoMatch else result
 
 
-class Topmost(Slotted, Pattern):
-    """Traverse the value tree topmost first and match the first value that matches."""
-
-    __slots__ = ("pattern", "filter")
-    pattern: Pattern
-    filter: AnyType
-
-    def __init__(self, searcher, filter=None):
-        super().__init__(pattern=pattern(searcher), filter=filter)
-
-    def match(self, value, context):
-        result = self.pattern.match(value, context)
-        if result is not NoMatch:
-            return result
-
-        for child in value.__children__(self.filter):
-            result = self.match(child, context)
-            if result is not NoMatch:
-                return result
-
-        return NoMatch
-
-
-class Innermost(Slotted, Pattern):
-    # matches items in the innermost layer first, but all matches belong to the same layer
-    """Traverse the value tree innermost first and match the first value that matches."""
-
-    __slots__ = ("pattern", "filter")
-    pattern: Pattern
-    filter: AnyType
-
-    def __init__(self, searcher, filter=None):
-        super().__init__(pattern=pattern(searcher), filter=filter)
-
-    def match(self, value, context):
-        for child in value.__children__(self.filter):
-            result = self.match(child, context)
-            if result is not NoMatch:
-                return result
-
-        return self.pattern.match(value, context)
-
-
 IsTruish = Check(lambda x: bool(x))
 IsNumber = InstanceOf(numbers.Number) & ~InstanceOf(bool)
 IsString = InstanceOf(str)