CfmArt.Functional.Monad 0.0.11

Monad for C#

C#でモナドっぽいことをするためのクラス群。

ライセンス

MIT

各種モナドもどきたち

Optinal

HaskellでいうMaybeモナド。

var maybeText = Optional.Just("text");  // Just "text"

var maybeText2 = maybeText.Map(text => text + "append"); // Just "textappend"

maybeText2.IfPresent(
    text => Console.WriteLine(text),    // textappend
    () => Console.WriteLinee("not reach.")
);

Either

Eitherモナド。

var left = Either<Exception, string>.Left(new Excception("error")); // Left Exception "error"
var right = Either<Exception, string>.Right("right");  // Right "right"

var right2 = right.Map(r => r + "!!");   // Right "right!!"

right2.IfRight(
    r => Console.WriteLine(r),  // right!!
    l => Console.WriteLine("not reach.")
);

left.IfLeft(
    l => Console.WriteLine(l.ToString()),   // error
    r => Console.WriteLine("not reach")
);

StateTask

.NetのTaskをラップしたStateモナド。

MaybeTask

.NetのTaskをラップしたStateモナド。
Optionalを返却するTaskを直列化可能。

// 複数のTaskを直列化
var state = MaybeTask
                .From(() => Task.FromResult(Optional.Just(1)))
                .Map(() => Task.FromResut(Optional.Just(2)));
var result = await state.Awaitor;
// result.Item1 == 1;
// result.Item2 == 2;

Bool

Bool専用のOptional。