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