Skip to content
Snippets Groups Projects
Commit 701f006f authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

[project @ 2000-06-24 17:47:12 by panne]

Fixed "filterFB" RULE

*** please merge ***
parent 5552a779
No related merge requests found
......@@ -124,7 +124,7 @@ filterFB c p x r | p x = x `c` r
{-# RULES
"filter" forall p xs. filter p xs = build (\c n -> foldr (filterFB c p) n xs)
"filterFB" forall c p q. filterFB (filterFB c p) q = filterFB c (\x -> p x && q x)
"filterFB" forall c p q. filterFB (filterFB c p) q = filterFB c (\x -> q x && p x)
"filterList" forall p. foldr (filterFB (:) p) [] = filterList p
#-}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment