@reventlessdev/reventless-aws 3.0.0-alpha.344 → 3.0.0-alpha.345

package/tests/integration/DcbIntegrationHarness.res

@@ -36,8 +36,9 @@ let keyEl = (name, keyType) =>
 // full (ALL) projection; per-tag `tag_<key>` GSIs are KEYS_ONLY. Uses the same
 // predicate as the deploy-time `make` so the two never drift.
 let gsi = indexName => {
-  let projection =
-    DcbEventLogStorage_DynamoDb_Runtime.indexKeepsFullProjection(indexName) ? "ALL" : "KEYS_ONLY"
+  let projection = DcbEventLogStorage_DynamoDb_Runtime.indexKeepsFullProjection(indexName)
+    ? "ALL"
+    : "KEYS_ONLY"
   Dict.fromArray([
     ("IndexName", s(indexName)),
     ("KeySchema", [keyEl(indexName, "HASH"), keyEl("position", "RANGE")]->JSON.Encode.array),
@@ -81,8 +82,7 @@ let createDcbTableWithTagKeys = async (
   tableName,
   tagKeys: array<string>,
 ): Util_DynamoDb_Runtime.resolvedTable => {
-  let indexNames =
-    tagKeys->Array.map(k => `tag_${k}`)->Array.concat(["tag_composite"])
+  let indexNames = tagKeys->Array.map(k => `tag_${k}`)->Array.concat(["tag_composite"])
   let attributeDefinitions = Array.concat(
     [attrDef("id"), attrDef("position")],
     indexNames->Array.map(attrDef),
@@ -110,8 +110,8 @@ let createDcbTableWithTagKeys = async (
 // entity) rather than per-member `fence#<member>:…` rows.
 let scanFenceIds = async (table: Util_DynamoDb_Runtime.resolvedTable): array<string> => {
   let items = await Util_DynamoDb_Runtime.scanStream({tableName: table.name})
-    ->Stream.runCollect
-    ->Effect.runPromise
+  ->Stream.runCollect
+  ->Effect.runPromise
   items->Array.filterMap(item =>
     item
     ->JSON.Decode.object
@@ -126,8 +126,8 @@ let scanFenceIds = async (table: Util_DynamoDb_Runtime.resolvedTable): array<str
 // persisted — the signal that a composite slice could read back its own state.
 let scanEventTypes = async (table: Util_DynamoDb_Runtime.resolvedTable): array<string> => {
   let items = await Util_DynamoDb_Runtime.scanStream({tableName: table.name})
-    ->Stream.runCollect
-    ->Effect.runPromise
+  ->Stream.runCollect
+  ->Effect.runPromise
   items->Array.filterMap(item =>
     item
     ->JSON.Decode.object

package/tests/integration/EpCompositeSlice.res

@@ -29,12 +29,16 @@ type consumedEvent =
 @schema
 type command =
   | AddResource({
-      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/")) string,
-      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/")) string,
+      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/"))
+      string,
+      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/"))
+      string,
     })
   | TouchResource({
-      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/")) string,
-      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/")) string,
+      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/"))
+      string,
+      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/"))
+      string,
     })
 
 @schema
@@ -45,12 +49,16 @@ type error =
 @schema
 type event =
   | ResourceAdded({
-      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/")) string,
-      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/")) string,
+      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/"))
+      string,
+      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/"))
+      string,
     })
   | ResourceTouched({
-      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/")) string,
-      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/")) string,
+      environment: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=0, ~sep="/"))
+      string,
+      resourceName: @s.matches(Reventless.DcbTag.compositePartitionMember(~position=1, ~sep="/"))
+      string,
     })
 
 let name = "EpCompositeSlice"

package/tests/integration/QueryDbUnion_DynamoDb_IntegrationTest.res

@@ -57,11 +57,10 @@ describe("QueryDb (DynamoDB) round-trips a union field", () => {
     )
 
     // The item as a read door hands it back.
-    let stored =
-      await jsonOps.loadStream("c-1")
-      ->Stream.runCollect
-      ->Effect.catchAll(_ => Effect.succeed([]))
-      ->Effect.runPromise
+    let stored = await jsonOps.loadStream("c-1")
+    ->Stream.runCollect
+    ->Effect.catchAll(_ => Effect.succeed([]))
+    ->Effect.runPromise
     let typename =
       stored
       ->Array.get(0)
@@ -72,11 +71,10 @@ describe("QueryDb (DynamoDB) round-trips a union field", () => {
       ->Option.flatMap(JSON.Decode.string)
     expect(typename)->toEqual(Some("GeolocationLocated"))
 
-    let items =
-      await Ops.loadStream("c-1"->CustomersSpec.Id.makeFromString)
-      ->Stream.runCollect
-      ->Effect.catchAll(_ => Effect.succeed([]))
-      ->Effect.runPromise
+    let items = await Ops.loadStream("c-1"->CustomersSpec.Id.makeFromString)
+    ->Stream.runCollect
+    ->Effect.catchAll(_ => Effect.succeed([]))
+    ->Effect.runPromise
     switch items {
     | [{geolocation: Located({lat, lng})}] => expect((lat, lng))->toEqual((48.2082, 16.3738))
     | _ => expect("round trip")->toBe("Located with its point intact")

package/tests/integration/StateViewSliceEntryPoint_IntegrationTest.res

@@ -138,11 +138,12 @@ describe("StateViewSliceEntryPoint integration", () => {
 
       let productIds =
         rows
-        ->Array.filterMap(row =>
-          row
-          ->JSON.Decode.object
-          ->Option.flatMap(o => o->Dict.get("productId"))
-          ->Option.flatMap(JSON.Decode.string)
+        ->Array.filterMap(
+          row =>
+            row
+            ->JSON.Decode.object
+            ->Option.flatMap(o => o->Dict.get("productId"))
+            ->Option.flatMap(JSON.Decode.string),
         )
         ->Array.toSorted(String.compare)
       expect(productIds)->toEqual(["prod-a", "prod-b"])
@@ -150,16 +151,15 @@ describe("StateViewSliceEntryPoint integration", () => {
       // The runtime path's union stamp, against real DynamoDB. The deployed
       // Lambdas assemble JSON-level ops and skipped it entirely, so a member
       // resolved to null and took its non-nullable parent with it.
-      let members =
-        rows
-        ->Array.filterMap(row =>
+      let members = rows->Array.filterMap(
+        row =>
           row
           ->JSON.Decode.object
           ->Option.flatMap(o => o->Dict.get("fulfilment"))
           ->Option.flatMap(JSON.Decode.object)
           ->Option.flatMap(o => o->Dict.get("__typename"))
-          ->Option.flatMap(JSON.Decode.string)
-        )
+          ->Option.flatMap(JSON.Decode.string),
+      )
       expect(members)->toEqual(["FulfilmentShipped", "FulfilmentShipped"])
 
       await H.deleteTable(table)

package/tests/integration/SvsTestSlice_Projection.res

@@ -17,9 +17,7 @@ let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
         cartId,
         states => {
           let others = states->Array.filter(s => s.productId != productId)
-          others->Array.concat([
-            {cartId, productId, qty, fulfilment: Shipped({carrier: "dhl"})},
-          ])
+          others->Array.concat([{cartId, productId, qty, fulfilment: Shipped({carrier: "dhl"})}])
         },
       ),
     ]

package/tests/util/Util_AlarmSpecTest.res

@@ -29,45 +29,51 @@ describe("Util_AlarmSpec", () => {
 
   // The case that went unnoticed on a deployed estate: a heartbeat that stops
   // emits no errors AND no invocations, so nothing an Errors alarm can see.
-  testSync("a scheduler also alarms on its own silence, and that alarm treats missing data as breaching", () => {
-    let specs = A.forKind(~kind=Scheduler, ~silenceWindowSeconds=1800)
-    expect(specs->Array.length)->toBe(2)
+  testSync(
+    "a scheduler also alarms on its own silence, and that alarm treats missing data as breaching",
+    () => {
+      let specs = A.forKind(~kind=Scheduler, ~silenceWindowSeconds=1800)
+      expect(specs->Array.length)->toBe(2)
 
-    let silence = specs->Array.getUnsafe(1)
-    expect(silence.metricName)->toBe("Invocations")
-    expect(silence.comparisonOperator)->toBe("LessThanThreshold")
-    expect(silence.period)->toBe(1800)
-    expect(silence.treatMissingData)->toBe("breaching")
-    // Distinct suffix, or the two alarms would collide on one resource name.
-    expect(silence.suffix)->toBe("Silent")
-    expect(silence.meaning)->toBe("has not run for 30 minutes")
-  })
+      let silence = specs->Array.getUnsafe(1)
+      expect(silence.metricName)->toBe("Invocations")
+      expect(silence.comparisonOperator)->toBe("LessThanThreshold")
+      expect(silence.period)->toBe(1800)
+      expect(silence.treatMissingData)->toBe("breaching")
+      // Distinct suffix, or the two alarms would collide on one resource name.
+      expect(silence.suffix)->toBe("Silent")
+      expect(silence.meaning)->toBe("has not run for 30 minutes")
+    },
+  )
 
   testSync("the silence window defaults to an hour — twelve missed heartbeats", () => {
     let silence = A.forKind(~kind=Scheduler)->Array.getUnsafe(1)
     expect(silence.period)->toBe(3600)
   })
 
-  testSync("resource names separate a unit's alarms, and like-named components of different plugins", () => {
-    let specs = A.forKind(~kind=Scheduler)
-    let nameFor = (spec: A.t, ~plugin) =>
-      A.resourceName(~kind=Scheduler, ~name="Heartbeat", ~plugin, ~suffix=spec.suffix)
+  testSync(
+    "resource names separate a unit's alarms, and like-named components of different plugins",
+    () => {
+      let specs = A.forKind(~kind=Scheduler)
+      let nameFor = (spec: A.t, ~plugin) =>
+        A.resourceName(~kind=Scheduler, ~name="Heartbeat", ~plugin, ~suffix=spec.suffix)
 
-    expect(nameFor(specs->Array.getUnsafe(0), ~plugin=Some("Catalog")))->toBe(
-      "alarm-scheduler-Catalog-Heartbeat",
-    )
-    expect(nameFor(specs->Array.getUnsafe(1), ~plugin=Some("Catalog")))->toBe(
-      "alarm-scheduler-Catalog-HeartbeatSilent",
-    )
-    // Two plugins can own like-named components; without the plugin these collide.
-    expect(nameFor(specs->Array.getUnsafe(0), ~plugin=Some("Ordering")))->toBe(
-      "alarm-scheduler-Ordering-Heartbeat",
-    )
-    // Platform substrate belongs to no plugin.
-    expect(
-      A.resourceName(~kind=DeadLetterSink, ~name="DeadLetterQueue", ~plugin=None, ~suffix=""),
-    )->toBe("alarm-deadlettersink-DeadLetterQueue")
-  })
+      expect(nameFor(specs->Array.getUnsafe(0), ~plugin=Some("Catalog")))->toBe(
+        "alarm-scheduler-Catalog-Heartbeat",
+      )
+      expect(nameFor(specs->Array.getUnsafe(1), ~plugin=Some("Catalog")))->toBe(
+        "alarm-scheduler-Catalog-HeartbeatSilent",
+      )
+      // Two plugins can own like-named components; without the plugin these collide.
+      expect(nameFor(specs->Array.getUnsafe(0), ~plugin=Some("Ordering")))->toBe(
+        "alarm-scheduler-Ordering-Heartbeat",
+      )
+      // Platform substrate belongs to no plugin.
+      expect(
+        A.resourceName(~kind=DeadLetterSink, ~name="DeadLetterQueue", ~plugin=None, ~suffix=""),
+      )->toBe("alarm-deadlettersink-DeadLetterQueue")
+    },
+  )
 
   // A state-change message carries the description and neither the tags nor the
   // name, so everything a reader or a parser needs has to be in this one string.
@@ -81,8 +87,12 @@ describe("Util_AlarmSpec", () => {
       ~spec,
       ~logs=Some("/aws/lambda/online-shop-AllAggregatesCmdHandler"),
     )
-    expect(desc->String.includes("'AllAggregatesCmdHandler' (plugin Ordering, platform online-shop)"))->toBe(true)
-    expect(desc->String.includes("Logs: /aws/lambda/online-shop-AllAggregatesCmdHandler."))->toBe(true)
+    expect(
+      desc->String.includes("'AllAggregatesCmdHandler' (plugin Ordering, platform online-shop)"),
+    )->toBe(true)
+    expect(desc->String.includes("Logs: /aws/lambda/online-shop-AllAggregatesCmdHandler."))->toBe(
+      true,
+    )
     expect(
       desc->String.includes(
         "[reventless plugin=Ordering platform=online-shop component=AllAggregatesCmdHandler kind=commandhandler]",
@@ -90,20 +100,23 @@ describe("Util_AlarmSpec", () => {
     )->toBe(true)
   })
 
-  testSync("a unit owned by no plugin claims none, and one with no logs promises no address", () => {
-    let spec = A.forKind(~kind=DeadLetterSink)->Array.getUnsafe(0)
-    let desc = A.description(
-      ~kind=DeadLetterSink,
-      ~name="DeadLetterQueue",
-      ~plugin=None,
-      ~platform=None,
-      ~spec,
-      ~logs=None,
-    )
-    // A dead-letter queue is shared by every plugin in the estate — naming one
-    // would be a lie, and an empty parenthesis is noise.
-    expect(desc->String.includes("(plugin"))->toBe(false)
-    expect(desc->String.includes("Logs:"))->toBe(false)
-    expect(desc->String.includes("kind=deadlettersink"))->toBe(true)
-  })
+  testSync(
+    "a unit owned by no plugin claims none, and one with no logs promises no address",
+    () => {
+      let spec = A.forKind(~kind=DeadLetterSink)->Array.getUnsafe(0)
+      let desc = A.description(
+        ~kind=DeadLetterSink,
+        ~name="DeadLetterQueue",
+        ~plugin=None,
+        ~platform=None,
+        ~spec,
+        ~logs=None,
+      )
+      // A dead-letter queue is shared by every plugin in the estate — naming one
+      // would be a lie, and an empty parenthesis is noise.
+      expect(desc->String.includes("(plugin"))->toBe(false)
+      expect(desc->String.includes("Logs:"))->toBe(false)
+      expect(desc->String.includes("kind=deadlettersink"))->toBe(true)
+    },
+  )
 })