mixinv2-library 0.3.0.post57.dev0__tar.gz → 0.3.0.post65.dev0__tar.gz

{mixinv2_library-0.3.0.post57.dev0 → mixinv2_library-0.3.0.post65.dev0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: mixinv2-library
-Version: 0.3.0.post57.dev0
+Version: 0.3.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.3.0.post57.dev0
+Requires-Dist: mixinv2==0.3.0.post65.dev0

mixinv2_library-0.3.0.post65.dev0/src/mixinv2_library/Builtin/BinNatDecrement.mixin.yaml

@@ -0,0 +1,47 @@
+- [BinNatVisitor]
+- BinNatFactory:
+    Product:
+      Decrement:
+        decreased: [Product]
+    Zero:
+      Decrement:
+        decreased: [Zero]
+    Even:
+      half:
+        Decrement:
+          decreased: [Product]
+      Decrement:
+        _HalfAcceptance:
+          - [Even, ~, half, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                decreased: [Zero]
+              EvenVisitor:
+                decreased:
+                  - [Odd]
+                  - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
+              OddVisitor:
+                decreased:
+                  - [Odd]
+                  - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
+            Accepted:
+              decreased: [Product]
+        decreased: [_HalfAcceptance, Accepted, decreased]
+    Odd:
+      Decrement:
+        _HalfAcceptance:
+          - [Odd, ~, halfOfPredecessor, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                decreased: [Zero]
+              EvenVisitor:
+                decreased:
+                  - [Even]
+                  - half: [Odd, ~, halfOfPredecessor]
+              OddVisitor:
+                decreased:
+                  - [Even]
+                  - half: [Odd, ~, halfOfPredecessor]
+            Accepted:
+              decreased: [Product]
+        decreased: [_HalfAcceptance, Accepted, decreased]

mixinv2_library-0.3.0.post65.dev0/src/mixinv2_library/Builtin/BinNatEquality.mixin.yaml

@@ -0,0 +1,68 @@
+- [BinNatVisitor]
+- [BooleanData]
+- BinNatFactory:
+    - Product:
+        Equal:
+          other: [Product]
+          equal: [BinNatEquality, ~, Boolean]
+      Zero:
+        Equal:
+          other: [Product]
+          _OtherAcceptance:
+            - [other, Acceptance]
+            - VisitorMap:
+                ZeroVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "True"]
+                EvenVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+                OddVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              Accepted:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherAcceptance, Accepted, equal]
+      Even:
+        half:
+          Equal:
+            equal: [BinNatEquality, ~, Boolean]
+        Equal:
+          other:
+            - [Product]
+            - half: [Product]
+          _recursiveEquality:
+            - [Even, ~, half, Equal]
+            - other: [Equal, ~, other, half]
+          _OtherAcceptance:
+            - [other, Acceptance]
+            - VisitorMap:
+                ZeroVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+                EvenVisitor:
+                  equal: [_recursiveEquality, equal]
+                OddVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              Accepted:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherAcceptance, Accepted, equal]
+      Odd:
+        halfOfPredecessor:
+          Equal:
+            equal: [BinNatEquality, ~, Boolean]
+        Equal:
+          other:
+            - [Product]
+            - halfOfPredecessor: [Product]
+          _recursiveEquality:
+            - [Odd, ~, halfOfPredecessor, Equal]
+            - other: [Equal, ~, other, halfOfPredecessor]
+          _OtherAcceptance:
+            - [other, Acceptance]
+            - VisitorMap:
+                ZeroVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+                EvenVisitor:
+                  equal: [BinNatEquality, ~, BooleanFactory, "False"]
+                OddVisitor:
+                  equal: [_recursiveEquality, equal]
+              Accepted:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherAcceptance, Accepted, equal]

mixinv2_library-0.3.0.post65.dev0/src/mixinv2_library/Builtin/BinNatPlus.mixin.yaml

@@ -0,0 +1,73 @@
+- [BinNatVisitor]
+- [BinNatIncrement]
+- BinNatFactory:
+    Product:
+      Plus:
+        sum: [Product]
+    Zero:
+      Plus:
+        addend: [Product]
+        sum: [addend]
+    Even:
+      half:
+        Plus:
+          sum: [Product]
+      Plus:
+        addend:
+          - [Product]
+          - half: [Product]
+          - halfOfPredecessor: [Product]
+        _AddendAcceptance:
+          - [addend, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                sum: [Even, ~]
+              EvenVisitor:
+                _recursiveAddition:
+                  - [Even, ~, half, Plus]
+                  - addend: [Plus, ~, addend, half]
+                sum:
+                  - [Even]
+                  - half: [_recursiveAddition, sum]
+              OddVisitor:
+                _recursiveAddition:
+                  - [Even, ~, half, Plus]
+                  - addend: [Plus, ~, addend, halfOfPredecessor]
+                sum:
+                  - [Odd]
+                  - halfOfPredecessor: [_recursiveAddition, sum]
+            Accepted:
+              sum: [Product]
+        sum: [_AddendAcceptance, Accepted, sum]
+    Odd:
+      halfOfPredecessor:
+        Plus:
+          sum: [Product]
+        increment: [Product]
+      Plus:
+        addend:
+          - [Product]
+          - half: [Product]
+          - halfOfPredecessor: [Product]
+        _AddendAcceptance:
+          - [addend, Acceptance]
+          - VisitorMap:
+              ZeroVisitor:
+                sum: [Odd, ~]
+              EvenVisitor:
+                _recursiveAddition:
+                  - [Odd, ~, halfOfPredecessor, Plus]
+                  - addend: [Plus, ~, addend, half]
+                sum:
+                  - [Odd]
+                  - halfOfPredecessor: [_recursiveAddition, sum]
+              OddVisitor:
+                _recursiveAddition:
+                  - [Odd, ~, halfOfPredecessor, Plus]
+                  - addend: [Plus, ~, addend, halfOfPredecessor]
+                sum:
+                  - [Even]
+                  - half: [_recursiveAddition, sum, increment]
+            Accepted:
+              sum: [Product]
+        sum: [_AddendAcceptance, Accepted, sum]

mixinv2_library-0.3.0.post65.dev0/src/mixinv2_library/Builtin/BinNatVisitor.mixin.yaml

@@ -0,0 +1,23 @@
+- [BinNatData]
+- BinNatFactory:
+    Product:
+      Acceptance:
+        VisitorMap: []
+        Accepted: []
+    Zero:
+      Acceptance:
+        VisitorMap:
+          ZeroVisitor: []
+        Accepted: [VisitorMap, ZeroVisitor]
+    Even:
+      half: [Product]
+      Acceptance:
+        VisitorMap:
+          EvenVisitor: []
+        Accepted: [VisitorMap, EvenVisitor]
+    Odd:
+      halfOfPredecessor: [Product]
+      Acceptance:
+        VisitorMap:
+          OddVisitor: []
+        Accepted: [VisitorMap, OddVisitor]

mixinv2_library-0.3.0.post65.dev0/src/mixinv2_library/Builtin/BooleanVisitor.mixin.yaml

@@ -0,0 +1,17 @@
+- [BooleanData]
+- BooleanFactory:
+    Product:
+      Acceptance:
+        VisitorMap: []
+        Accepted: []
+    "True":
+      Acceptance:
+        VisitorMap:
+          TrueVisitor: []
+        Accepted: [VisitorMap, TrueVisitor]
+
+    "False":
+      Acceptance:
+        VisitorMap:
+          FalseVisitor: []
+        Accepted: [VisitorMap, FalseVisitor]

{mixinv2_library-0.3.0.post57.dev0 → mixinv2_library-0.3.0.post65.dev0}/src/mixinv2_library/Builtin/NatEquality.mixin.yaml

@@ -7,15 +7,16 @@
       Zero:
         Equal:
           other: [Product]
-          _OtherVisitors:
-            - [other, Visitors]
-            - ZeroVisitor:
-                equal: [NatEquality, ~, BooleanFactory, "True"]
-              SuccessorVisitor:
-                equal: [NatEquality, ~, BooleanFactory, "False"]
+          _OtherAcceptance:
+            - [other, Acceptance]
+            - VisitorMap:
+                ZeroVisitor:
+                  equal: [NatEquality, ~, BooleanFactory, "True"]
+                SuccessorVisitor:
+                  equal: [NatEquality, ~, BooleanFactory, "False"]
               Accepted:
                 equal: [NatEquality, ~, Boolean]
-          equal: [_OtherVisitors, Accepted, equal]
+          equal: [_OtherAcceptance, Accepted, equal]
       Successor:
         predecessor:
           Equal:
@@ -27,13 +28,14 @@
           _recursiveEquality:
             - [Successor, ~, predecessor, Equal]
             - other: [Equal, ~, other, predecessor]
-          _OtherVisitors:
-            - [other, Visitors]
-            - ZeroVisitor:
-                equal: [NatEquality, ~, BooleanFactory, "False"]
-              SuccessorVisitor:
-                equal: [_recursiveEquality, equal]
+          _OtherAcceptance:
+            - [other, Acceptance]
+            - VisitorMap:
+                ZeroVisitor:
+                  equal: [NatEquality, ~, BooleanFactory, "False"]
+                SuccessorVisitor:
+                  equal: [_recursiveEquality, equal]
               Accepted:
                 equal: [NatEquality, ~, Boolean]
-          equal: [_OtherVisitors, Accepted, equal]
+          equal: [_OtherAcceptance, Accepted, equal]
 - [BooleanData]

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

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

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/BinNatDecrement.mixin.yaml

@@ -1,45 +0,0 @@
-- [BinNatVisitor]
-- BinNatFactory:
-    Product:
-      Decrement:
-        decreased: [Product]
-    Zero:
-      Decrement:
-        decreased: [Zero]
-    Even:
-      half:
-        Decrement:
-          decreased: [Product]
-      Decrement:
-        _HalfVisitors:
-          - [Even, ~, half, Visitors]
-          - ZeroVisitor:
-              decreased: [Zero]
-            EvenVisitor:
-              decreased:
-                - [Odd]
-                - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
-            OddVisitor:
-              decreased:
-                - [Odd]
-                - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
-            Accepted:
-              decreased: [Product]
-        decreased: [_HalfVisitors, Accepted, decreased]
-    Odd:
-      Decrement:
-        _HalfVisitors:
-          - [Odd, ~, halfOfPredecessor, Visitors]
-          - ZeroVisitor:
-              decreased: [Zero]
-            EvenVisitor:
-              decreased:
-                - [Even]
-                - half: [Odd, ~, halfOfPredecessor]
-            OddVisitor:
-              decreased:
-                - [Even]
-                - half: [Odd, ~, halfOfPredecessor]
-            Accepted:
-              decreased: [Product]
-        decreased: [_HalfVisitors, Accepted, decreased]

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/BinNatEquality.mixin.yaml

@@ -1,65 +0,0 @@
-- [BinNatVisitor]
-- [BooleanData]
-- BinNatFactory:
-    - Product:
-        Equal:
-          other: [Product]
-          equal: [BinNatEquality, ~, Boolean]
-      Zero:
-        Equal:
-          other: [Product]
-          _OtherVisitors:
-            - [other, Visitors]
-            - ZeroVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "True"]
-              EvenVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              OddVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              Accepted:
-                equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitors, Accepted, equal]
-      Even:
-        half:
-          Equal:
-            equal: [BinNatEquality, ~, Boolean]
-        Equal:
-          other:
-            - [Product]
-            - half: [Product]
-          _recursiveEquality:
-            - [Even, ~, half, Equal]
-            - other: [Equal, ~, other, half]
-          _OtherVisitors:
-            - [other, Visitors]
-            - ZeroVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              EvenVisitor:
-                equal: [_recursiveEquality, equal]
-              OddVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              Accepted:
-                equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitors, Accepted, equal]
-      Odd:
-        halfOfPredecessor:
-          Equal:
-            equal: [BinNatEquality, ~, Boolean]
-        Equal:
-          other:
-            - [Product]
-            - halfOfPredecessor: [Product]
-          _recursiveEquality:
-            - [Odd, ~, halfOfPredecessor, Equal]
-            - other: [Equal, ~, other, halfOfPredecessor]
-          _OtherVisitors:
-            - [other, Visitors]
-            - ZeroVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              EvenVisitor:
-                equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              OddVisitor:
-                equal: [_recursiveEquality, equal]
-              Accepted:
-                equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitors, Accepted, equal]

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/BinNatPlus.mixin.yaml

@@ -1,71 +0,0 @@
-- [BinNatVisitor]
-- [BinNatIncrement]
-- BinNatFactory:
-    Product:
-      Plus:
-        sum: [Product]
-    Zero:
-      Plus:
-        addend: [Product]
-        sum: [addend]
-    Even:
-      half:
-        Plus:
-          sum: [Product]
-      Plus:
-        addend:
-          - [Product]
-          - half: [Product]
-          - halfOfPredecessor: [Product]
-        _AddendVisitors:
-          - [addend, Visitors]
-          - ZeroVisitor:
-              sum: [Even, ~]
-            EvenVisitor:
-              _recursiveAddition:
-                - [Even, ~, half, Plus]
-                - addend: [Plus, ~, addend, half]
-              sum:
-                - [Even]
-                - half: [_recursiveAddition, sum]
-            OddVisitor:
-              _recursiveAddition:
-                - [Even, ~, half, Plus]
-                - addend: [Plus, ~, addend, halfOfPredecessor]
-              sum:
-                - [Odd]
-                - halfOfPredecessor: [_recursiveAddition, sum]
-            Accepted:
-              sum: [Product]
-        sum: [_AddendVisitors, Accepted, sum]
-    Odd:
-      halfOfPredecessor:
-        Plus:
-          sum: [Product]
-        increment: [Product]
-      Plus:
-        addend:
-          - [Product]
-          - half: [Product]
-          - halfOfPredecessor: [Product]
-        _AddendVisitors:
-          - [addend, Visitors]
-          - ZeroVisitor:
-              sum: [Odd, ~]
-            EvenVisitor:
-              _recursiveAddition:
-                - [Odd, ~, halfOfPredecessor, Plus]
-                - addend: [Plus, ~, addend, half]
-              sum:
-                - [Odd]
-                - halfOfPredecessor: [_recursiveAddition, sum]
-            OddVisitor:
-              _recursiveAddition:
-                - [Odd, ~, halfOfPredecessor, Plus]
-                - addend: [Plus, ~, addend, halfOfPredecessor]
-              sum:
-                - [Even]
-                - half: [_recursiveAddition, sum, increment]
-            Accepted:
-              sum: [Product]
-        sum: [_AddendVisitors, Accepted, sum]

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/BinNatVisitor.mixin.yaml

@@ -1,19 +0,0 @@
-- [BinNatData]
-- BinNatFactory:
-    Product:
-      Visitors:
-        Accepted: []
-    Zero:
-      Visitors:
-        - ZeroVisitor: []
-          Accepted: [ZeroVisitor]
-    Even:
-      half: [Product]
-      Visitors:
-        - EvenVisitor: []
-          Accepted: [EvenVisitor]
-    Odd:
-      halfOfPredecessor: [Product]
-      Visitors:
-        - OddVisitor: []
-          Accepted: [OddVisitor]

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/BooleanVisitor.mixin.yaml

@@ -1,14 +0,0 @@
-- [BooleanData]
-- BooleanFactory:
-    Product:
-      Visitors:
-        Accepted: []
-    "True":
-      Visitors:
-        - TrueVisitor: []
-          Accepted: [TrueVisitor]
-
-    "False":
-      Visitors:
-        - FalseVisitor: []
-          Accepted: [FalseVisitor]

mixinv2_library-0.3.0.post57.dev0/src/mixinv2_library/Builtin/NatVisitor.mixin.yaml

@@ -1,16 +0,0 @@
-- [NatData]
-- NatFactory:
-    Product:
-      Visitors:
-        Accepted: []
-    Zero:
-      Visitors:
-        - ZeroVisitor: []
-          Accepted: [ZeroVisitor]
-
-    Successor:
-      predecessor: [Product]
-
-      Visitors:
-        - SuccessorVisitor: []
-          Accepted: [SuccessorVisitor]