aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Correct warnings with ghc-6.12Adam Vogt2010-01-181-3/+3
| | | | | | | | | | | | | | | | Ignore-this: a48ed095b72aedec9eeb88781ace66dc Changes include: - compatibility with base-4 or 3 (base-2 untested) by using extensible-exceptions. This adds an additional dependency for users of ghc<6.10) - list all dependencies again when -ftesting (change in Cabal-1.8.0.2) - remove unnecessary imports - suppress -fwarn-unused-do-bind, with appropriate Cabal-1.8 workaround, described here: http://www.haskell.org/pipermail/xmonad/2010-January/009554.html darcs-hash:20100118181532-1499c-5c496678ef76f2f50b43b0fc4582cfef7c237654.gz
* add W.shiftMaster, fix float/tile-reordering bugDevin Mullins2008-09-111-0/+17
| | | | darcs-hash:20080911053909-78224-d050fdbedac4eb39a96f30ec0679a9b67d274091.gz
* add currentTag convenience functionDevin Mullins2008-05-121-0/+4
| | | | darcs-hash:20080511224258-78224-93d0cc4af977965e2e27e96efb67a6f362ebbbc1.gz
* more testsDon Stewart2008-03-231-1/+13
| | | | darcs-hash:20080323003436-cba2c-f896cff759d6413571b6c32f2a78f64e6399feea.gz
* some tests for the size increment handling in Operations.hsDon Stewart2008-03-231-0/+18
| | | | darcs-hash:20080322234952-cba2c-5bc18928813ea1674988a6857a15eedde696bf7d.gz
* more properties for splitting horizontally and verticallyDon Stewart2008-03-221-0/+46
| | | | darcs-hash:20080322201835-cba2c-df24122dea6b44f14c6e20ce94a79708d3a8e777.gz
* test message handling of Full layoutDon Stewart2008-03-221-2/+10
| | | | darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024.gz
* QuickCheck properties to fully specify the Tall layout, and its messagesDon Stewart2008-03-221-8/+71
| | | | darcs-hash:20080322041801-cba2c-7b768f19071ebe953f51577d3111d53b6afb3bb4.gz
* add QuickCheck property for Full: it produces one window, it is fullscreen, ↵Don Stewart2008-03-221-1/+14
| | | | | | and it is the current window darcs-hash:20080322002026-cba2c-3642c7cb7aab09cd86ab0e7c7ac43840f0c7f1a6.gz
* QC for pureLayout. confirm pureLayout . Tall produces no overlapsDon Stewart2008-03-221-0/+13
| | | | darcs-hash:20080322001229-cba2c-b9d9ced9a89cde9f5399f25355b6d43514a5bdc0.gz
* reenable quickcheck properties for layouts (no overlap, fullscreen)Don Stewart2008-03-221-5/+3
| | | | darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
* add property for ensureTags behaviour on hidden workspacesDon Stewart2008-03-101-0/+18
| | | | darcs-hash:20080310182557-cba2c-9e539e452dbcb111fc47098dd762811c8334d4d8.gz
* more general properties for view, greedyViewDon Stewart2008-03-071-2/+2
| | | | darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
* bit more code coverageDon Stewart2008-03-071-0/+5
| | | | darcs-hash:20080307180905-cba2c-723aab5ae3ca821207bdc70dbd05a8da8d1822ea.gz
* more tests. slightly better test coverageDon Stewart2008-02-271-5/+7
| | | | darcs-hash:20080227180113-cba2c-74897f1ccbdc69956bd99c9a90aa3b11c469a4fe.gz
* test geometry settingDon Stewart2008-02-271-0/+7
| | | | darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
* incorrect invariant test for greedyViewDon Stewart2008-02-251-1/+9
| | | | darcs-hash:20080225180350-cba2c-95b57af5f105496a17148c49578ae83d1e0f0a35.gz
* Roll testing into the main executable, use Cabal to build the testsSpencer Janssen2008-01-191-3/+3
| | | | darcs-hash:20080119091215-a5988-8f5f48e8c40a0f39abdf6ffe4d4dc938ab8c7ef1.gz
* HierarchifySpencer Janssen2007-11-011-2/+2
| | | | darcs-hash:20071101180846-a5988-25ba1c9ce37a35c1533e4075cc9494c6f7dd5ade.gz
* This is a massive update, here's what has changed:Spencer Janssen2007-11-011-1/+0
| | | | | | | | | | | | | | * Read is no longer a superclass of Layout * All of the core layouts have moved to the new Layouts.hs module * Select has been replaced by the new statically typed Choose combinator, which is heavily based on David Roundy's NewSelect proposal for XMonadContrib. Consequently: - Rather than a list of choosable layouts, we use the ||| combinator to combine several layouts into a single switchable layout - We've lost the capability to JumpToLayout and PrevLayout. Both can be added with some effort darcs-hash:20071101064318-a5988-c07c434c7a1108078d6123a4b36040ed6597772b.gz
* Replace 'findIndex' with 'findTag', which more accurately describes what the ↵Brent Yorgey2007-10-221-5/+5
| | | | | | | | | function does. I realize this is a big change, but the name 'findIndex' was confusing for me, since I expected it to return some sort of integer. What it actually does, of course, is return a workspace tag, which might be more general than an index. Of course, this change breaks several contrib modules; I'll submit a patch to make the change there as well. darcs-hash:20071022204105-bd4d7-9f5d5b8ce00c61b4830fde329f528b2d79af2fa6.gz
* Whitespace fixes for Properties.hsSpencer Janssen2007-10-151-11/+11
| | | | darcs-hash:20071015022757-a5988-8e5172ea769e1c99abf1cc7f7630f3aa9dd68856.gz
* add mapWorkspace testsDevin Mullins2007-10-061-0/+8
| | | | | | (just completely duplicated the two mapLayout tests :) darcs-hash:20071006073129-78224-d1303612fd8e2f9ede740831b031a88914ee833a.gz
* comment out type error'd propertyDon Stewart2007-10-061-0/+2
| | | | darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
* add floating propertyDon Stewart2007-10-061-0/+6
| | | | darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
* Add mapLayoutSpencer Janssen2007-10-051-0/+7
| | | | darcs-hash:20071004234537-a5988-504015d5c938a232d1355c0f3c602cf366c20aea.gz
* extract Properties module for re-use by contrib testsDevin Mullins2007-10-041-0/+1
| | | | | | | | | | | I want to reuse Properties' Arbitrary instance (as well as the T and NonNegative types) in an upcoming set of SwapWorkspaces QC props. `module Main where import Main` doesn't work too well. :) If this patch is accepted, the darcs 'test' pref should be modified to "-itests tests/Main.hs". darcs-hash:20071004075852-78224-6f84d89566894e33266a7c3b4d0cde5be7ec2918.gz
* Add StackSet.allWindowsSpencer Janssen2007-10-011-0/+3
| | | | darcs-hash:20071001163959-a5988-243d115545b70eafcaaedd9440ddf525ea15aa32.gz
* deeper test for differentiate. back to 100% coverageDon Stewart2007-09-301-1/+1
| | | | darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
* properties for tag renamingDon Stewart2007-09-301-0/+21
| | | | darcs-hash:20070930074641-cba2c-f0ba43bf6d62f372dfee8dfdadf4fe66677e0510.gz
* test lookupWorkspace more deeplyDon Stewart2007-09-301-0/+10
| | | | darcs-hash:20070930073822-cba2c-7b661e5bdbdcf99b64f785897af2ecc4278471ea.gz
* 100% coverage of alternative branchesDon Stewart2007-09-291-2/+9
| | | | darcs-hash:20070928235745-cba2c-c8d9bd87100da803d11d00300bfd6486bbc29911.gz
* add some more properties for failure casesDon Stewart2007-09-291-0/+29
| | | | darcs-hash:20070928233230-cba2c-291d995afedb1c3d1cf1ac4f8e69170b24029551.gz
* add (unused) Layout to StackSet.David Roundy2007-09-201-14/+16
| | | | darcs-hash:20070920212843-72aca-4c73a99b58ebd9d1d179c5e627cbf4823493f4ab.gz
* add prop for 'differentiate'Don Stewart2007-09-281-0/+5
| | | | darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
* new QC properties: floating a window is reversible, screens includes current ↵Don Stewart2007-09-281-0/+18
| | | | | | screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz
* Add 3 QC properties for focusMaster: local, idempotent, preserves invariantDon Stewart2007-09-271-2/+19
| | | | darcs-hash:20070927214401-cba2c-4d5e8646bcc9d21b844f56e7cea13b9af26de7c1.gz
* Fix float behaviour, add shiftWin.Karsten Schoelzel2007-09-101-0/+23
| | | | | | | | | | First, if float is called with window which is on a hidden workspace, then the window will remain on that hidden workspace. Now the focus should change more as expected: float w darcs-hash:20070910090329-eb3a1-ae150bf783b36fb4811e92d81b4917066c8733b7.gz
* Add greedyView, make it the default action for mod-werSpencer Janssen2007-08-151-0/+36
| | | | darcs-hash:20070815025504-a5988-00ff316a056c48cc07c5e90925702d2ac09ae666.gz
* QuickCheck filter preserves orderKarsten Schoelzel2007-07-281-0/+12
| | | | darcs-hash:20070728184534-eb3a1-68bbf44ab26db69a4aa75fb97cb516ebf6c963bb.gz
* Move screen details into StackSetSpencer Janssen2007-06-291-26/+31
| | | | darcs-hash:20070629213917-a5988-3ad31d8f028efcec41c9c4805c01c2d42c0009b2.gz
* add 2 properties to state where focus goes on delete of focused windowDon Stewart2007-06-261-1/+24
| | | | darcs-hash:20070626040907-9c5c1-397ec2ac01fda2e3f307605bf0f765bbc5724350.gz
* make workspace tag not need to be a Num.David Roundy2007-06-141-42/+29
| | | | | | | | | This change also removes the barely used 'size' field, and replaces it with a tagMember predicate. The idea is to move towards the ability to make the workspace tag be a String, which by default might be "1".."9", but could also be customized to be something meaningful to the user. darcs-hash:20070614140709-72aca-dbc1ce07bf964e4cff69deef95b453a0051ef782.gz
* make focus, up and down complete functions.David Roundy2007-06-121-13/+9
| | | | | | | This is a rerun of my change to make (Stack a) never be empty. Gives us more type-safety. darcs-hash:20070612150555-72aca-5f6e43aa33979c71679a73b44d93f9e2b8f9d2a8.gz
* Add StackSet.filterSpencer Janssen2007-06-111-1/+1
| | | | darcs-hash:20070611165154-a5988-8c46751ffd4bd03249656e3b467b8e7569c48b09.gz
* HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart2007-05-261-46/+46
| | | | | | | | | | | | | | | | The use of arrow keys for swapLeft/Right clash with firefox's back button. Use the more intuitive mod-shift-jk for this. (It's a movement operation, after all). This clashes with IncMaster, so we use mod+comma and mod+period for these (i.e. the keys mod < and mod > , to move windows to and from the master area). While we're here, replace the use of the terms 'left' and 'right' for navigation, in comments and identifiers, with 'up' and 'down' instead. Hence mod-j darcs-hash:20070526111453-9c5c1-3242145ee5b51eb070a7dc3663f0d6cc01671d5c.gz
* Add a test that the size field of StackSet is correct to QuickCheck invariant.glasser2007-05-251-0/+3
| | | | darcs-hash:20070525163159-64353-15e04204eb27aebe6c98a58c8e26b5c5d3083348.gz
* Quickcheck property to check that delete / focus behaviourRob2007-05-251-0/+4
| | | | | | See patch "Deleting a window should not affect focus". Checks this property. darcs-hash:20070525035432-64d90-e1b1684a128a8336c14be3479b088988a5ddbd35.gz
* Fix bug in noDuplicate invariantRob2007-05-251-3/+3
| | | | | | | | | ws used by noDuplicates is actually a list of list of elements which will pretty rarely raise any flags even if the StackSet actually does contain duplicates. This patch concatenates ws to ensure the quickcheck property tests accurately. darcs-hash:20070525060842-64d90-efb031dd261cee4fdda597447036631bcce708fa.gz
* add swapLeft and swapRightbobstopper2007-05-221-23/+46
| | | | darcs-hash:20070522050008-ee4f8-6073519fac239b25e5e265ce3995ee75683fcb81.gz