Re: [xmonad] How do you test ManageHook using QuickCheck?

Quoting Takafumi Arakaki :

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