public static void MapLeft_left_either_returns_either_with_new_type_and_value()
{
const int mappedValue = 42;
TestMonads.Left("Test").MapLeft(_ => mappedValue)
.Match(i => Assert.AreEqual(mappedValue, i), Assert.Fail);
}
public static void BindLeft_left_either_to_method_returns_either_with_new_type_and_value()
{
const int bindValue = 42;
TestMonads.Left("Test").BindLeft(_ => bindValue.Left <int, string>())
.Match(i => Assert.AreEqual(bindValue, i), Assert.Fail);
}
public static void Match_left_either_returns_left_value()
{
const string value = "Test";
var result = TestMonads.Left(value).Match(s => s, _ => "Right");
Assert.AreEqual(value, result);
}
public static void Bind_left_either_to_method_returns_same_left_either()
{
const string value = "Test";
TestMonads.Left(value).Bind(_ => 42.Right < string, int > ())
.Match(s => Assert.AreEqual(value, s), _ => Assert.Fail());
}
public static void MapLeft_left_either_with_null_mapping_throws_exception() =>
Assert.Throws <ArgumentNullException>(() =>
TestMonads.Left("Test").MapLeft((Func <string, string>)null));
public static void Map_left_either_returns_same_left_either()
{
const string value = "Test";
TestMonads.Left(value).Map(_ => 42).Match(s => Assert.AreEqual(value, s), _ => Assert.Fail());
}
public static void Match_with_null_right_func_throws_exception() =>
Assert.Throws <ArgumentNullException>(() => TestMonads.Left("Test").Match(_ => "Left", null));
public static void Match_with_null_left_action_throws_exception() =>
Assert.Throws <ArgumentNullException>(() => TestMonads.Left("Test").Match(null, _ => { }));
public static void Left_creates_either_with_left_value()
{
const string input = "Test";
TestMonads.Left(input).Match(s => Assert.AreEqual(input, s), Assert.Fail);
}
public static void Left_to_maybe_returns_empty_maybe() =>
TestMonads.Left("Test").ToMaybe().Match(Assert.Fail, Assert.Pass);
