def test_match_base():
x = 1
assert (match(x)[0:"zero", 1:"one", 2:"two", 3:"three",
4:"Lorem ipsum dolor sit amet, consectetur", ] == "one")
x = "hello"
assert match(x)["hello world":False, "bonjour":False, "hello":True,
"oi":False]
x = "foo"
assert match(x)["bar":False, "biz":False, ...:True]
with pytest.raises(NoMatchError):
match("foo")["bar":"biz"]
def test_match():
from datatypes import match, compare, substitute, placeholder as _
m = Just(10)
did_match, results = compare(m, Just(_.x))
assert did_match
assert results == [(10, _.x)]
assert substitute(Just(_.x), {_.x: 10}) == Just(10)
assert match(m)[Nothing():False,
Just(1):False,
Just(10):True,
Just(11):False]
assert Just(100) == match(m)[Just(10):Just(100)]
assert 11 == match(Just(10))[Nothing():Nothing(), Just(_.x):_.x + 1]
assert match(Nothing())[Nothing():True]
def test_match_list():
assert match([1, 2, 3])[[1, 2, 3]:True]
assert not match([1, 2, 3])[[1, 2, 3]:False]
assert match([1, 2, 3])[[1, 2, 3]:True, [3, 2, 1]:False]
assert match([1, 2, 3])[[1, 2, 5]:False, [3, 2, 1]:False, ...:True]
with pytest.raises(NoMatchError):
match([1, 2, 3])[[1, 2, 5]:False, [3, 2, 1]:False]
def test_match_dict():
assert match({
"a": 1,
"b": 2
})[{
"a": 1,
"b": 2,
"c": 3
}:False, {
"a": 1,
"b": 2
}:True, {
"a": 1,
"b": 2
}:False]
def test_match_substitutions():
from datatypes import placeholder as _
assert match(10)[_.x:"foo"] == "foo"
assert match(_.x)[_.x:10, ] == 10
assert (match([1, 2, 3, 4])[[1, 2, 3]:False, [1, 2, 3, 5]:False,
[1, _.x, _.y, 4]:True] is True)
assert match([1, 2, 3, 4])[[1, _.x, _.y, 4]:_.x * _.y] == 6
assert match((1, 2, 3, 4))[(1, _.x, _.y, 4):_.x * _.y] == 6
assert (match([1, 2, 3, 4])[[]:[], [4, _.x, _.y, 1]:_.x / _.y,
[1, _.x, _.y, 4]:_.x * _.y] == 6)
def fmap(self, f):
from datatypes import match, placeholder as _
return match(self)[Just(_.x):Just(f << _.x), Nothing():Nothing()]
def test_match_single():
assert match(10)[10:True]
assert not match(10)[10:False]