lawspec 0.9.0 → 0.10.0

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

@@ -0,0 +1,149 @@
+{
+  "version": 1,
+  "sources": [
+    "laws"
+  ],
+  "machineBits": 64,
+  "targets": [
+    {
+      "language": "javascript",
+      "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/javascript/src/payments_domain.mjs

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

package/examples/native-payments/javascript/test/lawspec_generators.mjs

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

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

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

package/examples/native-payments/kotlin/src/main/kotlin/domain/PaymentsDomain.kt

@@ -0,0 +1,17 @@
+package domain
+
+import java.math.BigDecimal
+import lawspec.runtime.LawSpecRuntime.Maybe
+
+// Application-owned types; no generated LawSpec domain declarations.
+object PaymentsDomain {
+    enum class CurrencyCode { Dollars, Euros, Pounds }
+    data class Price(val major: BigDecimal, val unit: CurrencyCode)
+    sealed interface PaymentStatus
+    data class Settled(val price: Price) : PaymentStatus
+    data class Rejected(val explanation: String) : PaymentStatus
+
+    fun apply_fee(price: Price) = Price(price.major + BigDecimal("0.2"), price.unit)
+    fun restore(payment: PaymentStatus) = payment
+    fun store(payments: List<Maybe<PaymentStatus>>) = payments
+}

package/examples/native-payments/kotlin/src/test/kotlin/domain/PaymentGenerators.kt

@@ -0,0 +1,12 @@
+package domain
+
+import io.kotest.property.Arb
+import io.kotest.property.arbitrary.int
+import io.kotest.property.arbitrary.map
+import java.math.BigDecimal
+
+object PaymentGenerators {
+    fun prices(): Arb<PaymentsDomain.Price> = Arb.int(100..200).map { cents ->
+        PaymentsDomain.Price(BigDecimal.valueOf(cents.toLong(), 2), PaymentsDomain.CurrencyCode.Euros)
+    }
+}

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)