Don Stewart
d5e73b70ae
add fromList to Properties.hs
2007-04-29 03:58:23 +00:00
Spencer Janssen
ea94892e1c
Remove toList
2007-04-26 00:57:13 +00:00
Alec Berryman
ba97db3f87
Arbitrary Word64 for running tests on amd64
...
Copied from Arbitrary Word8; I don't understand the coarbitrary definition and
the Word64 one may be erroneous, but Properties.hs now compiles and passes all
tests.
2007-04-19 10:46:52 +00:00
Don Stewart
bf0f487ca4
add 8 new QC tests, including tests of the layout algorithm
2007-04-19 04:08:33 +00:00
Don Stewart
b765cc9706
Parameterise StackSet by two index types, rather than breaking abstraction
2007-04-19 01:27:05 +00:00
Don Stewart
7806eb4c48
2 more properties for promote.
2007-04-19 00:12:01 +00:00
Don Stewart
cf2c9f7328
tweak loc count to match count_lines script
2007-04-18 22:47:25 +00:00
Don Stewart
f3f83af393
Promote now swaps focused window with master window
...
This means other windows are unaffected.
The change from the previous cycling behaviour was felt necessary, since
cycling isn't a terribly useful operation.
Some properties that hold:
focus is unchanged by promotion
promote is idempotent (promoting twice does nothing)
the focused and master window will swap their positions in the stack
2007-04-18 22:42:36 +00:00
Spencer Janssen
5c9ad77fd5
Update propaganda.
2007-04-18 01:40:29 +00:00
David Roundy
dd03052041
define test to ensure LOC doesn't jump above 400.
2007-04-18 00:45:33 +00:00
Don Stewart
4b626ff729
and the tests still run
2007-04-11 08:15:00 +00:00
Jason Creighton
c6dcc9d869
fromList/toList have # of screens + another QC property
2007-04-11 04:42:15 +00:00
Jason Creighton
0c95f0c143
moved screen <-> workspace mapping from XMonad to StackSet
2007-04-10 06:27:31 +00:00
daniel
97638a648c
added a quickcheck property
2007-03-28 02:53:37 +00:00
Don Stewart
2a3284a31a
more QC properties on StackSets
2007-03-09 05:40:42 +00:00
Don Stewart
0ea4260a4c
simpler type (no need to cache size, we *could* grow new stacks on demand now)
2007-03-09 04:36:38 +00:00
Don Stewart
7e2caa4707
simplify StackSet api even further (-15 loc)
2007-03-09 04:17:07 +00:00
Don Stewart
f10a61fad1
smaller api, less tests
2007-03-09 03:56:35 +00:00
Don Stewart
27c2e1259d
forgot to add Properties.hs
2007-03-08 12:05:21 +00:00
