| |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||||||||||||
| An EDSL for ManageHooks | |||||||||||||||||||||||||||||||||||
| Synopsis | |||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||
| Documentation | |||||||||||||||||||||||||||||||||||
| liftX :: X a -> Query a | |||||||||||||||||||||||||||||||||||
| Lift an X action to a Query. | |||||||||||||||||||||||||||||||||||
| idHook :: ManageHook | |||||||||||||||||||||||||||||||||||
| The identity hook that returns the WindowSet unchanged. | |||||||||||||||||||||||||||||||||||
| (<+>) :: ManageHook -> ManageHook -> ManageHook | |||||||||||||||||||||||||||||||||||
| Compose two ManageHooks. | |||||||||||||||||||||||||||||||||||
| composeAll :: [ManageHook] -> ManageHook | |||||||||||||||||||||||||||||||||||
| Compose the list of ManageHooks. | |||||||||||||||||||||||||||||||||||
| (-->) :: Query Bool -> ManageHook -> ManageHook | |||||||||||||||||||||||||||||||||||
| p --> x. If p returns True, execute the ManageHook. | |||||||||||||||||||||||||||||||||||
| (=?) :: Eq a => Query a -> a -> Query Bool | |||||||||||||||||||||||||||||||||||
| q =? x. if the result of q equals x, return True. | |||||||||||||||||||||||||||||||||||
| (<&&>) :: Monad m => m Bool -> m Bool -> m Bool | |||||||||||||||||||||||||||||||||||
| && lifted to a Monad. | |||||||||||||||||||||||||||||||||||
| (<||>) :: Monad m => m Bool -> m Bool -> m Bool | |||||||||||||||||||||||||||||||||||
| || lifted to a Monad. | |||||||||||||||||||||||||||||||||||
| title :: Query String | |||||||||||||||||||||||||||||||||||
| Return the window title. | |||||||||||||||||||||||||||||||||||
| appName :: Query String | |||||||||||||||||||||||||||||||||||
| Return the application name. | |||||||||||||||||||||||||||||||||||
| resource :: Query String | |||||||||||||||||||||||||||||||||||
| Backwards compatible alias for appName. | |||||||||||||||||||||||||||||||||||
| className :: Query String | |||||||||||||||||||||||||||||||||||
| Return the resource class. | |||||||||||||||||||||||||||||||||||
| stringProperty :: String -> Query String | |||||||||||||||||||||||||||||||||||
| A query that can return an arbitrary X property of type String, identified by name. | |||||||||||||||||||||||||||||||||||
| getStringProperty :: Display -> Window -> String -> X (Maybe String) | |||||||||||||||||||||||||||||||||||
| doF :: (WindowSet -> WindowSet) -> ManageHook | |||||||||||||||||||||||||||||||||||
| Modify the WindowSet with a pure function. | |||||||||||||||||||||||||||||||||||
| doFloat :: ManageHook | |||||||||||||||||||||||||||||||||||
| Move the window to the floating layer. | |||||||||||||||||||||||||||||||||||
| doIgnore :: ManageHook | |||||||||||||||||||||||||||||||||||
| Map the window and remove it from the WindowSet. | |||||||||||||||||||||||||||||||||||
| doShift :: WorkspaceId -> ManageHook | |||||||||||||||||||||||||||||||||||
| Move the window to a given workspace | |||||||||||||||||||||||||||||||||||
| Produced by Haddock version 2.7.2 |