[xmonad] How do you test ManageHook using QuickCheck?

wagnerdm at seas.upenn.edu wagnerdm at seas.upenn.edu
Mon Feb 6 16:38:27 CET 2012

Quoting Takafumi Arakaki <aka.tkf at gmail.com>:

> I'd like to see the example of separating "the pure computations out
> of your managehook stuff and then use QuickCheck on those functions".

The core xmonad code goes to great lengths to keep the bulk of its  
functionality pure, with a smallish wrapper to communicate with X, and  
provides a fairly comprehensive QuickCheck test suite. (See the  
"tests" directory in the repository.) Perhaps you can take some  
inspiration from there.


More information about the xmonad mailing list