Introduced comparison objects

src/Any/AnyWrap.php

@@ -26,7 +26,6 @@
 
 namespace Maxonfjvipon\ElegantElephant\Any;
 
-use Exception;
 use Maxonfjvipon\ElegantElephant\Any;
 
 /**

src/Any/LastOf.php

@@ -26,6 +26,7 @@
 
 namespace Maxonfjvipon\ElegantElephant\Any;
 
+use Couchbase\IndexFailureException;
 use Exception;
 use Maxonfjvipon\ElegantElephant\Any;
 use Maxonfjvipon\ElegantElephant\Arr;
@@ -70,18 +71,18 @@ public function value(): mixed
 
         if (is_string($value)) {
             if (empty($value)) {
-                throw new Exception("Can't get the last element of an empty string");
+                throw new Exception(message: "Can't get the last element of an empty string");
             }
 
             $res = substr($value, -1);
         } elseif (is_array($value)) {
             if (empty($value)) {
-                throw new Exception("Can't get the last element of an empty array");
+                throw new Exception(message: "Can't get the last element of an empty array");
             }
 
             $res = $value[count($value) - 1];
         } else {
-            throw new Exception("The element to get the last element from must be an array or string");
+            throw new Exception(message: "The element to get the last element from must be an array or string");
         }
 
         return $res;

src/Arr/ArrCond.php

@@ -26,8 +26,6 @@
 
 namespace Maxonfjvipon\ElegantElephant\Arr;
 
-use Maxonfjvipon\ElegantElephant\Any\AnyCond;
-use Maxonfjvipon\ElegantElephant\Any\AnyOf;
 use Maxonfjvipon\ElegantElephant\Arr;
 use Maxonfjvipon\ElegantElephant\Logic;
 

src/Logic/GreaterOrEqual.php

@@ -0,0 +1,55 @@
+<?php
+/**
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2022 Max Trunnikov
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included
+ * in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE
+ */
+declare(strict_types=1);
+
+namespace Maxonfjvipon\ElegantElephant\Logic;
+
+use Maxonfjvipon\ElegantElephant\Logic;
+use Maxonfjvipon\ElegantElephant\Num;
+use Maxonfjvipon\ElegantElephant\Num\EnsureNum;
+
+/**
+ * Greater than or equal to.
+ */
+final class GreaterOrEqual implements Logic
+{
+    use EnsureNum;
+
+    /**
+     * Ctor.
+     * @param float|int|Num $first
+     * @param float|int|Num $second
+     */
+    final public function __construct(
+        private float|int|Num $first,
+        private float|int|Num $second
+    ) {
+    }
+
+    final public function asBool(): bool
+    {
+        return  $this->ensuredNumber($this->first) >= $this->ensuredNumber($this->second);
+    }
+}

src/Logic/GreaterThan.php

@@ -0,0 +1,55 @@
+<?php
+/**
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2022 Max Trunnikov
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included
+ * in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE
+ */
+declare(strict_types=1);
+
+namespace Maxonfjvipon\ElegantElephant\Logic;
+
+use Maxonfjvipon\ElegantElephant\Logic;
+use Maxonfjvipon\ElegantElephant\Num;
+use Maxonfjvipon\ElegantElephant\Num\EnsureNum;
+
+/**
+ * Greater than.
+ */
+final class GreaterThan implements Logic
+{
+    use EnsureNum;
+
+    /**
+     * Ctor.
+     * @param float|int|Num $first
+     * @param float|int|Num $second
+     */
+    final public function __construct(
+        private float|int|Num $first,
+        private float|int|Num $second
+    ) {
+    }
+
+    final public function asBool(): bool
+    {
+        return  $this->ensuredNumber($this->first) > $this->ensuredNumber($this->second);
+    }
+}

src/Logic/LessOrEqual.php

@@ -0,0 +1,55 @@
+<?php
+/**
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2022 Max Trunnikov
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included
+ * in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE
+ */
+declare(strict_types=1);
+
+namespace Maxonfjvipon\ElegantElephant\Logic;
+
+use Maxonfjvipon\ElegantElephant\Logic;
+use Maxonfjvipon\ElegantElephant\Num;
+use Maxonfjvipon\ElegantElephant\Num\EnsureNum;
+
+/**
+ * Less than or equal to.
+ */
+final class LessOrEqual implements Logic
+{
+    use EnsureNum;
+
+    /**
+     * Ctor.
+     * @param float|int|Num $first
+     * @param float|int|Num $second
+     */
+    final public function __construct(
+        private float|int|Num $first,
+        private float|int|Num $second
+    ) {
+    }
+
+    final public function asBool(): bool
+    {
+        return  $this->ensuredNumber($this->first) <= $this->ensuredNumber($this->second);
+    }
+}

src/Logic/LessThan.php

@@ -0,0 +1,55 @@
+<?php
+/**
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2022 Max Trunnikov
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included
+ * in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE
+ */
+declare(strict_types=1);
+
+namespace Maxonfjvipon\ElegantElephant\Logic;
+
+use Maxonfjvipon\ElegantElephant\Logic;
+use Maxonfjvipon\ElegantElephant\Num;
+use Maxonfjvipon\ElegantElephant\Num\EnsureNum;
+
+/**
+ * Less than.
+ */
+final class LessThan implements Logic
+{
+    use EnsureNum;
+
+    /**
+     * Ctor.
+     * @param float|int|Num $first
+     * @param float|int|Num $second
+     */
+    final public function __construct(
+        private float|int|Num $first,
+        private float|int|Num $second
+    ) {
+    }
+
+    final public function asBool(): bool
+    {
+        return  $this->ensuredNumber($this->first) < $this->ensuredNumber($this->second);
+    }
+}

tests/Logic/GreaterOrEqualTest.php

@@ -0,0 +1,40 @@
+<?php
+
+namespace Maxonfjvipon\ElegantElephant\Tests\Logic;
+
+use Exception;
+use Maxonfjvipon\ElegantElephant\Logic\GreaterOrEqual;
+use Maxonfjvipon\ElegantElephant\Logic\LessOrEqual;
+use Maxonfjvipon\ElegantElephant\Num\MaxOf;
+use Maxonfjvipon\ElegantElephant\Num\SumOf;
+use Maxonfjvipon\ElegantElephant\Tests\TestCase;
+use PHPUnit\Framework\Constraint\IsTrue;
+
+final class GreaterOrEqualTest extends TestCase
+{
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function greaterThanWorks(): void
+    {
+        $this->assertLogicThat(
+            new GreaterOrEqual(20, 10),
+            new IsTrue()
+        );
+    }
+
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function notGreaterButEqual(): void
+    {
+        $this->assertLogicThat(
+            new GreaterOrEqual(SumOf::items(10, 10), new MaxOf(20, 10)),
+            new IsTrue()
+        );
+    }
+}

tests/Logic/GreaterThanTest.php

@@ -0,0 +1,40 @@
+<?php
+
+namespace Maxonfjvipon\ElegantElephant\Tests\Logic;
+
+use Exception;
+use Maxonfjvipon\ElegantElephant\Logic\GreaterThan;
+use Maxonfjvipon\ElegantElephant\Num\MaxOf;
+use Maxonfjvipon\ElegantElephant\Num\SumOf;
+use Maxonfjvipon\ElegantElephant\Tests\TestCase;
+use PHPUnit\Framework\Constraint\IsFalse;
+use PHPUnit\Framework\Constraint\IsTrue;
+
+final class GreaterThanTest extends TestCase
+{
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function greaterThanWorks(): void
+    {
+        $this->assertLogicThat(
+            new GreaterThan(20, 10),
+            new IsTrue()
+        );
+    }
+
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function notGreaterButEqual(): void
+    {
+        $this->assertLogicThat(
+            new GreaterThan(SumOf::items(10, 10), new MaxOf(20, 10)),
+            new IsFalse()
+        );
+    }
+}

tests/Logic/LessOrEqualTest.php

@@ -0,0 +1,39 @@
+<?php
+
+namespace Maxonfjvipon\ElegantElephant\Tests\Logic;
+
+use Exception;
+use Maxonfjvipon\ElegantElephant\Logic\LessOrEqual;
+use Maxonfjvipon\ElegantElephant\Num\MaxOf;
+use Maxonfjvipon\ElegantElephant\Num\SumOf;
+use Maxonfjvipon\ElegantElephant\Tests\TestCase;
+use PHPUnit\Framework\Constraint\IsTrue;
+
+final class LessOrEqualTest extends TestCase
+{
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function lessThanWorks(): void
+    {
+        $this->assertLogicThat(
+            new LessOrEqual(10, 20),
+            new IsTrue()
+        );
+    }
+
+    /**
+     * @test
+     * @return void
+     * @throws Exception
+     */
+    public function notLessButEqual(): void
+    {
+        $this->assertLogicThat(
+            new LessOrEqual(SumOf::items(10, 10), new MaxOf(20, 10)),
+            new IsTrue()
+        );
+    }
+}