Jason Creighton
7a89f431b1
added mirrorLayout to mirror arbitrary layouts
2007-05-04 01:46:53 +00:00
Don Stewart
f5e8b2b6a8
-Wall police
2007-05-03 07:49:37 +00:00
Spencer Janssen
833d5ae357
Fix tests after StackSet changes
2007-05-02 20:16:22 +00:00
Spencer Janssen
1dff21001c
First steps to adding floating layer
2007-05-02 19:59:17 +00:00
Don Stewart
af7c76d3fe
check we never generate invalid stack sets
2007-04-30 06:59:46 +00:00
Don Stewart
4d9fa8bc98
view n . shift n . view i . shift i) x == x --> shift + view is invertible
2007-04-30 06:29:01 +00:00
Don Stewart
17f70344ec
add rotate all and view idempotency tests
2007-04-30 05:57:51 +00:00
Don Stewart
14773f6300
push is idempotent
2007-04-30 05:43:45 +00:00
Don Stewart
89182406a8
add two properties relating to empty window managers
2007-04-30 05:10:16 +00:00
Don Stewart
0d7969be18
new QC property: opening a window only affects the current screen
2007-04-30 05:01:33 +00:00
Don Stewart
8097060259
a bit more precise about building non-empty stacksets for one test
2007-04-30 03:57:29 +00:00
Don Stewart
966da43176
move size into Properties.hs
2007-04-30 02:17:58 +00:00
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