loophp / church-encoding

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): Closure => ($a($b(self::CFalse())(self::CTrue())))($b(self::CTrue())(self::CFalse()));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => ($a($b(self::CFalse())(self::CTrue())))($b(self::CTrue())(self::CFalse()));
     }
 
     public static function eq(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => self::CAnd()(self::lte()($a)($b))(self::lte()($b)($a));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => self::CAnd()(self::lte()($a)($b))(self::lte()($b)($a));
     }
 
     public static function gt(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => self::CNot()(self::lte()($a)($b));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => self::CNot()(self::lte()($a)($b));
     }
 
     public static function gte(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => self::isZero()(Numeral::minus()($b)($a));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => self::isZero()(Numeral::minus()($b)($a));
     }
 
     public static function isZero(): Closure
     {
-        return static fn (callable $a): Closure => $a(Combinators::K()(self::CFalse()))(self::CTrue());
+        return static fn(callable $a): Closure => $a(Combinators::K()(self::CFalse()))(self::CTrue());
     }
 
     public static function lt(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => self::CNot()(self::gte()($a)($b));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => self::CNot()(self::gte()($a)($b));
     }
 
     public static function lte(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => self::isZero()(Numeral::minus()($a)($b));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => self::isZero()(Numeral::minus()($a)($b));
     }
 }

src/CList.php

Spacing +11 added lines, -11 removed lines

@@ -21,12 +21,12 @@ 
 {
     public static function concat(): Closure
     {
-        return static fn (callable $xs): Closure => static fn (callable $ys): Closure => self::foldr()(self::cons())($ys)($xs);
+        return static fn(callable $xs): Closure => static fn(callable $ys): Closure => self::foldr()(self::cons())($ys)($xs);
     }
 
     public static function cons(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => Pair::of()(Boolean::CFalse())(Pair::of()($a)($b));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => Pair::of()(Boolean::CFalse())(Pair::of()($a)($b));
     }
 
     /**
@@ -34,8 +34,8 @@ 
      */
     public static function foldl()
     {
-        return static fn (callable $f): Closure => static fn ($a): Closure => static fn (callable $xs) => self::foldr()(
-            static fn (callable $x): Closure => static fn (callable $g): Closure => static fn ($y) => $g($f($y)($x))
+        return static fn(callable $f): Closure => static fn($a): Closure => static fn(callable $xs) => self::foldr()(
+            static fn(callable $x): Closure => static fn(callable $g): Closure => static fn($y) => $g($f($y)($x))
         )(Combinators::I())($xs)($a);
     }
 
@@ -45,13 +45,13 @@ 
     public static function foldr()
     {
         return Combinators::Y()(
-            static fn (callable $r): Closure => static fn (callable $f): Closure => static fn ($a): Closure => static fn (callable $xs) => Boolean::CIf()(self::isNil()($xs))(static fn () => $a)(static fn () => $f(self::head()($xs))($r($f)($a)(self::tail()($xs))))()
+            static fn(callable $r): Closure => static fn(callable $f): Closure => static fn($a): Closure => static fn(callable $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(): Closure
     {
-        return static fn (callable $a): Closure => Pair::first()(Pair::second()($a));
+        return static fn(callable $a): Closure => Pair::first()(Pair::second()($a));
     }
 
     public static function isNil(): Closure
@@ -61,7 +61,7 @@ 
 
     public static function length(): Closure
     {
-        return self::foldl()(static fn (callable $a): Closure => static fn (callable $b): Closure => Numeral::succ()($a))(Numeral::zero());
+        return self::foldl()(static fn(callable $a): Closure => static fn(callable $b): Closure => Numeral::succ()($a))(Numeral::zero());
     }
 
     public static function nil(): Closure
@@ -71,13 +71,13 @@ 
 
     public static function range(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => Numeral::minus()(Numeral::succ()($b))($a)(static fn (callable $c): Closure => CList::cons()(Numeral::minus()($b)(CList::length()($c)))($c))(CList::nil());
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => Numeral::minus()(Numeral::succ()($b))($a)(static fn(callable $c): Closure => CList::cons()(Numeral::minus()($b)(CList::length()($c)))($c))(CList::nil());
     }
 
     public static function repeat(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => $b(
-            static fn ($c): Closure => CList::cons()($a)($c)
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => $b(
+            static fn($c): Closure => CList::cons()($a)($c)
         )(CList::nil());
     }
 
@@ -88,6 +88,6 @@ 
 
     public static function tail(): Closure
     {
-        return static fn (callable $a): Closure => Pair::second()(Pair::second()($a));
+        return static fn(callable $a): Closure => Pair::second()(Pair::second()($a));
     }
 }

src/Numeral.php

Spacing +6 added lines, -7 removed lines

@@ -61,12 +61,12 @@ 
 
     public static function plus(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => static fn (callable $c): Closure => Combinators::B()($a($c))($b($c));
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => static fn(callable $c): Closure => Combinators::B()($a($c))($b($c));
     }
 
     public static function pred(): Closure
     {
-        return static fn (callable $a): Closure => static fn (callable $b): Closure => static fn ($c) => $a(static fn (callable $d): Closure => static fn (callable $e) => $e($d($b)))(static fn () => $c)(Combinators::I());
+        return static fn(callable $a): Closure => static fn(callable $b): Closure => static fn($c) => $a(static fn(callable $d): Closure => static fn(callable $e) => $e($d($b)))(static fn() => $c)(Combinators::I());
     }
 
     public static function seven(): Closure
@@ -81,7 +81,7 @@ 
 
     public static function succ(): Closure
     {
-        return static fn (callable $n): Closure => static fn (callable $f): Closure => Combinators::B()($f)($n($f));
+        return static fn(callable $n): Closure => static fn(callable $f): Closure => Combinators::B()($f)($n($f));
     }
 
     public static function three(): Closure
@@ -91,14 +91,13 @@ 
 
     public static function toInt(callable $numeral): int
     {
-        return $numeral(static fn (int $n): int => $n + 1)(0);
+        return $numeral(static fn(int $n): int => $n + 1)(0);
     }
 
     public static function toNumeral(int $n): Closure
     {
         return 0 === $n ?
-            Numeral::zero() :
-            Numeral::succ()(Numeral::toNumeral($n - 1));
+            Numeral::zero() : Numeral::succ()(Numeral::toNumeral($n - 1));
     }
 
     public static function two(): Closure
@@ -108,6 +107,6 @@ 
 
     public static function zero(): Closure
     {
-        return static fn (): Closure => Combinators::I();
+        return static fn(): Closure => Combinators::I();
     }
 }