mixinv2-library 0.4.0.post50.dev0__tar.gz → 0.4.0.post65.dev0__tar.gz

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: mixinv2-library
-Version: 0.4.0.post50.dev0
+Version: 0.4.0.post65.dev0
 Summary: The MIXINv2 standard library — built-in definitions for MIXINv2
 Project-URL: Repository, https://github.com/Atry/MIXINv2
 Author-email: "Yang, Bo" <yang-bo@yang-bo.com>
@@ -10,4 +10,4 @@ Classifier: License :: OSI Approved :: MIT License
 Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.14
 Requires-Python: >=3.13
-Requires-Dist: mixinv2==0.4.0.post50.dev0
+Requires-Dist: mixinv2==0.4.0.post65.dev0

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/src/mixinv2_library/Builtin/NatData.mixin.yaml

@@ -2,9 +2,4 @@ NumberFactory: []
 NatFactory:
   - [NumberFactory]
   - Product: []
-    Zero:
-      - [Product]
-    Successor:
-      - [Product]
-      - predecessor: [Product]
 Nat: [NatFactory, Product]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatDataSuccessor.mixin.yaml

@@ -0,0 +1,5 @@
+- [NatData]
+- NatFactory:
+    Successor:
+      - [NatFactory, ~, Product]
+      - predecessor: [NatFactory, ~, Product]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatDataZero.mixin.yaml

@@ -0,0 +1,4 @@
+- [NatData]
+- NatFactory:
+    Zero:
+      - [NatFactory, ~, Product]

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/src/mixinv2_library/Builtin/NatDecrement.mixin.yaml

@@ -1,4 +1,5 @@
-- [NatData]
+- [NatDataZero]
+- [NatDataSuccessor]
 - NatFactory:
     Product:
       Decrement:

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatEquality.mixin.yaml

@@ -0,0 +1,7 @@
+- [NatVisitor]
+- [BooleanData]
+- NatFactory:
+    Product:
+      Equal:
+        other: [Product]
+        equal: [NatEquality, ~, Boolean]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatEqualitySuccessor.mixin.yaml

@@ -0,0 +1,24 @@
+- [NatVisitorSuccessor]
+- [NatEquality]
+- NatFactory:
+    Successor:
+      predecessor:
+        Equal:
+          equal: [NatEqualitySuccessor, ~, Boolean]
+      Equal:
+        other:
+          - [NatFactory, ~, Product]
+          - predecessor: [NatFactory, ~, Product]
+        _recursiveEquality:
+          - [Successor, ~, predecessor, Equal]
+          - other: [Equal, ~, other, predecessor]
+        _OtherAcceptance:
+          - [other, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                equal: [NatEqualitySuccessor, ~, BooleanFactory, "False"]
+              SuccessorVisitor:
+                equal: [_recursiveEquality, equal]
+            Accepted:
+              equal: [NatEqualitySuccessor, ~, Boolean]
+        equal: [_OtherAcceptance, Accepted, equal]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatEqualityZero.mixin.yaml

@@ -0,0 +1,16 @@
+- [NatVisitorZero]
+- [NatEquality]
+- NatFactory:
+    Zero:
+      Equal:
+        other: [NatFactory, ~, Product]
+        _OtherAcceptance:
+          - [other, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                equal: [NatEqualityZero, ~, BooleanFactory, "True"]
+              SuccessorVisitor:
+                equal: [NatEqualityZero, ~, BooleanFactory, "False"]
+            Accepted:
+              equal: [NatEqualityZero, ~, Boolean]
+        equal: [_OtherAcceptance, Accepted, equal]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatPlus.mixin.yaml

@@ -0,0 +1,5 @@
+- [NatData]
+- NatFactory:
+    Product:
+      Plus:
+        sum: [Product]

mixinv2_library-0.4.0.post50.dev0/src/mixinv2_library/Builtin/NatPlus.mixin.yaml → mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatPlusSuccessor.mixin.yaml

@@ -1,18 +1,12 @@
-- [NatData]
+- [NatDataSuccessor]
+- [NatPlus]
 - NatFactory:
-    Product:
-      Plus:
-        sum: [Product]
-    Zero:
-      Plus:
-        addend: [Product]
-        sum: [addend]
     Successor:
       predecessor:
         Plus:
-          sum: [Product]
+          sum: [NatFactory, ~, Product]
       Plus:
-        addend: [Product]
+        addend: [NatFactory, ~, Product]
         _increasedAddend:
           - [Successor]
           - predecessor: [addend]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatPlusZero.mixin.yaml

@@ -0,0 +1,7 @@
+- [NatDataZero]
+- [NatPlus]
+- NatFactory:
+    Zero:
+      Plus:
+        addend: [NatFactory, ~, Product]
+        sum: [addend]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatVisitor.mixin.yaml

@@ -0,0 +1,6 @@
+- [NatData]
+- NatFactory:
+    Product:
+      Acceptance:
+        VisitorMap: []
+        Accepted: []

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatVisitorSuccessor.mixin.yaml

@@ -0,0 +1,9 @@
+- [NatDataSuccessor]
+- [NatVisitor]
+- NatFactory:
+    Successor:
+      predecessor: [NatFactory, ~, Product]
+      Acceptance:
+        VisitorMap:
+          SuccessorVisitor: []
+        Accepted: [VisitorMap, SuccessorVisitor]

mixinv2_library-0.4.0.post65.dev0/src/mixinv2_library/Builtin/NatVisitorZero.mixin.yaml

@@ -0,0 +1,8 @@
+- [NatDataZero]
+- [NatVisitor]
+- NatFactory:
+    Zero:
+      Acceptance:
+        VisitorMap:
+          ZeroVisitor: []
+        Accepted: [VisitorMap, ZeroVisitor]

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/src/mixinv2_library/Builtin/__init__.py

@@ -21,7 +21,10 @@ class _BinNatScope(Protocol):
 
 
 @public
-@extend(LexicalReference(path=("NatData",)))
+@extend(
+    LexicalReference(path=("NatDataZero",)),
+    LexicalReference(path=("NatDataSuccessor",)),
+)
 @scope
 class NatToPython:
     @public

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/tests/ArithmeticTest.mixin.yaml

@@ -1,6 +1,8 @@
 - [NatConstants]
-- [Builtin, NatEquality]
-- [Builtin, NatPlus]
+- [Builtin, NatEqualityZero]
+- [Builtin, NatEqualitySuccessor]
+- [Builtin, NatPlusZero]
+- [Builtin, NatPlusSuccessor]
 - [Builtin, NatToPython]
 - [Builtin, BooleanToPython]
 

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/tests/BigNatTest.mixin.yaml

@@ -1,5 +1,6 @@
 NatArithmetic:
-  - [Builtin, NatPlus]
+  - [Builtin, NatPlusZero]
+  - [Builtin, NatPlusSuccessor]
   - [Builtin, NatToPython]
   - [Builtin, BooleanToPython]
 

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/tests/CartesianProductTest.mixin.yaml

@@ -1,6 +1,8 @@
 - [NatConstants]
-- [Builtin, NatEquality]
-- [Builtin, NatPlus]
+- [Builtin, NatEqualityZero]
+- [Builtin, NatEqualitySuccessor]
+- [Builtin, NatPlusZero]
+- [Builtin, NatPlusSuccessor]
 - [Builtin, NatToPython]
 - [Builtin, BooleanToPython]
 - [Builtin, BinNatEquality]

{mixinv2_library-0.4.0.post50.dev0 → mixinv2_library-0.4.0.post65.dev0}/tests/NatConstants.mixin.yaml

@@ -1,4 +1,5 @@
-- [Builtin, NatData]
+- [Builtin, NatDataZero]
+- [Builtin, NatDataSuccessor]
 
 - Zero:
     - [NatConstants, ~, NatFactory, Zero]

mixinv2_library-0.4.0.post50.dev0/src/mixinv2_library/Builtin/NatEquality.mixin.yaml

@@ -1,41 +0,0 @@
-- [NatVisitor]
-- NatFactory:
-    - Product:
-        Equal:
-          other: [Product]
-          equal: [NatEquality, ~, Boolean]
-      Zero:
-        Equal:
-          other: [Product]
-          _OtherAcceptance:
-            - [other, Acceptance]
-            - VisitorMap:
-                ZeroVisitor:
-                  equal: [NatEquality, ~, BooleanFactory, "True"]
-                SuccessorVisitor:
-                  equal: [NatEquality, ~, BooleanFactory, "False"]
-              Accepted:
-                equal: [NatEquality, ~, Boolean]
-          equal: [_OtherAcceptance, Accepted, equal]
-      Successor:
-        predecessor:
-          Equal:
-            equal: [NatEquality, ~, Boolean]
-        Equal:
-          other:
-            - [Product]
-            - predecessor: [Product]
-          _recursiveEquality:
-            - [Successor, ~, predecessor, Equal]
-            - other: [Equal, ~, other, predecessor]
-          _OtherAcceptance:
-            - [other, Acceptance]
-            - VisitorMap:
-                ZeroVisitor:
-                  equal: [NatEquality, ~, BooleanFactory, "False"]
-                SuccessorVisitor:
-                  equal: [_recursiveEquality, equal]
-              Accepted:
-                equal: [NatEquality, ~, Boolean]
-          equal: [_OtherAcceptance, Accepted, equal]
-- [BooleanData]

mixinv2_library-0.4.0.post50.dev0/src/mixinv2_library/Builtin/NatVisitor.mixin.yaml

@@ -1,19 +0,0 @@
-- [NatData]
-- NatFactory:
-    Product:
-      Acceptance:
-        VisitorMap: []
-        Accepted: []
-    Zero:
-      Acceptance:
-        VisitorMap:
-          ZeroVisitor: []
-        Accepted: [VisitorMap, ZeroVisitor]
-
-    Successor:
-      predecessor: [Product]
-
-      Acceptance:
-        VisitorMap:
-          SuccessorVisitor: []
-        Accepted: [VisitorMap, SuccessorVisitor]