diff options
| author | manuel <manuel@mausz.at> | 2012-05-22 01:18:34 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-05-22 01:18:34 +0200 |
| commit | a6141793949e97c818523453f9c8fc8bf3c5194f (patch) | |
| tree | 660f0958df0745e96d897bc2cb171805939b1f12 /AufgabeFFP7.hs | |
| parent | 9b8deee05d2598ecedce6b5ad5cda144f20ac255 (diff) | |
| download | ffp-a6141793949e97c818523453f9c8fc8bf3c5194f.tar.gz ffp-a6141793949e97c818523453f9c8fc8bf3c5194f.tar.bz2 ffp-a6141793949e97c818523453f9c8fc8bf3c5194f.zip | |
use all instead of filter
Diffstat (limited to 'AufgabeFFP7.hs')
| -rw-r--r-- | AufgabeFFP7.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/AufgabeFFP7.hs b/AufgabeFFP7.hs index 4ac8ebd..13f1448 100644 --- a/AufgabeFFP7.hs +++ b/AufgabeFFP7.hs | |||
| @@ -124,6 +124,6 @@ prop_ssfn_eq_minfree_a xs = minfree pos == ssfn pos | |||
| 124 | pos = filter (>= 0) xs | 124 | pos = filter (>= 0) xs |
| 125 | 125 | ||
| 126 | prop_ssfn_eq_minfree_b :: Nat -> Property | 126 | prop_ssfn_eq_minfree_b :: Nat -> Property |
| 127 | prop_ssfn_eq_minfree_b xs = filter (< 0) xs == [] | 127 | prop_ssfn_eq_minfree_b xs = all (>= 0) xs |
| 128 | ==> ssfn xs == minfree xs | 128 | ==> ssfn xs == minfree xs |
| 129 | 129 | ||