public function provideData() { $addOne = function ($x) { return Writer::of($x + 1); }; $addTwo = function ($x) { return Writer::of($x + 2); }; return ['writer 0' => ['$f' => $addOne, '$g' => $addTwo, '$x' => 10]]; }
public function test_it_should_filter_with_logs() { $data = [1, 10, 15, 20, 25]; $filter = function ($i) { if ($i % 2 == 1) { return W::of(false, S::of("Reject odd number {$i}.\n")); } elseif ($i > 15) { return W::of(false, S::of("Reject {$i} because it is bigger than 15\n")); } return W::of(true); }; list($result, $log) = f\filterM($filter, $data)->runWriter(); $this->assertEquals([10], $result); $this->assertEquals('Reject odd number 1. Reject odd number 15. Reject 20 because it is bigger than 15 Reject odd number 25. ', $log->extract()); }
/** * runWriter :: Writer w a -> (a, w) * * Unwrap a writer monad computation as a function. * * @param M\Writer $writer * * @return mixed */ function runWriter(M\Writer $writer) { return $writer->runWriter(); }