def test_lift_a4(): def append_4(a, b, c, d): return a + b + c + d assert_equals( validation.Valid('abca'), validation.lift_aN(4, append_4).ap(a_v).ap(b_v).ap(c_v).ap(a_v))
def test_lift_a0(): def append(a): return a assert_equals( validation.Invalid(["n must be positive in lift_aN(n, f)"]), validation.lift_aN(0, append).ap(a_v) )
def test_lift_a9(): def append_9(a, b, c, d, e, f, g, h, i): return a + b + c + d + e + f + g + h + i assert_equals( validation.Valid('abcabcabc'), validation.lift_aN(9, append_9).ap(a_v).ap(b_v).ap(c_v).ap(a_v).ap( b_v).ap(c_v).ap(a_v).ap(b_v).ap(c_v))
def test_lift_a4(): def append_4(a, b, c, d): return a + b + c + d assert_equals( validation.Valid('abca'), validation.lift_aN(4, append_4).ap(a_v).ap(b_v).ap(c_v). ap(a_v) )
def test_lift_a9(): def append_9(a, b, c, d, e, f, g, h, i): return a + b + c + d + e + f + g + h + i assert_equals( validation.Valid('abcabcabc'), validation.lift_aN(9, append_9).ap(a_v).ap(b_v).ap(c_v). ap(a_v).ap(b_v).ap(c_v). ap(a_v).ap(b_v).ap(c_v) )
def test_lift_a0(): def append(a): return a assert_equals(validation.Invalid(["n must be positive in lift_aN(n, f)"]), validation.lift_aN(0, append).ap(a_v))