@reventlessdev/reventless-infra 3.0.0-alpha.100

package/src/components/Plugin.res

@@ -0,0 +1,93 @@
+/**
+Deploy-time outputs produced by the `Plugin.T.make` function.
+
+All fields are `Pulumi.Output.t`-wrapped because they reference resources
+provisioned during the Pulumi stack update.
+*/
+type outputs = {
+  id: Pulumi.Output.t<string>,
+  version: Pulumi.Output.t<string>,
+  heartbeatInterval: Pulumi.Output.t<int>,
+  eventCollector: Pulumi.Output.t<EventCollector.outputs>,
+  extensionPoints: Pulumi.Output.t<dict<ExtensionPoint.outputs>>,
+  extensions: Pulumi.Output.t<dict<Extension.outputs>>,
+  aggregates: Pulumi.Output.t<dict<Aggregate.outputs>>,
+  readModels: Pulumi.Output.t<dict<ReadModel.outputs>>,
+  tasks: Pulumi.Output.t<dict<Task.outputs>>,
+  /** AppSync / GraphQL resolver resources. */
+  resolvers: Pulumi.Output.t<array<Adapter.resource>>,
+  heartbeat: Pulumi.Output.t<Heartbeat.outputs>,
+  apiSchemaFragment: Pulumi.Output.t<option<Reventless.Plugin.apiSchemaFragment>>,
+  /** UI fragment manifest for runtime micro-frontend registration (None for pure backend plugins). */
+  uiFragments: Pulumi.Output.t<option<Reventless.Plugin.uiFragmentManifest>>,
+  /** Plugin structure carrying queryable and writable component metadata (None for pure backend plugins). */
+  pluginStructure: Pulumi.Output.t<option<Reventless.Plugin.pluginStructure>>,
+  /** Present when the plugin uses a `DcbEventLog`. */
+  dcbEventLog: Pulumi.Output.t<option<DcbEventLog.outputs>>,
+  stateChangeSlices: Pulumi.Output.t<dict<StateChangeSlice.outputs>>,
+  stateViewSlices: Pulumi.Output.t<dict<StateViewSlice.outputs>>,
+  automationSlices: Pulumi.Output.t<dict<AutomationSlice.outputs>>,
+  outboundTranslationSlices: Pulumi.Output.t<dict<OutboundTranslationSlice.outputs>>,
+  inboundTranslationSlices: Pulumi.Output.t<dict<InboundTranslationSlice.outputs>>,
+}
+
+/**
+Module type for the top-level plugin factory.
+
+Call `Plugin.T.make` to provision all plugin components (aggregates, read models,
+tasks, extension points, extensions, heartbeat, DCB log) in a single Pulumi stack update.
+
+DCB slices are passed directly as optional labeled arrays. When any slice array
+is non-empty, a shared DCB EventLog is provisioned automatically.
+*/
+module type T = {
+  type api
+  type role
+  type component
+  let make: (
+    ~name: string,
+    /** How often (in seconds) the heartbeat Lambda fires. */
+    ~heartbeatInterval: int,
+    ~extensionPoints: array<module(ExtensionPoint.T)>=?,
+    ~extensions: array<module(Extension.Blueprint)>=?,
+    ~aggregates: array<module(Aggregate.T with type api = api)>=?,
+    ~readModels: array<module(ReadModel.T with type api = api and type role = role)>=?,
+    ~tasks: array<module(Task.T)>=?,
+    ~stateChangeSlices: array<module(StateChangeSlice.T)>=?,
+    ~stateViewSlices: array<module(StateViewSlice.T)>=?,
+    ~automationSlices: array<module(AutomationSlice.T)>=?,
+    ~outboundTranslationSlices: array<module(OutboundTranslationSlice.T)>=?,
+    ~inboundTranslationSlices: array<module(InboundTranslationSlice.T)>=?,
+    /** Spec names of StateChangeSlices / StateViewSlices whose GraphQL fields a
+        deploy-time system caller (SigV4 / IAM) must invoke. Sets
+        `systemCallable: true` on the matching mutation / query schema entries so
+        the AWS provider emits the dual-auth
+        `@aws_cognito_user_pools(...) @aws_iam` directive form. Authored via
+        `@@reventless.systemCallable` on the spec file and threaded here by the
+        plugin generator; see `docs/guides/appsync-iam-system-caller.md`. */
+    ~systemCallableComponents: array<string>=?,
+    ~uiFragments: Reventless.Plugin.uiFragmentManifest=?,
+    ~pluginStructure: Reventless.Plugin.pluginStructure=?,
+    ~opts: Pulumi.ComponentResource.options=?,
+  ) => component
+  let makeAutoUIManifest: (
+    ~remoteEntryUrl: string,
+    ~name: string,
+    ~pluginStructure: Reventless.Plugin.pluginStructure,
+    ~readModelPositions: array<string>=?,
+    ~aggregatePositions: array<string>=?,
+  ) => Reventless.Plugin.uiFragmentManifest
+  let makePluginDefinition: (
+    ~name: string,
+    ~aggregates: array<module(Aggregate.T with type api = api)>=?,
+    ~readModels: array<module(ReadModel.T with type api = api and type role = role)>=?,
+    ~stateViewSlices: array<module(StateViewSlice.T)>=?,
+    ~stateChangeSlices: array<module(StateChangeSlice.T)>=?,
+    ~automationSlices: array<module(AutomationSlice.T)>=?,
+    ~outboundTranslationSlices: array<module(OutboundTranslationSlice.T)>=?,
+    ~inboundTranslationSlices: array<module(InboundTranslationSlice.T)>=?,
+    ~extensions: array<module(Extension.Blueprint)>=?,
+    ~extensionPoints: array<module(ExtensionPointMapping.Mapping)>=?,
+    ~componentChapters: dict<string>=?,
+  ) => Reventless.Plugin.pluginStructure
+}

package/src/components/Plugin.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. */

package/src/components/QueryDb.res

@@ -0,0 +1,48 @@
+/**
+Errors that can occur during read model storage operations.
+
+Returned as the error variant in `Result.t` by read model operations that
+interact with the underlying query database (e.g. DynamoDB).
+*/
+@schema
+type storageError =
+  /** A write operation failed to persist the state. */
+  | NotSavedToStorage(string)
+  /** A read operation failed to retrieve the state. */
+  | NotLoadedFromStorage(string)
+  /** A count operation failed. */
+  | NotCountedOnStorage(string)
+  /** A delete operation failed. */
+  | NotDeletedFromStorage(string)
+  /** A batch write did not fully succeed (some items may not have been written). */
+  | BatchNotFullyWrittenToStorage(string)
+  /** A conditional write failed because the state was modified concurrently. */
+  | StaleState
+  /** A composite-key (sub-ID) operation was attempted but no sub-ID config was provided. */
+  | MissingSubIdConfig
+
+/**
+A function that derives the infrastructure resources needed to back GraphQL resolvers,
+given the set of all query database outputs in the plugin.
+*/
+type rec resolversResourcesMaker = dict<outputs> => array<Adapter.resource>
+
+/**
+Deploy-time outputs produced when a `QueryDb` is provisioned.
+
+- `resources` — the underlying database infrastructure resources
+- `resolversMaker` — callback used by the plugin to assemble resolver resources
+- `dataSourceName` — name of the AppSync DataSource that fronts this query DB.
+  Surfaced separately from `resources` so admin-side schema-push barriers can
+  wait for the DataSource to settle before invoking StartSchemaCreation —
+  AppSync rejects concurrent CreateDataSource / StartSchemaCreation calls
+  with `ConcurrentModificationException`.
+*/
+and outputs = {
+  resources: array<Adapter.resource>,
+  resolversMaker: resolversResourcesMaker,
+  dataSourceName: Pulumi.Output.t<string>,
+}
+
+/** A dictionary of query database outputs keyed by read model name. */
+type allOutputs = dict<outputs>

package/src/components/QueryDb.res.mjs

@@ -0,0 +1,33 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let storageErrorSchema = S.union([
+  S.schema(s => ({
+    TAG: "NotSavedToStorage",
+    _0: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "NotLoadedFromStorage",
+    _0: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "NotCountedOnStorage",
+    _0: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "NotDeletedFromStorage",
+    _0: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "BatchNotFullyWrittenToStorage",
+    _0: s.m(S.string)
+  })),
+  S.literal("StaleState"),
+  S.literal("MissingSubIdConfig")
+]);
+
+export {
+  storageErrorSchema,
+}
+/* storageErrorSchema Not a pure module */

package/src/components/ReadModel.res

@@ -0,0 +1,56 @@
+/**
+Deploy-time outputs produced when a `ReadModel` is provisioned.
+
+- `name` — the read model's logical name
+- `queryDb` — the underlying query database outputs (DynamoDB table)
+- `eventCollector` — the inbound event queue
+- `sourceNames` — names of all aggregates whose events feed this read model
+*/
+type outputs = {
+  name: string,
+  queryDb: QueryDb.outputs,
+  eventCollector: Pulumi.Output.t<EventCollector.outputs>,
+  sourceNames: array<string>,
+}
+
+/**
+Runtime operations exposed by a `ReadModel` component.
+Used by the aggregate runtime to push events into the read model's event queue.
+*/
+type operations = {enqueueEvent: EventCollector.enqueueEvent}
+
+/**
+Module type produced by `Platform.ReadModel.Make(Spec, Mappings)`.
+
+@example
+```rescript
+// CatalogPlugin.res
+module CategoryReadModel = Platform.ReadModel.Make(CategoriesReadModel, CategoryMappings)
+
+let rm = CategoryReadModel.make(~api, ~apiRole, ~allEventTopics, ~opts=?)
+```
+*/
+module type T = {
+  module Spec: Reventless.ReadModel.Spec
+  type api
+  type role
+  type component
+  /** Names of aggregates whose events feed this read model (from Projection.Mapping.sourceName). */
+  let sourceNames: array<string>
+  /** Bare event-variant names this read model consumes, unioned across every projection
+      mapping's source event schema (Projection.Mapping.sourceEventSchema). Unlike
+      `sourceNames` (the source aggregate / DCB-log names) this names the actual events — so
+      a DCB-log-sourced mapping (e.g. consuming `OrderPlaced`) is captured, which sourceNames
+      cannot express. Plugin_Structure qualifies + exposes these as `queryableDef.consumedEventTypes`. */
+  let consumedEventNames: array<string>
+  let make: (
+    ~api: api,
+    ~apiRole: role,
+    ~allEventTopics: EventTopic.allOutputs,
+    ~opts: Pulumi.ComponentResource.options=?,
+  ) => component
+  let outputs: component => outputs
+  let operations: component => Pulumi.Output.t<operations>
+  /** Signal that all sources have been registered; finalises the read model. */
+  let finish: unit => unit
+}

package/src/components/ReadModel.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. */

package/src/components/Scheduler.res

@@ -0,0 +1,32 @@
+/**
+Deploy-time outputs produced when a `Scheduler` component is provisioned.
+Contains the single infrastructure resource backing the scheduler (e.g. EventBridge Scheduler).
+*/
+type outputs = {resource: Adapter.resource}
+
+/**
+Creates a schedule in the underlying scheduling service (e.g. EventBridge Scheduler).
+
+- `array<Adapter.resolvedResource>` — resolved scheduler resources (ARNs, etc.)
+- `Reventless.Schedule.schedule` — the schedule definition to create
+*/
+type createSchedule = (array<Adapter.resolvedResource>, Reventless.Schedule.schedule) => promise<unit>
+
+/**
+Deletes a schedule by name from the underlying scheduling service.
+
+- `array<Adapter.resolvedResource>` — resolved scheduler resources
+- `string` — the name of the schedule to delete
+*/
+type deleteSchedule = (array<Adapter.resolvedResource>, string) => promise<unit>
+
+/**
+Runtime operations exposed by a `Scheduler` component.
+
+Injected into extension points, tasks, and the plugin to create or delete
+schedules dynamically at runtime.
+*/
+type operations = {
+  createSchedule: createSchedule,
+  deleteSchedule: deleteSchedule,
+}

package/src/components/Scheduler.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. */

package/src/components/StateChangeSlice.res

@@ -0,0 +1,45 @@
+/**
+Deploy-time outputs produced when a `StateChangeSlice` is provisioned.
+Contains the underlying command queue infrastructure resources.
+*/
+type outputs = {
+  resources: array<Adapter.resource>,
+}
+
+/**
+Runtime operations exposed by a `StateChangeSlice` component.
+Used to publish commands to this slice's command topic.
+*/
+type operations = {publishJsons: CommandTopic.publishJsons}
+
+type t
+
+/**
+Module type produced by `Platform.StateChangeSlice.Make(Spec, Behavior)`.
+
+@example
+```rescript
+// CatalogPlugin.res
+module AddCategorySlice = Platform.StateChangeSlice.Make(AddCategory, AddCategory_Behavior)
+let slice = AddCategorySlice.make(~dcbEventLog=log, ~publishJsons=publishJsonsOutput)
+```
+*/
+module type T = {
+  module Spec: Reventless.StateChangeSlice.Spec
+  module Behavior: Reventless.StateChangeSlice.Behavior with module Spec := Spec
+  /** `true` when built with `Platform.StateChangeSlice.MakeAsync` — uses FIFO channel, returns `CommandPending`. */
+  let isAsync: bool
+  type component = Component.t<t, outputs, operations>
+  let make: (
+    ~dcbEventLog: DcbEventLog.component,
+    ~publishJsons: Pulumi.Output.t<CommandTopic.publishJsons>,
+    /** Produced event-log type→tag-key map, used to drop vacuous (type, tag)
+        clause combinations when building the decision-model query. */
+    ~tagKeysByEventType: Dict.t<array<string>>=?,
+    /** Tag keys declared `@crossPartition` across the produced event schemas —
+        a cross-partition scalar command tag fans out into its own single-tag
+        decision-read clause. */
+    ~crossPartitionTagKeys: array<string>=?,
+    ~opts: Pulumi.ComponentResource.options=?,
+  ) => component
+}

package/src/components/StateChangeSlice.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. */

package/src/components/StateViewSlice.res

@@ -0,0 +1,38 @@
+/**
+Deploy-time outputs produced when a `StateViewSlice` is provisioned.
+
+- `resources` — the underlying infrastructure (e.g. SQS subscription)
+- `queryDb` — the DynamoDB table for querying projected state
+*/
+type outputs = {
+  resources: array<Adapter.resource>,
+  queryDb: QueryDb.outputs,
+}
+
+/**
+Runtime operations exposed by a `StateViewSlice` component.
+Used to push events into the slice's projection queue.
+*/
+type operations = {enqueueEvent: EventCollector.enqueueEvent}
+
+type t
+
+/**
+Module type produced by `Platform.StateViewSlice.Make(Spec, Projection)`.
+
+@example
+```rescript
+// CatalogPlugin.res
+module CategoriesViewSlice = Platform.StateViewSlice.Make(CategoriesView, CategoriesView_Projection)
+let slice = CategoriesViewSlice.make(~dcbEventLog=log)
+```
+*/
+module type T = {
+  module Spec: Reventless.StateViewSlice.Spec
+  module Projection: Reventless.StateViewSlice.Projection with module Spec := Spec
+  type component = Component.t<t, outputs, operations>
+  let make: (
+    ~dcbEventLog: DcbEventLog.component,
+    ~opts: Pulumi.ComponentResource.options=?,
+  ) => component
+}

package/src/components/StateViewSlice.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. */

package/src/components/Task.res

@@ -0,0 +1,89 @@
+/**
+Derives the name used to query a task's S3 bucket.
+
+- `~taskName` — the task's logical name
+- `~bucketName` — optional override; defaults to the task's configured bucket name
+*/
+type queryBucketName = (~taskName: string, ~bucketName: string=?) => string
+
+/**
+The `setup` function signature for a `Task.Spec`.
+
+Called at deploy time to configure the task's infrastructure.
+Receives the query engine, bucket name helper, and Pulumi options.
+Returns the task's runtime `config`.
+*/
+type setup = (
+  Reventless.QueryEngine.operations,
+  queryBucketName,
+  Pulumi.ComponentResource.options,
+) => Reventless.Task.config
+
+/**
+Module type for a task's specification.
+
+A `Task` is a serverless handler triggered by S3 events or schedules.
+It can publish commands, manage schedules, and execute side effects.
+
+@example
+```rescript
+module CatalogImportTask: Task.Spec = {
+  let name = "CatalogImport"
+  let setup = (_queryEngine, _queryBucketName, _opts) => {
+    buckets: [{bucketMode: Read}],
+    sideEffects: [],
+  }
+}
+```
+*/
+module type Spec = {
+  /** Logical task name (used as a Lambda function name prefix). */
+  let name: string
+  /** ESM specifier for this Spec module — populated by `@@reventless.task` PPX. */
+  let moduleUrl: string
+  let setup: setup
+}
+
+/**
+Deploy-time outputs produced when a `Task` is provisioned.
+
+- `name` — the task's logical name
+- `bucketNames` — resolved S3 bucket names keyed by bucket spec index
+- `sideEffectSources` — names of aggregate event sources wired to side effects
+*/
+type outputs = {
+  name: string,
+  bucketNames?: dict<Pulumi.Output.t<string>>,
+  sideEffectSources?: array<string>,
+}
+
+/**
+Runtime operations exposed by a `Task` component.
+Allows the task handler to publish commands to aggregates by name.
+*/
+type operations = {
+  publishCommands: (string, array<Reventless.Message.commandJson>) => promise<unit>,
+}
+
+/**
+Module type produced by `Platform.Task.Make(Spec)`.
+*/
+module type T = {
+  module Spec: Spec
+  type component
+  let make: (
+    ~queryBucketName: queryBucketName,
+    ~scheduler: Scheduler.operations,
+    /** URN identifying the principal/role the scheduler invokes targets as.
+        Bundled adapters thread this into the runtime config so the deployed
+        handler can call the underlying scheduler service. Adapters without
+        a real scheduler (e.g. in-memory) ignore it. */
+    ~schedulerRoleUrn: Pulumi.Output.t<string>,
+    ~publishToAggregates: dict<CommandTopic.publishJsons>,
+    ~queryEngine: Reventless.QueryEngine.operations,
+    ~resourceNaming: ResourceNaming.operations,
+    ~allAggregates: dict<Aggregate.outputs>,
+    ~opts: option<Pulumi.ComponentResource.options>,
+  ) => component
+  let outputs: component => outputs
+}

package/src/components/Task.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. */