wmShellF :: String -> F c d -> F ((String ⊕ Bool) ⊕ c) (() ⊕ d) wmShellF' :: (ShellF -> ShellF) -> String -> F c d -> F ((String ⊕ Bool) ⊕ c) (() ⊕ d)
wmShellF title fud
wmShellF is a version of shellF with an added interface to some simple
dynamic window management functions.
wmShellF outputs a message instead of terminating the program when
the user tries to close the window. The customiser
can be used to change this as for shellF'.
Right xis input,
xis passed to
Left (Left title)is input, the window title (displayed in the title bar by the window manager) is change to
Left (Right False)is input, the window is made invisible (unmapped). When
Left (Right True)is input, the window is made visible (mapped).
y, the composition outputs
Right y. When
WM_DELETE_WINDOWmessage is received from the window manager (e.g., because the user pressed the close window button on the title bar), the composition outputs
title :: String
fud :: F c d
Some self explanatory datatypes should be provided for the window management messages.