loophp\churchencoding\CList

Complexity

Total Complexity

12

Size/Duplication

Total Lines	72
Duplicated Lines	0 %

Test Coverage

Coverage

100%

Importance

Changes	1
Bugs	0	Features	0

12 Methods

Rating	Name	Duplication	Size	Complexity
A	sum()	0	3	1
A	head()	0	3	1
A	repeat()	0	5	1
A	foldr()	0	4	1
A	foldl()	0	5	1
A	length()	0	3	1
A	cons()	0	3	1
A	range()	0	3	1
A	concat()	0	3	1
A	nil()	0	3	1
A	tail()	0	3	1
A	isNil()	0	3	1

<?php

/**
 * For the full copyright and license information, please view
 * the LICENSE file that was distributed with this source code.
 */

declare(strict_types=1);

namespace loophp\churchencoding;

use Closure;
use loophp\combinator\Combinators;

/**
 * Class CList.
 *
 * phpcs:disable Generic.Files.LineLength.TooLong
 */
final class CList
{
    public static function concat(): Closure
    {
        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 mixed
     */
    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))
        )(Combinators::I())($xs)($a);
    }

    /**
     * @return mixed
     */
    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))))()
        );
    }

    public static function head(): Closure
    {
        return static fn (callable $a): Closure => Pair::first()(Pair::second()($a));
    }

    public static function isNil(): Closure
    {
        return Pair::first();
    }

    public static function length(): Closure
    {
        return self::foldl()(static fn (callable $a): Closure => static fn (callable $b): Closure => Numeral::succ()($a))(Numeral::zero());

The parameter $b is not used and could be removed.

    }

    public static function nil(): Closure
    {
        return Pair::of()(Boolean::CTrue())(Boolean::CTrue());
    }

    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());
    }

    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)
        )(CList::nil());
    }

    public static function sum(): Closure
    {
        return self::foldl()(Numeral::plus())(Numeral::zero());
    }

    public static function tail(): Closure
    {
        return static fn (callable $a): Closure => Pair::second()(Pair::second()($a));
    }
}