Преглед на файлове

note some simple properties.

should we specify properties for take, drop, etc as well? because those
are defined on seq it doesn't seem "sensible", but could probably help
as well.
Lucas Stadler преди 11 години
родител
ревизия
889ef9c95e
променени са 1 файла, в които са добавени 6 реда и са изтрити 0 реда
  1. 6 0
      hs/DataStructures.hs

+ 6 - 0
hs/DataStructures.hs

@ -156,3 +156,9 @@ instance Seq BankersQueue where
156 156
-- examples
157 157
sl = fromList [1..10] :: List Integer
158 158
bq = fromList [1..10] :: BankersQueue Integer
159
160
-- properties
161
162
-- rest nil == nil
163
-- (reverse . reverse) s == s
164
-- first [s] == last [s]