mixinv2-library 0.3.0.post51.dev0__tar.gz → 0.3.0.post53.dev0__tar.gz

{mixinv2_library-0.3.0.post51.dev0 → mixinv2_library-0.3.0.post53.dev0}/PKG-INFO

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

{mixinv2_library-0.3.0.post51.dev0 → mixinv2_library-0.3.0.post53.dev0}/src/mixinv2_library/Builtin/BinNatDecrement.mixin.yaml

@@ -11,35 +11,35 @@
         Decrement:
           decreased: [Product]
       Decrement:
-        _HalfVisitor:
-          - [Even, ~, half, Visitor]
-          - VisitZero:
+        _HalfVisitors:
+          - [Even, ~, half, Visitors]
+          - ZeroVisitor:
               decreased: [Zero]
-            VisitEven:
+            EvenVisitor:
               decreased:
                 - [Odd]
                 - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
-            VisitOdd:
+            OddVisitor:
               decreased:
                 - [Odd]
                 - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
-            Visit:
+            Accepted:
               decreased: [Product]
-        decreased: [_HalfVisitor, Visit, decreased]
+        decreased: [_HalfVisitors, Accepted, decreased]
     Odd:
       Decrement:
-        _HalfVisitor:
-          - [Odd, ~, halfOfPredecessor, Visitor]
-          - VisitZero:
+        _HalfVisitors:
+          - [Odd, ~, halfOfPredecessor, Visitors]
+          - ZeroVisitor:
               decreased: [Zero]
-            VisitEven:
+            EvenVisitor:
               decreased:
                 - [Even]
                 - half: [Odd, ~, halfOfPredecessor]
-            VisitOdd:
+            OddVisitor:
               decreased:
                 - [Even]
                 - half: [Odd, ~, halfOfPredecessor]
-            Visit:
+            Accepted:
               decreased: [Product]
-        decreased: [_HalfVisitor, Visit, decreased]
+        decreased: [_HalfVisitors, Accepted, decreased]

{mixinv2_library-0.3.0.post51.dev0 → mixinv2_library-0.3.0.post53.dev0}/src/mixinv2_library/Builtin/BinNatEquality.mixin.yaml

@@ -8,17 +8,17 @@
       Zero:
         Equal:
           other: [Product]
-          _OtherVisitor:
-            - [other, Visitor]
-            - VisitZero:
+          _OtherVisitors:
+            - [other, Visitors]
+            - ZeroVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "True"]
-              VisitEven:
+              EvenVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              VisitOdd:
+              OddVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              Visit:
+              Accepted:
                 equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitor, Visit, equal]
+          equal: [_OtherVisitors, Accepted, equal]
       Even:
         half:
           Equal:
@@ -30,17 +30,17 @@
           _recursiveEquality:
             - [Even, ~, half, Equal]
             - other: [Equal, ~, other, half]
-          _OtherVisitor:
-            - [other, Visitor]
-            - VisitZero:
+          _OtherVisitors:
+            - [other, Visitors]
+            - ZeroVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              VisitEven:
+              EvenVisitor:
                 equal: [_recursiveEquality, equal]
-              VisitOdd:
+              OddVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              Visit:
+              Accepted:
                 equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitor, Visit, equal]
+          equal: [_OtherVisitors, Accepted, equal]
       Odd:
         halfOfPredecessor:
           Equal:
@@ -52,14 +52,14 @@
           _recursiveEquality:
             - [Odd, ~, halfOfPredecessor, Equal]
             - other: [Equal, ~, other, halfOfPredecessor]
-          _OtherVisitor:
-            - [other, Visitor]
-            - VisitZero:
+          _OtherVisitors:
+            - [other, Visitors]
+            - ZeroVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              VisitEven:
+              EvenVisitor:
                 equal: [BinNatEquality, ~, BooleanFactory, "False"]
-              VisitOdd:
+              OddVisitor:
                 equal: [_recursiveEquality, equal]
-              Visit:
+              Accepted:
                 equal: [BinNatEquality, ~, Boolean]
-          equal: [_OtherVisitor, Visit, equal]
+          equal: [_OtherVisitors, Accepted, equal]

{mixinv2_library-0.3.0.post51.dev0 → mixinv2_library-0.3.0.post53.dev0}/src/mixinv2_library/Builtin/BinNatPlus.mixin.yaml

@@ -17,27 +17,27 @@
           - [Product]
           - half: [Product]
           - halfOfPredecessor: [Product]
-        _AddendVisitor:
-          - [addend, Visitor]
-          - VisitZero:
+        _AddendVisitors:
+          - [addend, Visitors]
+          - ZeroVisitor:
               sum: [Even, ~]
-            VisitEven:
+            EvenVisitor:
               _recursiveAddition:
                 - [Even, ~, half, Plus]
                 - addend: [Plus, ~, addend, half]
               sum:
                 - [Even]
                 - half: [_recursiveAddition, sum]
-            VisitOdd:
+            OddVisitor:
               _recursiveAddition:
                 - [Even, ~, half, Plus]
                 - addend: [Plus, ~, addend, halfOfPredecessor]
               sum:
                 - [Odd]
                 - halfOfPredecessor: [_recursiveAddition, sum]
-            Visit:
+            Accepted:
               sum: [Product]
-        sum: [_AddendVisitor, Visit, sum]
+        sum: [_AddendVisitors, Accepted, sum]
     Odd:
       halfOfPredecessor:
         Plus:
@@ -48,24 +48,24 @@
           - [Product]
           - half: [Product]
           - halfOfPredecessor: [Product]
-        _AddendVisitor:
-          - [addend, Visitor]
-          - VisitZero:
+        _AddendVisitors:
+          - [addend, Visitors]
+          - ZeroVisitor:
               sum: [Odd, ~]
-            VisitEven:
+            EvenVisitor:
               _recursiveAddition:
                 - [Odd, ~, halfOfPredecessor, Plus]
                 - addend: [Plus, ~, addend, half]
               sum:
                 - [Odd]
                 - halfOfPredecessor: [_recursiveAddition, sum]
-            VisitOdd:
+            OddVisitor:
               _recursiveAddition:
                 - [Odd, ~, halfOfPredecessor, Plus]
                 - addend: [Plus, ~, addend, halfOfPredecessor]
               sum:
                 - [Even]
                 - half: [_recursiveAddition, sum, increment]
-            Visit:
+            Accepted:
               sum: [Product]
-        sum: [_AddendVisitor, Visit, sum]
+        sum: [_AddendVisitors, Accepted, sum]

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

@@ -0,0 +1,19 @@
+- [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.post53.dev0/src/mixinv2_library/Builtin/BooleanVisitor.mixin.yaml

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

{mixinv2_library-0.3.0.post51.dev0 → mixinv2_library-0.3.0.post53.dev0}/src/mixinv2_library/Builtin/NatEquality.mixin.yaml

@@ -7,15 +7,15 @@
       Zero:
         Equal:
           other: [Product]
-          _OtherVisitor:
-            - [other, Visitor]
-            - VisitZero:
+          _OtherVisitors:
+            - [other, Visitors]
+            - ZeroVisitor:
                 equal: [NatEquality, ~, BooleanFactory, "True"]
-              VisitSuccessor:
+              SuccessorVisitor:
                 equal: [NatEquality, ~, BooleanFactory, "False"]
-              Visit:
+              Accepted:
                 equal: [NatEquality, ~, Boolean]
-          equal: [_OtherVisitor, Visit, equal]
+          equal: [_OtherVisitors, Accepted, equal]
       Successor:
         predecessor:
           Equal:
@@ -27,13 +27,13 @@
           _recursiveEquality:
             - [Successor, ~, predecessor, Equal]
             - other: [Equal, ~, other, predecessor]
-          _OtherVisitor:
-            - [other, Visitor]
-            - VisitZero:
+          _OtherVisitors:
+            - [other, Visitors]
+            - ZeroVisitor:
                 equal: [NatEquality, ~, BooleanFactory, "False"]
-              VisitSuccessor:
+              SuccessorVisitor:
                 equal: [_recursiveEquality, equal]
-              Visit:
+              Accepted:
                 equal: [NatEquality, ~, Boolean]
-          equal: [_OtherVisitor, Visit, equal]
+          equal: [_OtherVisitors, Accepted, equal]
 - [BooleanData]

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

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

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

@@ -1,19 +0,0 @@
-- [BinNatData]
-- BinNatFactory:
-    Product:
-      Visitor:
-        Visit: []
-    Zero:
-      Visitor:
-        - VisitZero: []
-          Visit: [VisitZero]
-    Even:
-      half: [Product]
-      Visitor:
-        - VisitEven: []
-          Visit: [VisitEven]
-    Odd:
-      halfOfPredecessor: [Product]
-      Visitor:
-        - VisitOdd: []
-          Visit: [VisitOdd]

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

@@ -1,14 +0,0 @@
-- [BooleanData]
-- BooleanFactory:
-    Product:
-      Visitor:
-        Visit: []
-    "True":
-      Visitor:
-        - VisitTrue: []
-          Visit: [VisitTrue]
-
-    "False":
-      Visitor:
-        - VisitFalse: []
-          Visit: [VisitFalse]

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

@@ -1,16 +0,0 @@
-- [NatData]
-- NatFactory:
-    Product:
-      Visitor:
-        Visit: []
-    Zero:
-      Visitor:
-        - VisitZero: []
-          Visit: [VisitZero]
-
-    Successor:
-      predecessor: [Product]
-
-      Visitor:
-        - VisitSuccessor: []
-          Visit: [VisitSuccessor]