¤ titleShellF, titleShellF'

Shells

Types

titleShellF :: String -> F c d -> F (String ⊕ c) d
titleShellF' :: (ShellF -> ShellF) -> String -> F c d -> F (String ⊕ c) d

Synopsis

titleShellF title fud

Description

titleShellF creates a shell window with a dynamically changeable title. An argument fudget determines the contents of the shell window. titleShellF is useful in editors that wish to use the name of the file being edited as the window title.

titleShellF' is a custimisable version of titleShellF.

Input

When Left t is input, the window title will be changed to t. When Right x is input, x is passed to fud.

Output

connected directly to the interior fudget fud.

Arguments

title :: String: initial window title.
fud :: F c d: fudget that determines the contents of the shell window.