ILIAS\Refinery\Parser\ABNF\Primitives Class Reference

@phpstan-type Continuation Closure(Result<Intermediate>): Result<Intermediate> @phpstan-type Parser Closure(Intermediate, Continuation): Result<Intermediate> More...

Collaboration diagram for ILIAS\Refinery\Parser\ABNF\Primitives:

Public Member Functions
	simpleEither (array $parse)
	simpleSequence (array $parse)
	until (?int $max, $parse)
	parserFrom ($x)

Private Member Functions
	or2 (Closure $f, Closure $g)
	seq (Closure $f, Closure $g)
	eq (int $atom)
	variadic (callable $call, array $parse)
	Makes a variadic function from a binary one (left associative and requires at leat 1 argument): f(f(a, b), c) === variadic(f, [a, b, c]);. More...
	mustEqual (string $expected)
	nop ()
	lazy (callable $call,... $arguments)

Detailed Description

@phpstan-type Continuation Closure(Result<Intermediate>): Result<Intermediate> @phpstan-type Parser Closure(Intermediate, Continuation): Result<Intermediate>

Definition at line 32 of file Primitives.php.

Member Function Documentation

eq()

ILIAS\Refinery\Parser\ABNF\Primitives::eq ( int  $atom )

private

Parameters

int

$atom

Returns

Parser

Definition at line 102 of file Primitives.php.

                                  : Closure
    {
        return static fn(Intermediate $x, Closure $cc): Result => $cc(
            $atom === $x->value() ? $x->accept() : $x->reject()
        );
    }

References ILIAS\Refinery\Parser\ABNF\Intermediate\accept(), ILIAS\Refinery\Parser\ABNF\Intermediate\reject(), and ILIAS\Refinery\Parser\ABNF\Intermediate\value().

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\mustEqual().

Here is the call graph for this function:

Here is the caller graph for this function:

lazy()

ILIAS\Refinery\Parser\ABNF\Primitives::lazy ( callable  $call,   $arguments  )

private

Definition at line 149 of file Primitives.php.

                                                        : Closure
    {
        return static fn(Intermediate $x, Closure $cc): Result => (
            ($call(...$arguments))($x, $cc)
        );
    }

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\until().

Here is the caller graph for this function:

mustEqual()

ILIAS\Refinery\Parser\ABNF\Primitives::mustEqual ( string  $expected )

private

Parameters

string

$expected

Returns

Parser

Definition at line 128 of file Primitives.php.

                                                : Closure
    {
        if (strlen($expected) === 1) {
            return $this->eq(ord($expected));
        } elseif ('' === $expected) {
            return $this->nop();
        }
 
        return $this->simpleSequence(str_split($expected));
    }

References ILIAS\Refinery\Parser\ABNF\Primitives\eq(), ILIAS\Refinery\Parser\ABNF\Primitives\nop(), and ILIAS\Refinery\Parser\ABNF\Primitives\simpleSequence().

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\parserFrom().

Here is the call graph for this function:

Here is the caller graph for this function:

nop()

ILIAS\Refinery\Parser\ABNF\Primitives::nop ( )

private

Returns

Parser

Definition at line 142 of file Primitives.php.

                          : Closure
    {
        return static fn(Intermediate $x, Closure $cc): Result => (
            $cc(new Ok($x))
        );
    }

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\mustEqual(), and ILIAS\Refinery\Parser\ABNF\Primitives\until().

Here is the caller graph for this function:

or2()

ILIAS\Refinery\Parser\ABNF\Primitives::or2 ( Closure  $f, Closure  $g  )

private

Definition at line 75 of file Primitives.php.

                                                : Closure
    {
        return static fn(Intermediate $x, Closure $cc): Result => (
            $f($x, $cc)->except(static fn(): Result => $g($x, $cc))
        );
    }

References Vendor\Package\$f.

parserFrom()

ILIAS\Refinery\Parser\ABNF\Primitives::parserFrom

(

$x

)

Parameters

Parser | string

$x

Returns

Parser

Definition at line 70 of file Primitives.php.

                                  : Closure
    {
        return $x instanceof Closure ? $x : $this->mustEqual($x);
    }

References ILIAS\Refinery\Parser\ABNF\Primitives\mustEqual().

Here is the call graph for this function:

seq()

ILIAS\Refinery\Parser\ABNF\Primitives::seq ( Closure  $f, Closure  $g  )

private

Parameters

Parser	$f
Parser	$g

Returns

Parser

Definition at line 87 of file Primitives.php.

                                                : Closure
    {
        return static fn(Intermediate $x, Closure $cc): Result => $f(
            $x,
            static fn(Result $x): Result => (
                $x->then(static fn(Intermediate $x): Result => $g($x, $cc))
                  ->except(static fn($error): Result => $cc(new Error($error)))
            )
        );
    }

References ILIAS\$error, and Vendor\Package\$f.

simpleEither()

ILIAS\Refinery\Parser\ABNF\Primitives::simpleEither

(

array

$parse

)

Definition at line 34 of file Primitives.php.

                                              : Closure
    {
        return $this->variadic([$this, 'or2'], $parse);
    }

References ILIAS\Refinery\Parser\ABNF\Primitives\variadic().

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\until().

Here is the call graph for this function:

Here is the caller graph for this function:

simpleSequence()

ILIAS\Refinery\Parser\ABNF\Primitives::simpleSequence

(

array

$parse

)

Definition at line 39 of file Primitives.php.

                                                : Closure
    {
        return $this->variadic([$this, 'seq'], $parse);
    }

References ILIAS\Refinery\Parser\ABNF\Primitives\variadic().

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\mustEqual(), and ILIAS\Refinery\Parser\ABNF\Primitives\until().

Here is the call graph for this function:

Here is the caller graph for this function:

until()

ILIAS\Refinery\Parser\ABNF\Primitives::until	(	?int	$max,
			$parse
	)

Parameters

null | int	$max
Parser | string	$parse

Returns

Parser

Definition at line 49 of file Primitives.php.

                                            : Closure
    {
        if (0 === $max) {
            return $this->nop();
        }
 
        $max = null === $max ? null : $max - 1;
 
        return $this->simpleEither([
            $this->nop(),
            $this->simpleSequence([
                $parse,
                $this->lazy([$this, 'until'], $max, $parse)
            ])
        ]);
    }

References ILIAS\Refinery\Parser\ABNF\Primitives\lazy(), ILIAS\Refinery\Parser\ABNF\Primitives\nop(), ILIAS\Refinery\Parser\ABNF\Primitives\simpleEither(), and ILIAS\Refinery\Parser\ABNF\Primitives\simpleSequence().

Here is the call graph for this function:

variadic()

ILIAS\Refinery\Parser\ABNF\Primitives::variadic ( callable  $call, array  $parse  )

private

Makes a variadic function from a binary one (left associative and requires at leat 1 argument): f(f(a, b), c) === variadic(f, [a, b, c]);.

Parameters

callable(Parser,Parser)	Parser $call
(Parser|string)[]	$parse

Returns

Parser

Definition at line 117 of file Primitives.php.

                                                           : Closure
    {
        $parse = array_map([$this, 'parserFrom'], $parse);
 
        return array_reduce(array_slice($parse, 1), $call, $parse[0]);
    }

Referenced by ILIAS\Refinery\Parser\ABNF\Primitives\simpleEither(), and ILIAS\Refinery\Parser\ABNF\Primitives\simpleSequence().

Here is the caller graph for this function:

---

The documentation for this class was generated from the following file:

• components/ILIAS/Refinery/src/Parser/ABNF/Primitives.php