def test_i(self):
term = generate(parse_type("(-> a a)"))
self.assertEqual(str(term), "(lambda a a)")
def test_composition(self):
term = generate(parse_type(
"(-> (-> a b) (-> (-> b c) (-> a c)))"))
self.assertEqual(
str(term),
"(lambda a (lambda b (lambda c (b (a c)))))")
def test_product_associativity(self):
term = generate(parse_type("(-> (* a (* b c)) (* (* a b) c))"))
self.assertEqual(
str(term),
"(lambda a (pair (pair (fst a) (fst (snd a))) (snd (snd a))))")
def test_currying(self):
term = generate(parse_type(
"(-> (-> (* a b) c) (-> a (-> b c)))"))
self.assertEqual(
str(term),
"(lambda a (lambda b (lambda c (a (pair b c)))))")
def test_swap(self):
term = generate(parse_type("(-> (* a b) (* b a))"))
self.assertEqual(str(term), "(lambda a (pair (snd a) (fst a)))")
def test_s(self):
term = generate(parse_type(
"(-> (-> a (-> b c)) (-> (-> a b) (-> a c)))"))
self.assertEqual(
str(term),
"(lambda a (lambda b (lambda c ((a c) (b c)))))")