PHP takeAll Examples

Example #1

File: CoreTest.php Project: mudge/php-microkanren

 public function testTakeAllAAndBStream()
 {
     $f = aAndB();
     $d = $f(emptyState());
     $this->assertEquals('((((#(1) . 5) . ((#(0) . 7))) . 2) . ((((#(1) . 6) . ((#(0) . 7))) . 2)))', sprintf('%s', takeAll($d)));
 }

Example #2

File: Mini.php Project: mudge/php-microkanren

function runStar($g)
{
    return map('MicroKanren\\Core\\reifyFirst', takeAll(callGoal(fresh($g))));
}

Example #3

File: Core.php Project: mudge/php-microkanren

/**
 * Returns all results from a stream.
 *
 * @param [Cons|callable] $d a stream
 */
function takeAll($d)
{
    $d = pull($d);
    if (isNull($d)) {
        return nil();
    } else {
        return cons(car($d), takeAll(cdr($d)));
    }
}