public void DecreaseTest() { NumeralWrapper numeral = 3U.ChurchWarpper(); Assert.IsTrue(3U - 1U == --numeral); Assert.IsTrue(2U - 1U == --numeral); Assert.IsTrue(1U - 1U == --numeral); Assert.IsTrue(0U == --numeral); numeral = 123U.ChurchWarpper(); Assert.IsTrue(123U - 1U == --numeral); }
public void IncreaseTest() { NumeralWrapper numeral = 0U.ChurchWarpper(); Assert.IsTrue(0U + 1U == ++numeral); Assert.IsTrue(1U + 1U == ++numeral); Assert.IsTrue(2U + 1U == ++numeral); Assert.IsTrue(3U + 1U == ++numeral); numeral = 123U.ChurchWarpper(); Assert.IsTrue(123U + 1U == ++numeral); }