8 Commits

Author	SHA1	Message	Date
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