public void Test_FalseValue()
{
var falseValue = BoolLazy.False();
var isCalled = false;
falseValue.When(() => Abort(), () => { isCalled = true; });
Assert.True(isCalled);
var one = falseValue.When(() => 0, () => 1);
Assert.Equal(1, one);
var t = falseValue.Bind(_ => {
Abort();
return(Bool.False());
});
Assert.Throws <InvalidOperationException>(
() => Polluter.Pollute(t)
);
var t2 = falseValue.Fmap(_ => {
Abort();
return(false);
});
Assert.Throws <InvalidOperationException>(
() => Polluter.Pollute(t2)
);
}
public void Test_TrueValue()
{
var trueValue = BoolLazy.True();
var isCalled = false;
// Bool.When().Else()で分岐
trueValue.When(() => { isCalled = true; }, () => Abort());
Assert.True(isCalled);
// Bool.When(then:, elseThen:)で分岐。一時変数を作らない分こちらの方がパフォーマンスは良いはず。
var one = trueValue.When(() => 1, () => 0);
Assert.Equal(1, one);
// Bindは別のIMonadを返却できる
var t = trueValue.Bind(_ => {
Assert.True(_);
return(Bool.False());
});
Assert.False(Polluter.Pollute(t));
// Fmapは別のBoolLazyを返却できる
var t2 = trueValue.Fmap(_ => {
Assert.True(_);
return(false);
});
Assert.False(Polluter.Pollute(t2));
}
public void Test_TrueFunction()
{
var once = true;
// boolを返却する関数を元に生成する。
// 関数の評価は次のWhenなどまで遅延される。
var trueValue = BoolLazy.Return(() => {
if (!once)
{
Abort();
}
once = false;
return(true);
});
var isCalled = false;
trueValue.When(() => { isCalled = true; }, () => Abort());
Assert.True(isCalled);
var one = trueValue.When(() => 1, () => 0);
Assert.Equal(1, one);
var t = trueValue.Bind(_ => {
Assert.True(_);
return(Bool.False());
});
Assert.False(Polluter.Pollute(t));
var t2 = trueValue.Fmap(_ => {
Assert.True(_);
return(false);
});
Assert.False(Polluter.Pollute(t2));
}
