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 (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()
     {
-        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));
     }
 
     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))
-        )(static fn ($x) => $x)($xs)($a);
+        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))
+        )(static fn($x) => $x)($xs)($a);
     }
 
     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()
     {
-        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()
@@ -50,7 +50,7 @@ 
 
     public static function length()
     {
-        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()
@@ -60,13 +60,13 @@ 
 
     public static function range()
     {
-        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()
     {
-        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());
     }
 
@@ -77,6 +77,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));
     }
 }