[auto
ekmett@gmail.com**20090329071820] {
hunk ./doc/html/monoids/Data-Monoid-Generator-RLE.html 178
->encodeEqencodeListprop_decode_encodeEqprop_decode_encodeListencodeEqencodeListprop_decode_encodeEqprop_decode_encodeList | | | 1 (Function) | 2 (Function) | encodeList | | |
| 1 (Function) | 2 (Function) | prop_decode_encodeList | , encodeEq
+ , encodeList
hunk ./doc/html/monoids/src/Data-Monoid-Generator-RLE.html 33
- , prop_decode_encodeEq
+ , prop_decode_encodeList
hunk ./doc/html/monoids/src/Data-Monoid-Generator-RLE.html 68
-encodeEq :: Eq a => [a] -> RLE [] a
-encodeEq [] = RLE []
-encodeEq (a:as) = RLE (point a `before` as)
+encodeList :: Eq a => [a] -> RLE [] a
+encodeList [] = RLE []
+encodeList (a:as) = RLE (point a `before` as)
hunk ./doc/html/monoids/src/Data-Monoid-Generator-RLE.html 77
-
-prop_decode_encodeEq :: Eq a => [a] -> Bool
-prop_decode_encodeEq xs = decode (encode xs) == xs
+
+prop_decode_encodeList :: Eq a => [a] -> Bool
+prop_decode_encodeList xs = decode (encode xs) == xs
}