phino-0.0.152: test-resources/rewriter-packs/custom/dataize-and-concat.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[ x -> "hello", y -> "world" ]]'
output: |-
  ⟦
    z ↦ "hello world"
  ⟧
rules:
  custom:
    - name: dataize & concat
      pattern: '[[ x -> !e1, y -> !e2 ]]'
      result: '[[ z -> !e3 ]]'
      where:
        - meta: '!d1'
          function: dataize
          args: ['" "']
        - meta: '!d2'
          function: dataize
          args: ['!e1']
        - meta: '!d3'
          function: dataize
          args: ['!e2']
        - meta: '!e3'
          function: concat
          args:
            - '!d2'
            - '!d1'
            - '!d3'