loophp / church-encoding

src/Numeral.php

Spacing +19 added lines, -20 removed lines

@@ -18,12 +18,12 @@ 
      */
     public static function eight(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $s($s($s($s($s($s($s($s($z))))))));
+        return static fn(callable $s) => static fn($z) => $s($s($s($s($s($s($s($s($z))))))));
     }
 
     public static function exponentiation(): Closure
     {
-        return static fn (callable $f): Closure => static fn (callable $n): Closure => $n($f);
+        return static fn(callable $f): Closure => static fn(callable $n): Closure => $n($f);
     }
 
     /**
@@ -31,7 +31,7 @@ 
      */
     public static function five(): Closure
     {
-        return static fn (callable $s): Closure => static fn ($z) => $s($s($s($s($s($z)))));
+        return static fn(callable $s): Closure => static fn($z) => $s($s($s($s($s($z)))));
     }
 
     /**
@@ -39,17 +39,17 @@ 
      */
     public static function four(): Closure
     {
-        return static fn (callable $s): Closure => static fn ($z) => $s($s($s($s($z))));
+        return static fn(callable $s): Closure => static fn($z) => $s($s($s($s($z))));
     }
 
     public static function minus(): Closure
     {
-        return static fn (callable $x): Closure => static fn (callable $y): Closure => $y(self::pred())($x);
+        return static fn(callable $x): Closure => static fn(callable $y): Closure => $y(self::pred())($x);
     }
 
     public static function multiply(): Closure
     {
-        return static fn (callable $x): Closure => static fn (callable $y): Closure => $x(self::plus()($y))(self::zero());
+        return static fn(callable $x): Closure => static fn(callable $y): Closure => $x(self::plus()($y))(self::zero());
     }
 
     /**
@@ -57,7 +57,7 @@ 
      */
     public static function nine(): Closure
     {
-        return static fn (callable $s): Closure => static fn ($z) => $s($s($s($s($s($s($s($s($s($z)))))))));
+        return static fn(callable $s): Closure => static fn($z) => $s($s($s($s($s($s($s($s($s($z)))))))));
     }
 
     /**
@@ -65,21 +65,20 @@ 
      */
     public static function one(): Closure
     {
-        return static fn (callable $s): Closure => static fn ($z) => $s($z);
+        return static fn(callable $s): Closure => static fn($z) => $s($z);
     }
 
     public static function plus(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => static fn ($c): Closure => static fn ($d) => $b($c)($a($c)($d));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => static fn($c): Closure => static fn($d) => $b($c)($a($c)($d));
     }
 
     public static function pred(): Closure
     {
-        return static fn (callable $n): Closure => static fn (callable $next): Closure => static fn ($first) => Pair::second()(
+        return static fn(callable $n): Closure => static fn(callable $next): Closure => static fn($first) => Pair::second()(
             $n(
-                static fn (callable $pair): Closure => Pair::first()($pair) ?
-                                        Pair::of()(false)($first) :
-                                        Pair::of()(false)($next(Pair::second()($pair)))
+                static fn(callable $pair): Closure => Pair::first()($pair) ?
+                                        Pair::of()(false)($first) : Pair::of()(false)($next(Pair::second()($pair)))
             )(Pair::of()(true)($first))
         );
     }
@@ -89,7 +88,7 @@ 
      */
     public static function seven(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $s($s($s($s($s($s($s($z)))))));
+        return static fn(callable $s) => static fn($z) => $s($s($s($s($s($s($s($z)))))));
     }
 
     /**
@@ -97,12 +96,12 @@ 
      */
     public static function six(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $s($s($s($s($s($s($z))))));
+        return static fn(callable $s) => static fn($z) => $s($s($s($s($s($s($z))))));
     }
 
     public static function succ(): Closure
     {
-        return static fn (callable $n): Closure => static fn (callable $s): Closure => static fn ($z) => $s($n($s)($z));
+        return static fn(callable $n): Closure => static fn(callable $s): Closure => static fn($z) => $s($n($s)($z));
     }
 
     /**
@@ -110,12 +109,12 @@ 
      */
     public static function three(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $s($s($s($z)));
+        return static fn(callable $s) => static fn($z) => $s($s($s($z)));
     }
 
     public static function toInt(callable $numeral)
     {
-        return $numeral(static fn (int $n): int => $n + 1)(0);
+        return $numeral(static fn(int $n): int => $n + 1)(0);
     }
 
     /**
@@ -123,7 +122,7 @@ 
      */
     public static function two(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $s($s($z));
+        return static fn(callable $s) => static fn($z) => $s($s($z));
     }
 
     /**
@@ -131,6 +130,6 @@ 
      */
     public static function zero(): Closure
     {
-        return static fn (callable $s) => static fn ($z) => $z;
+        return static fn(callable $s) => static fn($z) => $z;
     }
 }

src/Boolean.php

Spacing +13 added lines, -13 removed lines

@@ -15,66 +15,66 @@
 {
     public static function CAnd(): Closure
     {
-        return static fn (callable $l): Closure => static fn (callable $c): Closure => $l($c)(self::CFalse());
+        return static fn(callable $l): Closure => static fn(callable $c): Closure => $l($c)(self::CFalse());
     }
 
     public static function CFalse(): Closure
     {
-        return static fn ($t): Closure => static fn ($f) => $f;
+        return static fn($t): Closure => static fn($f) => $f;
     }
 
     public static function CIf(): Closure
     {
-        return static fn (callable $if): Closure => self::CTrue()($if)(self::CFalse());
+        return static fn(callable $if): Closure => self::CTrue()($if)(self::CFalse());
     }
 
     public static function CNot(): Closure
     {
-        return static fn (callable $fn): Closure => $fn(self::CFalse())(self::CTrue());
+        return static fn(callable $fn): Closure => $fn(self::CFalse())(self::CTrue());
     }
 
     public static function COr(): Closure
     {
-        return static fn (callable $l): Closure => static fn (callable $c): Closure => $l(self::CTrue())($c);
+        return static fn(callable $l): Closure => static fn(callable $c): Closure => $l(self::CTrue())($c);
     }
 
     public static function CTrue(): Closure
     {
-        return static fn ($t): Closure => static fn ($f) => $t;
+        return static fn($t): Closure => static fn($f) => $t;
     }
 
     public static function CXor(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b) => ($a($b(self::CFalse())(self::CTrue())))($b(self::CTrue())(self::CFalse()));
+        return static fn(callable $a): Closure => static fn(callable $b) => ($a($b(self::CFalse())(self::CTrue())))($b(self::CTrue())(self::CFalse()));
     }
 
     public static function eq(): Closure
     {
-        return static fn ($a): Closure => static fn ($b) => self::CAnd()(self::lte()($a)($b))(self::lte()($b)($a));
+        return static fn($a): Closure => static fn($b) => self::CAnd()(self::lte()($a)($b))(self::lte()($b)($a));
     }
 
     public static function gt(): Closure
     {
-        return static fn ($a): Closure => static fn ($b) => self::CNot()(self::lte()($a)($b));
+        return static fn($a): Closure => static fn($b) => self::CNot()(self::lte()($a)($b));
     }
 
     public static function gte(): Closure
     {
-        return static fn ($a): Closure => static fn ($b) => self::isZero()(Numeral::minus()($b)($a));
+        return static fn($a): Closure => static fn($b) => self::isZero()(Numeral::minus()($b)($a));
     }
 
     public static function isZero(): Closure
     {
-        return static fn ($a) => $a(static fn () => self::CFalse())(self::CTrue());
+        return static fn($a) => $a(static fn() => self::CFalse())(self::CTrue());
     }
 
     public static function lt(): Closure
     {
-        return static fn ($a): Closure => static fn ($b) => self::CNot()(self::gte()($a)($b));
+        return static fn($a): Closure => static fn($b) => self::CNot()(self::gte()($a)($b));
     }
 
     public static function lte(): Closure
     {
-        return static fn ($a): Closure => static fn ($b) => self::isZero()(Numeral::minus()($a)($b));
+        return static fn($a): Closure => static fn($b) => self::isZero()(Numeral::minus()($a)($b));
     }
 }

src/CList.php

Spacing +13 added lines, -14 removed lines

@@ -16,33 +16,32 @@ 
 {
     public static function concat(): Closure
     {
-        return static fn ($xs): Closure => static fn ($ys): Closure => self::foldr()(self::cons())($ys)($xs);
+        return static fn($xs): Closure => static fn($ys): Closure => self::foldr()(self::cons())($ys)($xs);
     }
 
     public static function cons()
     {
-        return static fn ($a): Closure => static fn ($b): Closure => Pair::of()(false)(Pair::of()($a)($b));
+        return static fn($a): Closure => static fn($b): Closure => Pair::of()(false)(Pair::of()($a)($b));
     }
 
     public static function foldl()
     {
-        return static fn ($f) => static fn ($a) => static fn ($xs) => self::foldr()(
-            static fn ($x) => static fn ($g) => static fn ($y) => $g($f($y)($x))
-        )(static fn ($x) => $x)($xs)($a);
+        return static fn($f) => static fn($a) => static fn($xs) => self::foldr()(
+            static fn($x) => static fn($g) => static fn($y) => $g($f($y)($x))
+        )(static fn($x) => $x)($xs)($a);
     }
 
     public static function foldr()
     {
         return Combinators::Y()(
-            static fn ($r) => static fn ($f) => static fn ($a) => static fn ($xs) => self::isNil()($xs) ?
-                            (static fn () => $a) :
-                            (static fn () => $f(self::head()($xs))($r($f)($a)(self::tail()($xs))))()
+            static fn($r) => static fn($f) => static fn($a) => static fn($xs) => self::isNil()($xs) ?
+                            (static fn() => $a) : (static fn() => $f(self::head()($xs))($r($f)($a)(self::tail()($xs))))()
         );
     }
 
     public static function head()
     {
-        return static fn ($a): Closure => Pair::first()(Pair::second()($a));
+        return static fn($a): Closure => Pair::first()(Pair::second()($a));
     }
 
     public static function isNil()
@@ -52,7 +51,7 @@ 
 
     public static function length()
     {
-        return self::foldl()(static fn ($a) => static fn ($b) => Numeral::succ()($a))(Numeral::zero());
+        return self::foldl()(static fn($a) => static fn($b) => Numeral::succ()($a))(Numeral::zero());
     }
 
     public static function nil()
@@ -62,13 +61,13 @@ 
 
     public static function range()
     {
-        return static fn ($a): Closure => static fn ($b) => Numeral::minus()(Numeral::succ()($b))($a)(static fn ($c) => CList::cons()(Numeral::minus()($b)(CList::length()($c)))($c))(CList::nil());
+        return static fn($a): Closure => static fn($b) => Numeral::minus()(Numeral::succ()($b))($a)(static fn($c) => CList::cons()(Numeral::minus()($b)(CList::length()($c)))($c))(CList::nil());
     }
 
     public static function repeat()
     {
-        return static fn ($a): Closure => static fn (callable $b) => $b(
-            static fn ($c) => CList::cons()($a)($c)
+        return static fn($a): Closure => static fn(callable $b) => $b(
+            static fn($c) => CList::cons()($a)($c)
         )(CList::nil());
     }
 
@@ -79,6 +78,6 @@ 
 
     public static function tail(): Closure
     {
-        return static fn ($a): Closure => Pair::second()(Pair::second()($a));
+        return static fn($a): Closure => Pair::second()(Pair::second()($a));
     }
 }