public void MAppendOfMEmptyAndXIsX()
{
// mempty <> x = x
var x = new ListMonoid <int>(1, 2, 3);
var actual = ListMonoid.MEmpty <int>().MAppend(x);
Assert.That(actual.List, Is.EqualTo(x.List));
}
public void MAppendOfXAndMEmptyIsX()
{
// x <> mempty = x
var x = new ListMonoid <int>(1, 2, 3);
var actual = x.MAppend(ListMonoid.MEmpty <int>());
Assert.That(actual.List, Is.EqualTo(x.List));
}
public void MEmpty()
{
var actual = ListMonoid.MEmpty <int>();
Assert.That(actual.List, Is.Empty);
}