How do CRUD operators map to URIs with path parameters?

  operator += :/           POST (create resource)
  operator -= :/{id}       DELETE (remove resource)
  operator :~: :/{id}      PATCH (partial update)
  operator :^: :/{id}      PUT (full replacement)

  operator -= :/{resourceId}
    -> resourceId as String
    <- response as HTTPResponse: ...

  operator += :/
    -> body as String :=: CONTENT

  += adds to collection -> POST creates
  -= removes from collection -> DELETE removes
  :~: merges partially -> PATCH updates fields
  :^: replaces entirely -> PUT replaces

defines module qa.webdeep.crudoperators

  defines service

    <?-
      Full CRUD service using operator-to-verb mapping.
      Each operator handles a different HTTP method.
    -?>
    Products :/products open

      // GET /products — list
      listProducts() :/
        <- response as HTTPResponse: () with trait HTTPResponse
          override content()
            <- rtn as String: `["widget", "gadget"]`
          override status() as pure
            <- rtn as Integer: 200
          override contentType() as pure
            <- rtn as String: "application/json"
          override cacheControl() as pure
            <- rtn as String: "max-age=30"
          override contentLanguage() as pure
            <- rtn as String: "en"
          default operator ?

      // POST /products — create
      operator += :/
        -> productJson as String :=: CONTENT
        <- response as HTTPResponse: () with trait HTTPResponse
          override content()
            <- rtn as String: `{"created": true}`
          override status() as pure
            <- rtn as Integer: 201
          override contentType() as pure
            <- rtn as String: "application/json"
          override cacheControl() as pure
            <- rtn as String: "no-store"
          override contentLanguage() as pure
            <- rtn as String: "en"
          default operator ?

      // DELETE /products/{productId} — remove
      operator -= :/{productId}
        -> productId as String
        <- response as HTTPResponse: () with trait HTTPResponse
          override content()
            <- rtn as String: ""
          override status() as pure
            <- rtn as Integer: 204
          override contentType() as pure
            <- rtn as String: "text/plain"
          override cacheControl() as pure
            <- rtn as String: "no-store"
          override contentLanguage() as pure
            <- rtn as String: "en"
          default operator ?

  defines application

    ProductApp
      register Products()

  defines program

    CrudOperatorDemo()
      stdout <- Stdout()

      stdout.println("CRUD operators in service:")
      stdout.println("  += maps to POST /products")
      stdout.println("  -= maps to DELETE /products/{id}")

stdout.println(getCrudInfo())

stdout.println("CRUD operators in service:")

stdout.println(getPostInfo())

stdout.println("  += maps to POST /products")