@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier3-fixtures/comments/comment1.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment1.in.aster"
+}

package/corpus/tier3-fixtures/comments/comment1.out.aster

@@ -0,0 +1,4 @@
+Module demo.comments.  // inline comment after header
+
+Rule greet given name, produce:  // say hi
+  Return Text.concat("Hi, ", name).

package/corpus/tier3-fixtures/comments/comment1.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment1.out.aster"
+}

package/corpus/tier3-fixtures/comments/comment2.in.aster

@@ -0,0 +1,6 @@
+Module demo.morecomments.
+
+Rule compute, produce: // header comment
+  Let x be 1. // x init
+  Return x plus 1. // add one
+

package/corpus/tier3-fixtures/comments/comment2.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment2.in.aster"
+}

package/corpus/tier3-fixtures/comments/comment2.out.aster

@@ -0,0 +1,5 @@
+Module demo.morecomments.  // header comment
+
+Rule compute, produce:  // x init
+  Let x be 1.  // add one
+  Return x plus 1.

package/corpus/tier3-fixtures/comments/comment2.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment2.out.aster"
+}

package/corpus/tier3-fixtures/comments/comment3.in.aster

@@ -0,0 +1,8 @@
+Module demo.standalone.
+
+// top comment
+Rule id, produce:
+  // inside block
+  Return 1.
+// bottom comment
+

package/corpus/tier3-fixtures/comments/comment3.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment3.in.aster"
+}

package/corpus/tier3-fixtures/comments/comment3.out.aster

@@ -0,0 +1,8 @@
+// top comment
+Module demo.standalone.
+
+Rule id, produce:
+  Return 1.
+// inside block
+
+// bottom comment

package/corpus/tier3-fixtures/comments/comment3.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "comments",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/comments/golden/comment3.out.aster"
+}

package/corpus/tier3-fixtures/fixtures/capability-violations.aster

@@ -0,0 +1,15 @@
+Module tests.cross.capability_violations.
+
+Rule missingCapability, produce. It performs io [Http]:
+  Let token be Secrets.get("api-key").
+  Let status be Http.get("/status").
+  Return status.
+
+Rule redundantCapability, produce. It performs io [Sql]:
+  Return "ok".
+
+Rule workflowMissingCapability, produce. It performs io [Sql]:
+  workflow:
+    step fetch:
+      Return ok of Secrets.rotate("session").
+  .

package/corpus/tier3-fixtures/fixtures/capability-violations.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "fixtures",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/fixtures/capability-violations.aster"
+}

package/corpus/tier3-fixtures/fixtures/parallel-workflow.aster

@@ -0,0 +1,4 @@
+Module test.fixtures.parallel_workflow.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/fixtures/parallel-workflow.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "fixtures",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/fixtures/parallel-workflow.aster"
+}

package/corpus/tier3-fixtures/golden-ast/workflow-compensate.aster

@@ -0,0 +1,15 @@
+Module demo.workflow.compensate.
+
+Rule processOrder, produce. It performs io:
+  
+  workflow:
+    step reserve:
+      return ok of "reserved".
+
+    compensate:
+      return ok of "released".
+    
+    step execute:
+      return ok of "executed".
+  
+  .

package/corpus/tier3-fixtures/golden-ast/workflow-compensate.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-ast",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/ast/workflow-compensate.aster"
+}

package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.aster

@@ -0,0 +1,14 @@
+Module demo.workflow.linear.
+
+Rule testWorkflow, produce. It performs io:
+  
+  workflow:
+    step validate:
+      return ok of "validated".
+    
+    step execute:
+      return ok of "executed".
+    
+    timeout: 30 seconds.
+  
+  .

package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-ast",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/ast/workflow-linear.aster"
+}

package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.aster

@@ -0,0 +1,4 @@
+Module error.div.zero.
+
+Rule main, produce:
+  Return div(10, 0).

package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/bad_division_by_zero.aster"
+}

package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.aster

@@ -0,0 +1,4 @@
+Module error.list.index.
+
+Rule main, produce:
+  Return List.get(List.empty(), 0).

package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/bad_list_index_out_of_bounds.aster"
+}

package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.aster

@@ -0,0 +1,4 @@
+Module error.text.substring.
+
+Rule main, produce:
+  Return Text.substring("abc", sub(0, 1)).

package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/bad_text_substring_negative.aster"
+}

package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.aster

@@ -0,0 +1,4 @@
+Module error.type.add.text.
+
+Rule main, produce:
+  Return add("x", 1).

package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/bad_type_mismatch_add_text.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.aster

@@ -0,0 +1,4 @@
+Module test.boundary.empty_list.
+
+Rule make_list given dummy, produce:
+  Return List.empty().

package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_empty_generic_list.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.aster

@@ -0,0 +1,4 @@
+Module boundary.list.empty.length.
+
+Rule main, produce:
+  Return List.length(List.empty()).

package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_empty_list_length.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.aster

@@ -0,0 +1,5 @@
+Module boundary.list.slice.zero.
+
+Rule main, produce:
+  Let xs be List.empty().
+  Return List.slice(xs, 0, 0).

package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_list_slice_zero.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_map_type.aster

@@ -0,0 +1,4 @@
+Module test.boundary.map_type.
+
+Rule get_value given m, k, produce:
+  Return Map.get(m, k).

package/corpus/tier3-fixtures/golden-core/boundary_map_type.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_map_type.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.aster

@@ -0,0 +1,6 @@
+Module test.boundary.maybe_match.
+
+Rule unwrap_or given x, d, produce:
+  Match x:
+    When null, Return d.
+    When v, Return v.

package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_maybe_match.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.aster

@@ -0,0 +1,6 @@
+Module boundary.nullcase.default.
+
+Rule main, produce:
+  Match null:
+    When null, Return "none".
+    When value, Return "some".

package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_null_match_default.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_result_both.aster

@@ -0,0 +1,7 @@
+Module test.boundary.result_both.
+
+Rule ok_case given x, produce:
+  Return Ok(x).
+
+Rule err_case given msg, produce:
+  Return Err(msg).

package/corpus/tier3-fixtures/golden-core/boundary_result_both.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_result_both.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.aster

@@ -0,0 +1,4 @@
+Module boundary.result.errcase.
+
+Rule main, produce:
+  Return Err(null).

package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_result_err_null.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.aster

@@ -0,0 +1,4 @@
+Module boundary.text.concat.empty.
+
+Rule main, produce:
+  Return Text.concat("", "").

package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_text_empty_concat.aster"
+}

package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.aster

@@ -0,0 +1,4 @@
+Module boundary.text.trim.whitespace.
+
+Rule main, produce:
+  Return Text.trim("   ").

package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/boundary_text_trim_whitespace.aster"
+}

package/corpus/tier3-fixtures/golden-core/eff_generic_func.aster

@@ -0,0 +1,4 @@
+Module test.effects.generic_func.
+
+Rule persist given data, produce. It performs io [Files]:
+  Return data.

package/corpus/tier3-fixtures/golden-core/eff_generic_func.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/eff_generic_func.aster"
+}

package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.aster

@@ -0,0 +1,4 @@
+Module test.effects.multiple.
+
+Rule query_data, produce. It performs io [Http, Sql, Files]:
+  Return "multi".

package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/eff_multiple_caps.aster"
+}

package/corpus/tier3-fixtures/golden-core/generic_list_of_results.aster

@@ -0,0 +1,4 @@
+Module test.generic.list_results.
+
+Rule count_results given items, produce:
+  Return List.length(items).

package/corpus/tier3-fixtures/golden-core/generic_list_of_results.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/generic_list_of_results.aster"
+}

package/corpus/tier3-fixtures/golden-core/generic_result_maybe.aster

@@ -0,0 +1,6 @@
+Module test.generic.result_maybe.
+
+Rule unwrap given x, produce:
+  Match x:
+    When Ok(v), Return "ok".
+    When Err(msg), Return msg.

package/corpus/tier3-fixtures/golden-core/generic_result_maybe.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/generic_result_maybe.aster"
+}

package/corpus/tier3-fixtures/golden-core/if_param__golden-core.aster

@@ -0,0 +1,7 @@
+Module demo.ifp.
+
+Rule choose given flag, produce:
+  If flag
+    Return "Y".
+  Otherwise
+    Return "N".

package/corpus/tier3-fixtures/golden-core/if_param__golden-core.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/if_param.aster"
+}

package/corpus/tier3-fixtures/golden-core/inventory_workflow.aster

@@ -0,0 +1,16 @@
+Module test.golden.inventory.
+
+// Inventory capability workflow test
+// Tests Inventory.reserve and Inventory.release with compensation
+
+Rule manageInventory given orderId, items, produce with IO. It performs io [Inventory]:
+
+  workflow:
+    step reserve_inventory:
+      Return ok of Inventory.reserve(orderId, items).
+
+    compensate:
+      Inventory.release("reservation-id").
+      Return ok of "inventory released".
+
+  .

package/corpus/tier3-fixtures/golden-core/inventory_workflow.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/inventory_workflow.aster"
+}

package/corpus/tier3-fixtures/golden-core/login__golden-core.aster

@@ -0,0 +1,11 @@
+Module app.service.
+
+Define User has id, name.
+
+Define AuthErr as one of InvalidCreds, Locked.
+
+Rule login given user, pass, produce. It performs io:
+  Let ok be AuthRepo.verify(user, pass).
+  If not (ok)
+    Return err of InvalidCreds.
+  Return ok of User with id set to UUID.randomUUID(), name set to user.

package/corpus/tier3-fixtures/golden-core/login__golden-core.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/login.aster"
+}

package/corpus/tier3-fixtures/golden-core/payment_workflow.aster

@@ -0,0 +1,16 @@
+Module test.golden.payment.
+
+// Payment capability workflow test
+// Tests Payment.charge and Payment.refund with compensation
+
+Rule processPayment given orderId, amount, produce with IO. It performs io [Payment]:
+
+  workflow:
+    step charge_payment:
+      Return ok of Payment.charge(orderId, amount).
+
+    compensate:
+      Payment.refund("payment-id").
+      Return ok of "payment refunded".
+
+  .

package/corpus/tier3-fixtures/golden-core/payment_workflow.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/payment_workflow.aster"
+}

package/corpus/tier3-fixtures/golden-core/pii_param_return.aster

@@ -0,0 +1,4 @@
+Module test.pii.param_return.
+
+Rule validate_email given email, produce:
+  Return email.

package/corpus/tier3-fixtures/golden-core/pii_param_return.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "golden-core",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/e2e/golden/core/pii_param_return.aster"
+}

package/corpus/tier3-fixtures/golden-core/pii_result_type.aster

@@ -0,0 +1,4 @@
+Module test.pii.result.
+
+Rule get_email, produce:
+  Return "test@example.com".