|
|
|
@@ -139,78 +139,3 @@ class Reverse i l r | i l -> r |
|
|
|
instance Reverse i Nil i |
|
|
|
instance (Reverse (Cons x i) xs r) |
|
|
|
=> Reverse i (Cons x xs) r |
|
|
|
|
|
|
|
{- |
|
|
|
|
|
|
|
*Main> :t solution (nil :: (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z)))))))))))))))))))))))))) |
|
|
|
solution (nil :: (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z)))))))))))))))))))))))))) |
|
|
|
:: Cons |
|
|
|
(Cons Z Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) Nil) |
|
|
|
(Cons |
|
|
|
Boom |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S Z)))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S (S Z))))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S (S (S Z)))))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S (S (S (S Z))))))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S (S (S (S (S Z)))))))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S (S (S (S (S (S (S (S (S Z))))))))) Nil) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons Z Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S Z) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S Z)) Nil)) |
|
|
|
(Cons |
|
|
|
Boom |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S Z)))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S (S Z))))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S (S (S Z)))))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S (S (S (S Z))))))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S (S (S (S (S Z)))))))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S Z) |
|
|
|
(Cons (S (S (S (S (S (S (S (S (S Z))))))))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) |
|
|
|
(Cons Z Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) |
|
|
|
(Cons (S Z) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) |
|
|
|
(Cons (S (S Z)) Nil)) |
|
|
|
(Cons |
|
|
|
Boom |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) |
|
|
|
(Cons (S (S (S (S Z)))) Nil)) |
|
|
|
(Cons |
|
|
|
(Cons (S (S Z)) |
|
|
|
(Cons (S (S (S (S (S Z))))) Nil)) |
|
|
|
Nil))))))))))))))))))))))))) |
|
|
|
*Main> |
|
|
|
|
|
|
|
-} |
