[xmonad] How do you test ManageHook using QuickCheck?

[wagnerdm at seas.upenn.edu]

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.

~d