lawspec 0.9.0 → 0.11.0

package/examples/native-payments/python/lawspec.json

@@ -0,0 +1,149 @@
+{
+  "version": 1,
+  "sources": [
+    "laws"
+  ],
+  "machineBits": 64,
+  "targets": [
+    {
+      "language": "python",
+      "root": ".",
+      "nativeBindings": {
+        "types": [
+          {
+            "type": "example.payments::type::Currency",
+            "native": [
+              "payments_domain",
+              "CurrencyCode"
+            ],
+            "constructors": [
+              {
+                "constructor": "USD",
+                "native": [
+                  "payments_domain",
+                  "Dollars"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "EUR",
+                "native": [
+                  "payments_domain",
+                  "Euros"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "GBP",
+                "native": [
+                  "payments_domain",
+                  "Pounds"
+                ],
+                "style": "unit",
+                "fields": []
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Money",
+            "native": [
+              "payments_domain",
+              "Price"
+            ],
+            "constructors": [
+              {
+                "constructor": "Money",
+                "native": [
+                  "payments_domain",
+                  "Price"
+                ],
+                "style": "record",
+                "fields": [
+                  {
+                    "field": "amount",
+                    "native": "major"
+                  },
+                  {
+                    "field": "currency",
+                    "native": "unit"
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Payment",
+            "native": [
+              "payments_domain",
+              "PaymentStatus"
+            ],
+            "constructors": [
+              {
+                "constructor": "Paid",
+                "native": [
+                  "payments_domain",
+                  "Settled"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "value",
+                    "native": "price"
+                  }
+                ]
+              },
+              {
+                "constructor": "Declined",
+                "native": [
+                  "payments_domain",
+                  "Rejected"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "reason",
+                    "native": "explanation"
+                  }
+                ]
+              }
+            ]
+          }
+        ],
+        "functions": [
+          {
+            "declaration": "example.payments::addFee",
+            "native": [
+              "payments_domain",
+              "apply_fee"
+            ]
+          },
+          {
+            "declaration": "example.payments::roundTrip",
+            "native": [
+              "payments_domain",
+              "restore"
+            ]
+          },
+          {
+            "declaration": "example.payments::archive",
+            "native": [
+              "payments_domain",
+              "store"
+            ]
+          }
+        ],
+        "generators": [
+          {
+            "type": "example.payments::type::Money",
+            "factory": [
+              "lawspec_generators",
+              "prices"
+            ]
+          }
+        ]
+      }
+    }
+  ]
+}

package/examples/native-payments/python/src/payments_domain.py

@@ -0,0 +1,60 @@
+"""Application-owned payment types; no generated domain declarations."""
+
+from dataclasses import dataclass
+from decimal import Decimal
+from fractions import Fraction
+
+import lawspec_runtime as ls
+
+
+class CurrencyCode:
+    pass
+
+
+@dataclass(frozen=True)
+class Dollars(CurrencyCode):
+    pass
+
+
+@dataclass(frozen=True)
+class Euros(CurrencyCode):
+    pass
+
+
+@dataclass(frozen=True)
+class Pounds(CurrencyCode):
+    pass
+
+
+@dataclass(frozen=True, kw_only=True)
+class Price:
+    # Order differs deliberately; bridges must use the mapped field names.
+    unit: CurrencyCode
+    major: Decimal
+
+
+class PaymentStatus:
+    pass
+
+
+@dataclass(frozen=True, kw_only=True)
+class Settled(PaymentStatus):
+    price: Price
+
+
+@dataclass(frozen=True, kw_only=True)
+class Rejected(PaymentStatus):
+    explanation: str
+
+
+def apply_fee(price):
+    amount = ls.finite_decimal(Fraction(price.major) + Fraction(1, 5))
+    return Price(major=amount, unit=price.unit)
+
+
+def restore(payment):
+    return payment
+
+
+def store(payments):
+    return payments

package/examples/native-payments/python/tests/lawspec_generators.py

@@ -0,0 +1,15 @@
+"""Application strategies retain ordinary Hypothesis shrinking."""
+
+from decimal import Decimal
+
+from hypothesis import strategies as st
+
+from payments_domain import Euros, Price
+
+
+def prices():
+    def price(cents):
+        digits = tuple(map(int, str(cents)))
+        return Price(major=Decimal((0, digits, -2)), unit=Euros())
+
+    return st.integers(min_value=100, max_value=200).map(price)

package/examples/native-payments/rust/lawspec.json

@@ -0,0 +1,167 @@
+{
+  "version": 1,
+  "sources": [
+    "laws"
+  ],
+  "machineBits": 64,
+  "targets": [
+    {
+      "language": "rust",
+      "root": ".",
+      "nativeBindings": {
+        "rustCrate": "lawspec_example",
+        "types": [
+          {
+            "type": "example.payments::type::Currency",
+            "native": [
+              "crate",
+              "domain",
+              "CurrencyCode"
+            ],
+            "constructors": [
+              {
+                "constructor": "USD",
+                "native": [
+                  "crate",
+                  "domain",
+                  "CurrencyCode",
+                  "Dollars"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "EUR",
+                "native": [
+                  "crate",
+                  "domain",
+                  "CurrencyCode",
+                  "Euros"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "GBP",
+                "native": [
+                  "crate",
+                  "domain",
+                  "CurrencyCode",
+                  "Pounds"
+                ],
+                "style": "unit",
+                "fields": []
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Money",
+            "native": [
+              "crate",
+              "domain",
+              "Price"
+            ],
+            "constructors": [
+              {
+                "constructor": "Money",
+                "native": [
+                  "crate",
+                  "domain",
+                  "Price"
+                ],
+                "style": "record",
+                "fields": [
+                  {
+                    "field": "amount",
+                    "native": "major"
+                  },
+                  {
+                    "field": "currency",
+                    "native": "unit"
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Payment",
+            "native": [
+              "crate",
+              "domain",
+              "PaymentStatus"
+            ],
+            "constructors": [
+              {
+                "constructor": "Paid",
+                "native": [
+                  "crate",
+                  "domain",
+                  "PaymentStatus",
+                  "Settled"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "value",
+                    "native": "price"
+                  }
+                ]
+              },
+              {
+                "constructor": "Declined",
+                "native": [
+                  "crate",
+                  "domain",
+                  "PaymentStatus",
+                  "Rejected"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "reason",
+                    "native": "explanation"
+                  }
+                ]
+              }
+            ]
+          }
+        ],
+        "functions": [
+          {
+            "declaration": "example.payments::addFee",
+            "native": [
+              "crate",
+              "domain",
+              "apply_fee"
+            ]
+          },
+          {
+            "declaration": "example.payments::roundTrip",
+            "native": [
+              "crate",
+              "domain",
+              "restore"
+            ]
+          },
+          {
+            "declaration": "example.payments::archive",
+            "native": [
+              "crate",
+              "domain",
+              "store"
+            ]
+          }
+        ],
+        "generators": [
+          {
+            "type": "example.payments::type::Money",
+            "factory": [
+              "lawspec_generators",
+              "prices"
+            ]
+          }
+        ]
+      }
+    }
+  ]
+}

package/examples/native-payments/rust/src/domain.rs

@@ -0,0 +1,37 @@
+// Application-owned types: no dependency on generated lawspec_data types.
+use crate::lawspec_runtime::Decimal;
+
+#[derive(Clone, Debug)]
+pub enum CurrencyCode {
+    Dollars,
+    Euros,
+    Pounds,
+}
+
+#[derive(Clone, Debug)]
+pub struct Price {
+    pub major: Decimal,
+    pub unit: CurrencyCode,
+}
+
+#[derive(Clone, Debug)]
+pub enum PaymentStatus {
+    Settled { price: Price },
+    Rejected { explanation: String },
+}
+
+pub fn apply_fee(mut price: Price) -> Price {
+    price.major = price
+        .major
+        .add(&Decimal::new(2.into(), (-1).into()))
+        .unwrap();
+    price
+}
+
+pub fn restore(payment: PaymentStatus) -> PaymentStatus {
+    payment
+}
+
+pub fn store(payments: Vec<Option<PaymentStatus>>) -> Vec<Option<PaymentStatus>> {
+    payments
+}

package/examples/native-payments/rust/src/lib.rs

@@ -0,0 +1,2 @@
+include!("lawspec_modules.rs");
+pub mod domain;

package/examples/native-payments/rust/tests/support/lawspec_generators.rs

@@ -0,0 +1,11 @@
+use lawspec_example::domain::{CurrencyCode, Price};
+use lawspec_example::lawspec_runtime::Decimal;
+use proptest::prelude::*;
+
+// The native range strategy retains its shrinker through this mapping.
+pub fn prices() -> impl Strategy<Value = Price> {
+    (100i32..=200).prop_map(|cents| Price {
+        major: Decimal::new(cents.into(), (-2).into()),
+        unit: CurrencyCode::Euros,
+    })
+}

package/examples/native-payments/typescript/lawspec.json

@@ -0,0 +1,149 @@
+{
+  "version": 1,
+  "sources": [
+    "laws"
+  ],
+  "machineBits": 64,
+  "targets": [
+    {
+      "language": "typescript",
+      "root": ".",
+      "nativeBindings": {
+        "types": [
+          {
+            "type": "example.payments::type::Currency",
+            "native": [
+              "payments_domain",
+              "CurrencyCode"
+            ],
+            "constructors": [
+              {
+                "constructor": "USD",
+                "native": [
+                  "payments_domain",
+                  "Dollars"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "EUR",
+                "native": [
+                  "payments_domain",
+                  "Euros"
+                ],
+                "style": "unit",
+                "fields": []
+              },
+              {
+                "constructor": "GBP",
+                "native": [
+                  "payments_domain",
+                  "Pounds"
+                ],
+                "style": "unit",
+                "fields": []
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Money",
+            "native": [
+              "payments_domain",
+              "Price"
+            ],
+            "constructors": [
+              {
+                "constructor": "Money",
+                "native": [
+                  "payments_domain",
+                  "Price"
+                ],
+                "style": "record",
+                "fields": [
+                  {
+                    "field": "amount",
+                    "native": "major"
+                  },
+                  {
+                    "field": "currency",
+                    "native": "unit"
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "type": "example.payments::type::Payment",
+            "native": [
+              "payments_domain",
+              "PaymentStatus"
+            ],
+            "constructors": [
+              {
+                "constructor": "Paid",
+                "native": [
+                  "payments_domain",
+                  "Settled"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "value",
+                    "native": "price"
+                  }
+                ]
+              },
+              {
+                "constructor": "Declined",
+                "native": [
+                  "payments_domain",
+                  "Rejected"
+                ],
+                "style": "variant",
+                "fields": [
+                  {
+                    "field": "reason",
+                    "native": "explanation"
+                  }
+                ]
+              }
+            ]
+          }
+        ],
+        "functions": [
+          {
+            "declaration": "example.payments::addFee",
+            "native": [
+              "payments_domain",
+              "apply_fee"
+            ]
+          },
+          {
+            "declaration": "example.payments::roundTrip",
+            "native": [
+              "payments_domain",
+              "restore"
+            ]
+          },
+          {
+            "declaration": "example.payments::archive",
+            "native": [
+              "payments_domain",
+              "store"
+            ]
+          }
+        ],
+        "generators": [
+          {
+            "type": "example.payments::type::Money",
+            "factory": [
+              "lawspec_generators",
+              "prices"
+            ]
+          }
+        ]
+      }
+    }
+  ]
+}

package/examples/native-payments/typescript/src/payments_domain.ts

@@ -0,0 +1,42 @@
+// Application-owned domain types; no generated domain declarations.
+import * as ls from './lawspec_runtime.js';
+
+export class CurrencyCode {}
+export class Dollars extends CurrencyCode {}
+export class Euros extends CurrencyCode {}
+export class Pounds extends CurrencyCode {}
+
+export class Price {
+  major: ls.Decimal;
+  unit: CurrencyCode;
+  constructor({unit, major}: {unit: CurrencyCode; major: ls.Decimal}) {
+    this.unit = unit;
+    this.major = major;
+  }
+}
+export class PaymentStatus {}
+export class Settled extends PaymentStatus {
+  price: Price;
+  constructor({price}: {price: Price}) {
+    super();
+    this.price = price;
+  }
+}
+export class Rejected extends PaymentStatus {
+  explanation: string;
+  constructor({explanation}: {explanation: string}) {
+    super();
+    this.explanation = explanation;
+  }
+}
+export function apply_fee(price: Price): Price {
+  const major = ls.binary('+', price.major, new ls.Decimal(2n, -1n),
+    'Decimal', 'Decimal') as ls.Decimal;
+  return new Price({major, unit: price.unit});
+}
+export function restore<T>(payment: T): T {
+  return payment;
+}
+export function store<T>(payments: T[]): T[] {
+  return payments;
+}

package/examples/native-payments/typescript/test/lawspec_generators.ts

@@ -0,0 +1,8 @@
+import * as fc from 'fast-check';
+import * as ls from '../src/lawspec_runtime.js';
+import {Price, Euros} from '../src/payments_domain.js';
+
+export function prices(): fc.Arbitrary<Price> {
+  return fc.integer({min:100, max:200}).map(cents =>
+    new Price({major:new ls.Decimal(BigInt(cents), -2n), unit:new Euros()}));
+}