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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (33) hide show
  1. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/PKG-INFO +2 -2
  2. mixinv2_library-0.3.0.post68.dev0/tests/ArithmeticTest.mixin.yaml +67 -0
  3. mixinv2_library-0.3.0.post68.dev0/tests/BigNatTest.mixin.yaml +2015 -0
  4. mixinv2_library-0.3.0.post68.dev0/tests/BinNatArithmeticTest.mixin.yaml +122 -0
  5. mixinv2_library-0.3.0.post68.dev0/tests/CartesianProductTest.mixin.yaml +134 -0
  6. mixinv2_library-0.3.0.post68.dev0/tests/ChurchBooleanTest.mixin.yaml +199 -0
  7. mixinv2_library-0.3.0.post68.dev0/tests/NatConstants.mixin.yaml +32 -0
  8. mixinv2_library-0.3.0.post68.dev0/tests/test_bin_nat_arithmetic.py +161 -0
  9. mixinv2_library-0.3.0.post68.dev0/tests/test_cartesian_product.py +124 -0
  10. mixinv2_library-0.3.0.post68.dev0/tests/test_church_boolean.py +143 -0
  11. mixinv2_library-0.3.0.post68.dev0/tests/test_nat_arithmetic.py +141 -0
  12. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/.gitignore +0 -0
  13. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/pyproject.toml +0 -0
  14. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatData.mixin.yaml +0 -0
  15. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatDecrement.mixin.yaml +0 -0
  16. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatEquality.mixin.yaml +0 -0
  17. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatIncrement.mixin.yaml +0 -0
  18. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatPlus.mixin.yaml +0 -0
  19. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BinNatVisitor.mixin.yaml +0 -0
  20. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanAnd.mixin.yaml +0 -0
  21. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanData.mixin.yaml +0 -0
  22. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanEquality.mixin.yaml +0 -0
  23. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanNegation.mixin.yaml +0 -0
  24. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanOr.mixin.yaml +0 -0
  25. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/BooleanVisitor.mixin.yaml +0 -0
  26. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NatData.mixin.yaml +0 -0
  27. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NatDecrement.mixin.yaml +0 -0
  28. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NatEquality.mixin.yaml +0 -0
  29. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NatPlus.mixin.yaml +0 -0
  30. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NatVisitor.mixin.yaml +0 -0
  31. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/NumberIsZero.mixin.yaml +0 -0
  32. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/Builtin/__init__.py +0 -0
  33. {mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/src/mixinv2_library/__init__.py +0 -0
{mixinv2_library-0.3.0.post65.dev0 → mixinv2_library-0.3.0.post68.dev0}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: mixinv2-library
3
- Version: 0.3.0.post65.dev0
3
+ Version: 0.3.0.post68.dev0
4
4
  Summary: The MIXINv2 standard library — built-in definitions for MIXINv2
5
5
  Project-URL: Repository, https://github.com/Atry/MIXINv2
6
6
  Author-email: "Yang, Bo" <yang-bo@yang-bo.com>
@@ -10,4 +10,4 @@ Classifier: License :: OSI Approved :: MIT License
10
10
  Classifier: Programming Language :: Python :: 3.13
11
11
  Classifier: Programming Language :: Python :: 3.14
12
12
  Requires-Python: >=3.13
13
- Requires-Dist: mixinv2==0.3.0.post65.dev0
13
+ Requires-Dist: mixinv2==0.3.0.post68.dev0
mixinv2_library-0.3.0.post68.dev0/tests/ArithmeticTest.mixin.yaml ADDED
@@ -0,0 +1,67 @@
1
+ - [NatConstants]
2
+ - [Builtin, NatEquality]
3
+ - [Builtin, NatPlus]
4
+ - [Builtin, NatToPython]
5
+ - [Builtin, BooleanToPython]
6
+
7
+ # =============================================================================
8
+ # Addition tests
9
+ # =============================================================================
10
+
11
+ # 3 + 4
12
+ - threePlusFour:
13
+ - [ArithmeticTest, ~, Three, Plus]
14
+ - addend: [ArithmeticTest, ~, Four]
15
+
16
+ # 5 + 2
17
+ fivePlusTwo:
18
+ - [ArithmeticTest, ~, Five, Plus]
19
+ - addend: [ArithmeticTest, ~, Two]
20
+
21
+ # 0 + 3
22
+ zeroPlusThree:
23
+ - [ArithmeticTest, ~, Zero, Plus]
24
+ - addend: [ArithmeticTest, ~, Three]
25
+
26
+ # =============================================================================
27
+ # Direct equality tests (without addition)
28
+ # =============================================================================
29
+
30
+ # 0 == 0
31
+ zeroEqualsZero:
32
+ - [ArithmeticTest, ~, Zero, Equal]
33
+ - other: [ArithmeticTest, ~, Zero]
34
+
35
+ # 3 == 3
36
+ threeEqualsThree:
37
+ - [ArithmeticTest, ~, Three, Equal]
38
+ - other: [ArithmeticTest, ~, Three]
39
+
40
+ # 3 == 4
41
+ threeEqualsFour:
42
+ - [ArithmeticTest, ~, Three, Equal]
43
+ - other: [ArithmeticTest, ~, Four]
44
+
45
+ # =============================================================================
46
+ # Equality tests with addition results
47
+ # =============================================================================
48
+
49
+ # (3 + 4) == 7
50
+ threePlusFourEqualsSeven:
51
+ - [ArithmeticTest, ~, Seven, Equal]
52
+ - other: [threePlusFour, sum]
53
+
54
+ # (5 + 2) == 7
55
+ fivePlusTwoEqualsSeven:
56
+ - [ArithmeticTest, ~, Seven, Equal]
57
+ - other: [fivePlusTwo, sum]
58
+
59
+ # (5 + 2) == 2
60
+ fivePlusTwoEqualsTwo:
61
+ - [ArithmeticTest, ~, Two, Equal]
62
+ - other: [fivePlusTwo, sum]
63
+
64
+ # (0 + 3) == 3
65
+ zeroPlusThreeEqualsThree:
66
+ - [ArithmeticTest, ~, Three, Equal]
67
+ - other: [zeroPlusThree, sum]