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); }