@reventlessdev/reventless-infra 3.0.0-alpha.100

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2019-2026 Martin Lorenz
+
+   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.

package/README.md

@@ -0,0 +1,92 @@
+[![npm](https://img.shields.io/npm/v/@reventlessdev/reventless-infra.svg?label=npm)](https://www.npmjs.com/package/@reventlessdev/reventless-infra)
+[![License: Apache-2.0](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](https://opensource.org/licenses/Apache-2.0)
+[![Docs](https://img.shields.io/badge/docs-reventless.dev-blue)](https://docs.reventless.dev)
+
+# @reventlessdev/reventless-infra
+
+> ⚠️ **Alpha.** APIs and on-disk formats can change without notice between releases.
+> Pin exact versions and expect breaking changes.
+
+The **infrastructure type layer** of [Reventless](https://docs.reventless.dev) — a
+spec-driven, event-sourced CQRS framework written in [ReScript](https://rescript-lang.org).
+This package defines the deploy-time infrastructure types and abstract `Platform` interface
+that are shared across storage/cloud adapters, so plugin-assembly code can be written once
+against provider-agnostic types and satisfied by any concrete adapter. It uses
+[Pulumi](https://www.pulumi.com) types for deploy-time resource references. Modules are
+exposed under the `ReventlessInfra` namespace.
+
+## What it provides
+
+ReScript modules, consumed by adding the package to your `rescript.json` `dependencies`.
+
+**Platform interface & adapters (`types/`, `adapter/`)**
+
+- **`Platform`** — the abstract factory interface for platform-agnostic component assembly.
+  Plugin code takes a `Platform.T` as a functor argument; a concrete adapter (e.g.
+  `reventless-aws`) supplies the implementation at the composition root.
+- **`Adapter`** — deploy-time infrastructure primitives: `resource` (fields wrapped in
+  `Pulumi.Output.t`), `resolvedResource` (runtime values), and `resourceInfo` describing a
+  resource's structural role (storage keys, stream source, API resolver).
+- **`ResourceNaming`** — provider-agnostic operations for validating and deriving
+  URN-safe resource names.
+- **`ExtensionMapping`** / **`ExtensionPointMapping`** — the action types that route commands
+  and events between an extension and the extension point it wraps.
+- **`Message`**, **`PluginExtensionPointSpec`**, **`NoEventMappings`** — supporting types for
+  message identity and plugin/extension wiring.
+
+**Component types (`components/`)**
+
+Deploy-time `outputs` (infrastructure references) and runtime `operations` for each Reventless
+component kind — **`Component`** (the typed wrapper around a Pulumi `ComponentResource`),
+**`Plugin`**, **`Aggregate`**, **`ReadModel`**, **`EventLog`** / **`DcbEventLog`**,
+**`CommandTopic`** / **`EventTopic`**, **`CommandGenerator`**, **`EventCollector`**,
+**`EventMapper`**, **`QueryDb`**, **`Api`**, **`Task`**, **`ExtensionPoint`** / **`Extension`**,
+**`Scheduler`**, **`Heartbeat`**, and the DCB slices.
+
+## Where it fits
+
+`reventless-infra` sits between the specification layer and the concrete adapters:
+
+```
+reventless-spec (specifications)
+  ↓
+reventless-infra (shared infrastructure types)  ← this package
+  ↓
+reventless-aws / reventless-postgres / reventless-local (storage & deployment adapters)
+```
+
+- It builds on
+  [`@reventlessdev/reventless-spec`](https://www.npmjs.com/package/@reventlessdev/reventless-spec)
+  for the domain contracts.
+- Adapters such as
+  [`@reventlessdev/reventless-aws`](https://www.npmjs.com/package/@reventlessdev/reventless-aws)
+  provide the concrete `Platform.T` implementation these types describe.
+
+You normally obtain `reventless-infra` transitively by scaffolding an app rather than
+installing it on its own.
+
+## Install
+
+```bash
+pnpm add @reventlessdev/reventless-infra
+```
+
+Then register it as a ReScript dependency in `rescript.json`:
+
+```json
+{
+  "dependencies": ["@reventlessdev/reventless-infra"]
+}
+```
+
+Requires ReScript `^12.3.0` (peer dependency).
+
+## Links
+
+- 📚 Documentation — [docs.reventless.dev](https://docs.reventless.dev)
+- 📦 Repository — [ReventlessDev/reventless-core](https://github.com/ReventlessDev/reventless-core)
+- 📋 [Changelog](./CHANGELOG.md)
+
+## License
+
+[Apache-2.0](https://opensource.org/licenses/Apache-2.0)

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@reventlessdev/reventless-infra",
+  "version": "3.0.0-alpha.100",
+  "description": "Infrastructure types for Reventless framework",
+  "license": "Apache-2.0",
+  "jest": {
+    "testMatch": [
+      "<rootDir>/tests/**/*Test.res.mjs"
+    ],
+    "moduleFileExtensions": [
+      "js",
+      "mjs"
+    ]
+  },
+  "dependencies": {
+    "sury": "11.0.0-alpha.4",
+    "sury-ppx": "11.0.0-alpha.2",
+    "uuid": "^13.0.0",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.27",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.15",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.15",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.77"
+  },
+  "devDependencies": {
+    "rescript": "^12.3.0",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.7"
+  },
+  "peerDependencies": {
+    "rescript": "^12.3.0"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ReventlessDev/reventless-core.git",
+    "directory": "reventless/reventless-infra"
+  },
+  "scripts": {
+    "build": "rescript build",
+    "start": "rescript watch",
+    "clean": "rescript clean",
+    "rebuild": "pnpm run clean && pnpm run build",
+    "test": "NODE_OPTIONS='--experimental-vm-modules' jest"
+  }
+}

package/rescript.json

@@ -0,0 +1,34 @@
+{
+  "name": "@reventlessdev/reventless-infra",
+  "package-specs": {
+    "module": "esmodule",
+    "in-source": true
+  },
+  "namespace": "ReventlessInfra",
+  "ppx-flags": [
+    "sury-ppx/bin"
+  ],
+  "warnings": {
+    "error": "-44+101"
+  },
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    },
+    {
+      "dir": "tests",
+      "subdirs": true,
+      "type": "dev"
+    }
+  ],
+  "dependencies": [
+    "sury",
+    "@reventlessdev/rescript-pulumi-pulumi",
+    "@reventlessdev/rescript-effect",
+    "@reventlessdev/rescript-uuid",
+    "@reventlessdev/reventless-spec",
+    "@reventlessdev/rescript-jest"
+  ],
+  "suffix": ".res.mjs"
+}

package/src/adapter/Adapter.res

@@ -0,0 +1,88 @@
+/** Platform-agnostic metadata for a resource's structural role. */
+type resourceInfo =
+  | StorageKeys({partitionKey: string, sortKey: option<string>})
+  | StreamSource({sourceUrn: string})
+  | ApiResolver({typeName: string, fieldName: string})
+  | NoInfo
+
+/**
+A deploy-time infrastructure resource with all fields wrapped in `Pulumi.Output.t`.
+
+At deploy time (Pulumi program) resource identifiers are not yet known — they
+exist as `Output.t` promises that resolve once the resource is provisioned.
+Use `resolvedResource` at runtime (inside Lambda handlers) once values are available.
+*/
+type resource = {
+  name: Pulumi.Output.t<string>,
+  id: Pulumi.Output.t<string>,
+  urn: Pulumi.Output.t<string>,
+  /** Typed metadata describing the resource's structural characteristics. */
+  resourceInfo: Pulumi.Output.t<resourceInfo>,
+  /** Cloud service type identifier (e.g. "aws:DynamoDb", "aws:Lambda"). */
+  service: Pulumi.Output.t<string>,
+  /** Functional role within a component (e.g. "eventLog", "commandTopic", "queryDb"). */
+  role: Pulumi.Output.t<string>,
+  /** Cloud region (e.g. "eu-west-1", "local"). */
+  region: Pulumi.Output.t<string>,
+  /** Full cloud resource type (e.g. "aws:dynamodb:Table", "aws:lambda:Function"). */
+  resourceType: Pulumi.Output.t<string>,
+  /** Key infrastructure configuration properties (informational, not used at runtime). */
+  configuration: Pulumi.Output.t<dict<string>>,
+  /** AWS resource tags applied at provisioning time. */
+  tags: Pulumi.Output.t<dict<string>>,
+}
+
+/** Create a deploy-time resource with sensible defaults for metadata fields. */
+let make = (
+  ~name,
+  ~id,
+  ~urn,
+  ~service,
+  ~resourceInfo=NoInfo->Pulumi.Output.make,
+  ~role=""->Pulumi.Output.make,
+  ~region=""->Pulumi.Output.make,
+  ~resourceType=""->Pulumi.Output.make,
+  ~configuration=Dict.make()->Pulumi.Output.make,
+  ~tags=Dict.make()->Pulumi.Output.make,
+): resource => {
+  name,
+  id,
+  urn,
+  resourceInfo,
+  service,
+  role,
+  region,
+  resourceType,
+  configuration,
+  tags,
+}
+
+/** A named dictionary of deploy-time infrastructure resources. */
+type resources = dict<resource>
+
+/**
+A runtime infrastructure resource with all fields resolved to plain strings.
+
+Passed to runtime operations (e.g. `Scheduler.operations`) that run inside
+Lambda handlers, where `Pulumi.Output.t` values have already been resolved
+from environment variables or SSM parameters.
+*/
+type resolvedResource = {
+  name: string,
+  id: string,
+  urn: string,
+  /** Typed metadata describing the resource's structural characteristics. */
+  resourceInfo: resourceInfo,
+  /** Cloud service type identifier (e.g. "aws:DynamoDb", "aws:Lambda"). */
+  service: string,
+  /** Functional role within a component (e.g. "eventLog", "commandTopic", "queryDb"). */
+  role: string,
+  /** Cloud region (e.g. "eu-west-1", "local"). */
+  region: string,
+  /** Full cloud resource type (e.g. "aws:dynamodb:Table", "aws:lambda:Function"). */
+  resourceType: string,
+  /** Key infrastructure configuration properties (informational, not used at runtime). */
+  configuration: dict<string>,
+  /** AWS resource tags applied at provisioning time. */
+  tags: dict<string>,
+}

package/src/adapter/Adapter.res.mjs

@@ -0,0 +1,29 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Pulumi from "@pulumi/pulumi";
+
+function make(name, id, urn, service, resourceInfoOpt, roleOpt, regionOpt, resourceTypeOpt, configurationOpt, tagsOpt) {
+  let resourceInfo = resourceInfoOpt !== undefined ? resourceInfoOpt : Pulumi.output("NoInfo");
+  let role = roleOpt !== undefined ? roleOpt : Pulumi.output("");
+  let region = regionOpt !== undefined ? regionOpt : Pulumi.output("");
+  let resourceType = resourceTypeOpt !== undefined ? resourceTypeOpt : Pulumi.output("");
+  let configuration = configurationOpt !== undefined ? configurationOpt : Pulumi.output({});
+  let tags = tagsOpt !== undefined ? tagsOpt : Pulumi.output({});
+  return {
+    name: name,
+    id: id,
+    urn: urn,
+    resourceInfo: resourceInfo,
+    service: service,
+    role: role,
+    region: region,
+    resourceType: resourceType,
+    configuration: configuration,
+    tags: tags
+  };
+}
+
+export {
+  make,
+}
+/* @pulumi/pulumi Not a pure module */

package/src/components/Aggregate.res

@@ -0,0 +1,73 @@
+/**
+A function that attaches an additional `EventMapper` to this aggregate after it has
+been provisioned. Used by the plugin assembly to wire cross-aggregate event routing.
+*/
+type rec addEventMapper = (EventTopic.allOutputs, Reventless.QueryEngine.operations) => outputs
+
+/**
+Deploy-time outputs produced when an `Aggregate` is provisioned.
+
+- `name` — the aggregate's logical name
+- `commandGenerator` — the internal command dispatcher component
+- `commandTopic` — the SQS FIFO queue for inbound commands
+- `eventLog` — the DynamoDB event store
+- `eventMapper` — optional: the event-to-command router (present when mappings are configured)
+- `addEventMapper` — callback used by the plugin to attach late-bound event mappers
+*/
+and outputs = {
+  name: string,
+  commandGenerator: Pulumi.Output.t<CommandGenerator.outputs>,
+  commandTopic: Pulumi.Output.t<CommandTopic.outputs>,
+  eventLog: EventLog.outputs,
+  eventMapper?: Pulumi.Output.t<EventMapper.outputs>,
+  addEventMapper: addEventMapper,
+}
+
+/** A dictionary of aggregate outputs keyed by aggregate name. */
+type allOutputs = dict<outputs>
+
+/**
+Runtime operations exposed by an `Aggregate` component.
+
+Obtained via `Component.operations(aggregate)`. Available inside Lambda handlers.
+*/
+type operations = {
+  /** Publish a batch of serialized commands to this aggregate's command topic. */
+  publishJsons: CommandTopic.publishJsons,
+  /** Publish a stream of serialized commands (for high-throughput pipelines). */
+  publishJsonsStream: CommandTopic.publishJsonsStream,
+}
+
+/**
+Module type produced by `Platform.Aggregate.Make(Spec, Behavior, Mappings)`.
+
+The resulting module exposes `make` for instantiating the aggregate at deploy time
+and `operations` for publishing commands at runtime.
+
+@example
+```rescript
+// CatalogPlugin.res
+module CategoryAggregate = Platform.Aggregate.Make(
+  Category,
+  CategoryBehavior,
+  NoEventMappings.Make(Category),
+)
+
+// Deploy time
+let category = CategoryAggregate.make(~api, ~opts=?)
+
+// Runtime — inside a Lambda handler
+let ops = await category->Component.operations->TestRunner.resolve
+await ops.publishJsons([{id: "cat-1", meta, commandJson: json}])
+```
+*/
+module type T = {
+  module Spec: Reventless.Aggregate.Spec
+  type api
+  type component
+  let make: (~api: api, ~opts: Pulumi.ComponentResource.options=?) => component
+  let outputs: component => outputs
+  let operations: component => Pulumi.Output.t<operations>
+  /** Signal that all event mappers have been attached; finalises the aggregate. */
+  let finish: unit => unit
+}

package/src/components/Aggregate.res.mjs

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */