loophp / church-encoding

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(true);
+        return static fn(callable $a) => $a(true);
     }
 
     public static function of(): Closure
     {
-        return static fn ($a): Closure => static fn ($b): Closure => static fn ($f) => $f ? $a : $b;
+        return static fn($a): Closure => static fn($b): Closure => static fn($f) => $f ? $a : $b;
     }
 
     public static function second(): Closure
     {
-        return static fn (callable $a) => $a(false);
+        return static fn(callable $a) => $a(false);
     }
 }

src/Numeral.php

Spacing +18 added lines, -19 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 $x): Closure => static fn (callable $y): Closure => static fn ($s): Closure => static fn ($z) => $x($s)($y($s)($z));
+        return static fn(callable $x): Closure => static fn(callable $y): Closure => static fn($s): Closure => static fn($z) => $x($s)($y($s)($z));
     }
 
     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,7 +109,7 @@ 
      */
     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)));
     }
 
     /**
@@ -118,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));
     }
 
     /**
@@ -126,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

@@ -15,41 +15,41 @@
 {
     public static function booleanToPrimitive(): Closure
     {
-        return static fn (callable $l): Closure => static fn (bool $m): Closure => static fn (bool $n): bool => $l($m)($n);
+        return static fn(callable $l): Closure => static fn(bool $m): Closure => static fn(bool $n): bool => $l($m)($n);
     }
 
     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()));
     }
 }