2017 © Pedro Peláez
 

library laiz-monad

Functional and Monad Utility

image

laiz/laiz-monad

Functional and Monad Utility

  • Monday, July 11, 2016
  • by nishimura
  • Repository
  • 1 Watchers
  • 1 Stars
  • 129 Installations
  • PHP
  • 2 Dependents
  • 0 Suggesters
  • 0 Forks
  • 0 Open issues
  • 12 Versions
  • 0 % Grown

The README.md

Laiz Monad

Build Status Coverage Status Code Climate, (*1)

Latest Stable Version License, (*2)

Curried Function

require 'vendor/autoload.php';

use function Laiz\Func\f;

$f = f(function($a, $b, $c){
    return $a + $b + $c;
});
$f1 = $f(5);
$f2 = $f1(8);
var_dump($f2(200));
// 213

$f3 = $f1(9);
var_dump([$f2(200), $f3(200)]);
// [213, 214]

var_dump($f(1,2,3));
// 6

Maybe Monad

require 'vendor/autoload.php';

use function Laiz\Func\f;
use function Laiz\Func\Maybe\Just;
use function Laiz\Func\Maybe\Nothing;

$a = Just(3);
$f = f(function($limit, $a){
    return $limit > $a ? Just($a) : Nothing();
});
$f2 = $f(2);
$f4 = $f(4);

var_dump($a->bind($f2));
// Nothing
var_dump($a->bind($f4));
// Just 3

Monoid, MonadPlus

require 'vendor/autoload.php';

use function Laiz\Func\Monad\ret;
use function Laiz\Func\Maybe\Just;

$monad = ret("Foo");
var_dump($monad->mappend([]));
// ['Foo']
var_dump($monad->mappend("Bar"));
// 'FooBar'
var_dump($monad->mappend(Just("Baz")));
// Just 'FooBaz'
var_dump($monad->mplus(Just("Baz")));
// Just 'Foo'

FizzBuzz

require 'vendor/autoload.php';

use function Laiz\Func\f;
use function Laiz\Func\Functor\fmap;
use function Laiz\Func\Functor\fconst;
use function Laiz\Func\Monoid\mappend;
use function Laiz\Func\MonadZero\guard;
use function Laiz\Func\Maybe\fromMaybe;

// (integer d, Functor s, MonadPlus s) => d -> a -> d -> s a
function calc(...$args){
    return f(function($d, $s, $n){
        return fconst($s, guard($n % $d === 0));
    }, ...$args);
}

$fizzbuzz = fromMaybe()->ap(mappend(calc(3, "Fizz"), calc(5, "Buzz")));

function pr(...$args){
    return f(function($a){
        echo $a, "\n";
        return $a;
    }, ...$args);
}
$ret = fmap(pr()->compose($fizzbuzz), range(1, 100));

The Versions

11/07 2016

dev-master

9999999-dev https://github.com/nishimura/laiz-monad

Functional and Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

functional monad

11/07 2016

v0.3.2

0.3.2.0 https://github.com/nishimura/laiz-monad

Functional and Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

functional monad

09/07 2016

v0.3.1

0.3.1.0 https://github.com/nishimura/laiz-monad

Functional and Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

functional monad

06/07 2016

v0.3.0

0.3.0.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

functional monad

08/02 2016

v0.2.6

0.2.6.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

22/01 2016

v0.2.5

0.2.5.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

22/01 2016

v0.2.4

0.2.4.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

18/01 2016

v0.2.3

0.2.3.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

13/01 2016

v0.2.2

0.2.2.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

09/01 2016

v0.2.1

0.2.1.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

09/01 2016

v0.2.0

0.2.0.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.6.0

 

The Development Requires

by Satoshi Nishimura

monad

29/12 2015

v0.1.0

0.1.0.0 https://github.com/nishimura/laiz-monad

Monad Utility

  Sources   Download

MIT

The Requires

  • php >=5.4.0

 

The Development Requires

by Satoshi Nishimura

monad