loophp / church-encoding

src/CList.php

Spacing +12 added lines, -12 removed lines

@@ -16,31 +16,31 @@ 
 {
     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()(Boolean::CFalse())(Pair::of()($a)($b));
+        return static fn($a): Closure => static fn($b): Closure => Pair::of()(Boolean::CFalse())(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) => Boolean::CIf()(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) => Boolean::CIf()(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()
@@ -50,7 +50,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()
@@ -60,13 +60,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());
     }
 
@@ -77,6 +77,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));
     }
 }

src/Pair.php

Spacing +3 added lines, -3 removed lines

@@ -15,16 +15,16 @@
 {
     public static function first(): Closure
     {
-        return static fn (callable $a) => $a(static fn ($b) => static fn () => $b);
+        return static fn(callable $a) => $a(static fn($b) => static fn() => $b);
     }
 
     public static function of(): Closure
     {
-        return static fn ($a): Closure => static fn ($b): Closure => static fn ($c) => $c($a)($b);
+        return static fn($a): Closure => static fn($b): Closure => static fn($c) => $c($a)($b);
     }
 
     public static function second(): Closure
     {
-        return static fn (callable $a) => $a(static fn () => static fn ($b) => $b);
+        return static fn(callable $a) => $a(static fn() => static fn($b) => $b);
     }
 }

src/Numeral.php

Spacing +17 added lines, -17 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,17 +65,17 @@ 
      */
     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 $a): Closure => static fn (callable $b): Closure => static fn ($c) => $a(static fn ($d): Closure => static fn ($e) => $e($d($b)))(static fn () => $c)(static fn ($a) => $a);
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => static fn($c) => $a(static fn($d): Closure => static fn($e) => $e($d($b)))(static fn() => $c)(static fn($a) => $a);
     }
 
     /**
@@ -83,7 +83,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)))))));
     }
 
     /**
@@ -91,12 +91,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));
     }
 
     /**
@@ -104,12 +104,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);
     }
 
     /**
@@ -117,7 +117,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));
     }
 
     /**
@@ -125,6 +125,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 +8 added lines, -8 removed lines

@@ -16,7 +16,7 @@ 
 {
     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
@@ -46,36 +46,36 @@ 
 
     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));
     }
 }