XMonad.Prompt

A module for writing graphical prompts for XMonad

Usage

For usage examples see XMonad.Prompt.Shell, XMonad.Prompt.XMonad or XMonad.Prompt.Ssh

TODO:

• scrolling the completions that don't fit in the window (?)

mkXPrompt :: XPrompt p => p -> XPConfig -> ComplFunction -> (String -> X ()) -> X ()

Creates a prompt given:

• a prompt type, instance of the XPrompt class.
• a prompt configuration (def can be used as a starting point)
• a completion function (mkComplFunFromList can be used to create a completions function given a list of possible completions)
• an action to be run: the action must take a string and return X ()

mkXPromptWithReturn :: XPrompt p => p -> XPConfig -> ComplFunction -> (String -> X a) -> X (Maybe a)

Same as mkXPrompt, except that the action function can have type String -> X a, for any a, and the final action returned by mkXPromptWithReturn will have type X (Maybe a). Nothing is yielded if the user cancels the prompt (by e.g. hitting Esc or Ctrl-G). For an example of use, see the Input module.

mkXPromptWithModes :: [XPType] -> XPConfig -> X ()

Creates a prompt with multiple modes given:

• A non-empty list of modes
• A prompt configuration

The created prompt allows to switch between modes with changeModeKey in conf. The modes are instances of XPrompt. See XMonad.Actions.Launcher for more details

The argument supplied to the action to execute is always the current highlighted item, that means that this prompt overrides the value alwaysHighlight for its configuration to True.

def :: Default a => a

The default value for this type.

amberXPConfig :: XPConfig

defaultXPConfig :: XPConfig

Deprecated: Use def (from Data.Default, and re-exported from XMonad.Prompt) instead.

greenXPConfig :: XPConfig

type XPMode = XPType

data XPType

Constructors

XPrompt p => XPT p

Instances

Show XPType

Defined in XMonad.Prompt

Methods

showsPrec :: Int -> XPType -> ShowS

show :: XPType -> String

showList :: [XPType] -> ShowS

XPrompt XPType

Defined in XMonad.Prompt

Methods

showXPrompt :: XPType -> String

nextCompletion :: XPType -> String -> [String] -> String

commandToComplete :: XPType -> String -> String

completionToCommand :: XPType -> String -> String

completionFunction :: XPType -> ComplFunction

modeAction :: XPType -> String -> String -> X ()

data XPPosition

Constructors

Top

Bottom

CenteredAt

Prompt will be placed in the center horizontally and in the certain place of screen vertically. If it's in the upper part of the screen, completion window will be placed below(like in Top) and otherwise above(like in Bottom)

Fields

• xpCenterY :: Rational

  Rational between 0 and 1, giving y coordinate of center of the prompt relative to the screen height.

• xpWidth :: Rational

  Rational between 0 and 1, giving width of the prompt relatave to the screen width.

Instances

Read XPPosition

Defined in XMonad.Prompt

Methods

readsPrec :: Int -> ReadS XPPosition

readList :: ReadS [XPPosition]

readPrec :: ReadPrec XPPosition

readListPrec :: ReadPrec [XPPosition]

Show XPPosition

Defined in XMonad.Prompt

Methods

showsPrec :: Int -> XPPosition -> ShowS

show :: XPPosition -> String

showList :: [XPPosition] -> ShowS

data XPConfig

Constructors

XPC

Fields

• font :: String

  Font. For TrueType fonts, use something like "xft:Hack:pixelsize=1". Alternatively, use X Logical Font Description, i.e. something like "-*-dejavu sans mono-medium-r-normal--*-80-*-*-*-*-iso10646-1".

• bgColor :: String

  Background color

• fgColor :: String

  Font color

• fgHLight :: String

  Font color of a highlighted completion entry

• bgHLight :: String

  Background color of a highlighted completion entry

• borderColor :: String

  Border color

• promptBorderWidth :: !Dimension

  Border width

• position :: XPPosition

  Position: Top, Bottom, or CenteredAt

• alwaysHighlight :: !Bool

  Always highlight an item, overriden to True with multiple modes. This implies having *one* column of autocompletions only.

• height :: !Dimension

  Window height

• maxComplRows :: Maybe Dimension

  Just x: maximum number of rows to show in completion window

• historySize :: !Int

  The number of history entries to be saved

• historyFilter :: [String] -> [String]

  a filter to determine which history entries to remember

• promptKeymap :: Map (KeyMask, KeySym) (XP ())

  Mapping from key combinations to actions

• completionKey :: (KeyMask, KeySym)

  Key that should trigger completion

• changeModeKey :: KeySym

  Key to change mode (when the prompt has multiple modes)

• defaultText :: String

  The text by default in the prompt line

• autoComplete :: Maybe Int

  Just x: if only one completion remains, auto-select it, and delay by x microseconds

• showCompletionOnTab :: Bool

  Only show list of completions when Tab was pressed

• searchPredicate :: String -> String -> Bool

  Given the typed string and a possible completion, is the completion valid?

Instances

Default XPConfig

Defined in XMonad.Prompt

Methods

def :: XPConfig

class XPrompt t where

The class prompt types must be an instance of. In order to create a prompt you need to create a data type, without parameters, and make it an instance of this class, by implementing a simple method, showXPrompt, which will be used to print the string to be displayed in the command line window.

This is an example of a XPrompt instance definition:

    instance XPrompt Shell where
         showXPrompt Shell = "Run: "

Minimal complete definition

showXPrompt

Methods

showXPrompt :: t -> String

This method is used to print the string to be displayed in the command line window.

nextCompletion :: t -> String -> [String] -> String

This method is used to generate the next completion to be printed in the command line when tab is pressed, given the string presently in the command line and the list of completion. This function is not used when in multiple modes (because alwaysHighlight in XPConfig is True)

commandToComplete :: t -> String -> String

This method is used to generate the string to be passed to the completion function.

completionToCommand :: t -> String -> String

This method is used to process each completion in order to generate the string that will be compared with the command presently displayed in the command line. If the prompt is using getNextOfLastWord for implementing nextCompletion (the default implementation), this method is also used to generate, from the returned completion, the string that will form the next command line when tab is pressed.

completionFunction :: t -> ComplFunction

When the prompt has multiple modes, this is the function used to generate the autocompletion list. The argument passed to this function is given by commandToComplete The default implementation shows an error message.

modeAction :: t -> String -> String -> X ()

When the prompt has multiple modes (created with mkXPromptWithModes), this function is called when the user picks an item from the autocompletion list. The first argument is the prompt (or mode) on which the item was picked The first string argument is the autocompleted item's text. The second string argument is the query made by the user (written in the prompt's buffer). See XMonadActionsLauncher.hs for a usage example.

Instances

XPrompt XPType

Defined in XMonad.Prompt

Methods

showXPrompt :: XPType -> String

nextCompletion :: XPType -> String -> [String] -> String

commandToComplete :: XPType -> String -> String

completionToCommand :: XPType -> String -> String

completionFunction :: XPType -> ComplFunction

modeAction :: XPType -> String -> String -> X ()

XPrompt XMonad

Defined in XMonad.Prompt.XMonad

Methods

showXPrompt :: XMonad -> String

nextCompletion :: XMonad -> String -> [String] -> String

commandToComplete :: XMonad -> String -> String

completionToCommand :: XMonad -> String -> String

completionFunction :: XMonad -> ComplFunction

modeAction :: XMonad -> String -> String -> X ()

XPrompt Wor

Defined in XMonad.Prompt.Workspace

Methods

showXPrompt :: Wor -> String

nextCompletion :: Wor -> String -> [String] -> String

commandToComplete :: Wor -> String -> String

completionToCommand :: Wor -> String -> String

completionFunction :: Wor -> ComplFunction

modeAction :: Wor -> String -> String -> X ()

XPrompt Ssh

Defined in XMonad.Prompt.Ssh

Methods

showXPrompt :: Ssh -> String

nextCompletion :: Ssh -> String -> [String] -> String

commandToComplete :: Ssh -> String -> String

completionToCommand :: Ssh -> String -> String

completionFunction :: Ssh -> ComplFunction

modeAction :: Ssh -> String -> String -> X ()

XPrompt Shell

Defined in XMonad.Prompt.Shell

Methods

showXPrompt :: Shell -> String

nextCompletion :: Shell -> String -> [String] -> String

commandToComplete :: Shell -> String -> String

completionToCommand :: Shell -> String -> String

completionFunction :: Shell -> ComplFunction

modeAction :: Shell -> String -> String -> X ()

XPrompt WindowPrompt

Defined in XMonad.Prompt.Window

Methods

showXPrompt :: WindowPrompt -> String

nextCompletion :: WindowPrompt -> String -> [String] -> String

commandToComplete :: WindowPrompt -> String -> String

completionToCommand :: WindowPrompt -> String -> String

completionFunction :: WindowPrompt -> ComplFunction

modeAction :: WindowPrompt -> String -> String -> X ()

XPrompt RunOrRaisePrompt

Defined in XMonad.Prompt.RunOrRaise

Methods

showXPrompt :: RunOrRaisePrompt -> String

nextCompletion :: RunOrRaisePrompt -> String -> [String] -> String

commandToComplete :: RunOrRaisePrompt -> String -> String

completionToCommand :: RunOrRaisePrompt -> String -> String

completionFunction :: RunOrRaisePrompt -> ComplFunction

modeAction :: RunOrRaisePrompt -> String -> String -> X ()

XPrompt Man

Defined in XMonad.Prompt.Man

Methods

showXPrompt :: Man -> String

nextCompletion :: Man -> String -> [String] -> String

commandToComplete :: Man -> String -> String

completionToCommand :: Man -> String -> String

completionFunction :: Man -> ComplFunction

modeAction :: Man -> String -> String -> X ()

XPrompt InputPrompt

Defined in XMonad.Prompt.Input

Methods

showXPrompt :: InputPrompt -> String

nextCompletion :: InputPrompt -> String -> [String] -> String

commandToComplete :: InputPrompt -> String -> String

completionToCommand :: InputPrompt -> String -> String

completionFunction :: InputPrompt -> ComplFunction

modeAction :: InputPrompt -> String -> String -> X ()

XPrompt Dir

Defined in XMonad.Prompt.Directory

Methods

showXPrompt :: Dir -> String

nextCompletion :: Dir -> String -> [String] -> String

commandToComplete :: Dir -> String -> String

completionToCommand :: Dir -> String -> String

completionFunction :: Dir -> ComplFunction

modeAction :: Dir -> String -> String -> X ()

XPrompt DirExec

Defined in XMonad.Prompt.DirExec

Methods

showXPrompt :: DirExec -> String

nextCompletion :: DirExec -> String -> [String] -> String

commandToComplete :: DirExec -> String -> String

completionToCommand :: DirExec -> String -> String

completionFunction :: DirExec -> ComplFunction

modeAction :: DirExec -> String -> String -> X ()

XPrompt EnterPrompt

Defined in XMonad.Prompt.ConfirmPrompt

Methods

showXPrompt :: EnterPrompt -> String

nextCompletion :: EnterPrompt -> String -> [String] -> String

commandToComplete :: EnterPrompt -> String -> String

completionToCommand :: EnterPrompt -> String -> String

completionFunction :: EnterPrompt -> ComplFunction

modeAction :: EnterPrompt -> String -> String -> X ()

XPrompt AppendFile

Defined in XMonad.Prompt.AppendFile

Methods

showXPrompt :: AppendFile -> String

nextCompletion :: AppendFile -> String -> [String] -> String

commandToComplete :: AppendFile -> String -> String

completionToCommand :: AppendFile -> String -> String

completionFunction :: AppendFile -> ComplFunction

modeAction :: AppendFile -> String -> String -> X ()

XPrompt AppPrompt

Defined in XMonad.Prompt.AppLauncher

Methods

showXPrompt :: AppPrompt -> String

nextCompletion :: AppPrompt -> String -> [String] -> String

commandToComplete :: AppPrompt -> String -> String

completionToCommand :: AppPrompt -> String -> String

completionFunction :: AppPrompt -> ComplFunction

modeAction :: AppPrompt -> String -> String -> X ()

XPrompt TagPrompt

Defined in XMonad.Actions.TagWindows

Methods

showXPrompt :: TagPrompt -> String

nextCompletion :: TagPrompt -> String -> [String] -> String

commandToComplete :: TagPrompt -> String -> String

completionToCommand :: TagPrompt -> String -> String

completionFunction :: TagPrompt -> ComplFunction

modeAction :: TagPrompt -> String -> String -> X ()

XPrompt WSGPrompt

Defined in XMonad.Actions.DynamicWorkspaceGroups

Methods

showXPrompt :: WSGPrompt -> String

nextCompletion :: WSGPrompt -> String -> [String] -> String

commandToComplete :: WSGPrompt -> String -> String

completionToCommand :: WSGPrompt -> String -> String

completionFunction :: WSGPrompt -> ComplFunction

modeAction :: WSGPrompt -> String -> String -> X ()

XPrompt Search

Defined in XMonad.Actions.Search

Methods

showXPrompt :: Search -> String

nextCompletion :: Search -> String -> [String] -> String

commandToComplete :: Search -> String -> String

completionToCommand :: Search -> String -> String

completionFunction :: Search -> ComplFunction

modeAction :: Search -> String -> String -> X ()

XPrompt ThemePrompt

Defined in XMonad.Prompt.Theme

Methods

showXPrompt :: ThemePrompt -> String

nextCompletion :: ThemePrompt -> String -> [String] -> String

commandToComplete :: ThemePrompt -> String -> String

completionToCommand :: ThemePrompt -> String -> String

completionFunction :: ThemePrompt -> ComplFunction

modeAction :: ThemePrompt -> String -> String -> X ()

type XP = StateT XPState IO

defaultXPKeymap :: Map (KeyMask, KeySym) (XP ())

Default key bindings for prompts. Click on the "Source" link to the right to see the complete list. See also defaultXPKeymap'.

defaultXPKeymap' :: (Char -> Bool) -> Map (KeyMask, KeySym) (XP ())

A variant of defaultXPKeymap which lets you specify a custom predicate for identifying non-word characters, which affects all the word-oriented commands (move/kill word). The default is isSpace. For example, by default a path like foo/bar/baz would be considered as a single word. You could use a predicate like (\c -> isSpace c || c == '/') to move through or delete components of the path one at a time.

emacsLikeXPKeymap :: Map (KeyMask, KeySym) (XP ())

A keymap with many emacs-like key bindings. Click on the "Source" link to the right to see the complete list. See also emacsLikeXPKeymap'.

emacsLikeXPKeymap' :: (Char -> Bool) -> Map (KeyMask, KeySym) (XP ())

A variant of emacsLikeXPKeymap which lets you specify a custom predicate for identifying non-word characters, which affects all the word-oriented commands (move/kill word). The default is isSpace. For example, by default a path like foo/bar/baz would be considered as a single word. You could use a predicate like (\c -> isSpace c || c == '/') to move through or delete components of the path one at a time.

quit :: XP ()

Quit.

killBefore :: XP ()

Kill the portion of the command before the cursor

killAfter :: XP ()

Kill the portion of the command including and after the cursor

startOfLine :: XP ()

Put the cursor at the start of line

endOfLine :: XP ()

Put the cursor at the end of line

insertString :: String -> XP ()

Insert a character at the cursor position

pasteString :: XP ()

Insert the current X selection string at the cursor position.

moveCursor :: Direction1D -> XP ()

move the cursor one position

setInput :: String -> XP ()

Sets the input string to the given value.

getInput :: XP String

Returns the current input string. Intented for use in custom keymaps where the get or similar can't be used to retrieve it.

moveWord :: Direction1D -> XP ()

Move the cursor one word, using isSpace as the default predicate for non-word characters. See moveWord'.

moveWord' :: (Char -> Bool) -> Direction1D -> XP ()

Move the cursor one word, given a predicate to identify non-word characters. First move past any consecutive non-word characters; then move to just before the next non-word character.

killWord :: Direction1D -> XP ()

Kill the next/previous word, using isSpace as the default predicate for non-word characters. See killWord'.

killWord' :: (Char -> Bool) -> Direction1D -> XP ()

Kill the next/previous word, given a predicate to identify non-word characters. First delete any consecutive non-word characters; then delete consecutive word characters, stopping just before the next non-word character.

For example, by default (using killWord) a path like foo/bar/baz would be deleted in its entirety. Instead you can use something like killWord' (\c -> isSpace c || c == '/') to delete the path one component at a time.

deleteString :: Direction1D -> XP ()

Remove a character at the cursor position

moveHistory :: (Stack String -> Stack String) -> XP ()

setSuccess :: Bool -> XP ()

setDone :: Bool -> XP ()

data Direction1D

One-dimensional directions:

Constructors

Next

Prev

Instances

Eq Direction1D

Defined in XMonad.Util.Types

Methods

(==) :: Direction1D -> Direction1D -> Bool

(/=) :: Direction1D -> Direction1D -> Bool

Read Direction1D

Defined in XMonad.Util.Types

Methods

readsPrec :: Int -> ReadS Direction1D

readList :: ReadS [Direction1D]

readPrec :: ReadPrec Direction1D

readListPrec :: ReadPrec [Direction1D]

Show Direction1D

Defined in XMonad.Util.Types

Methods

showsPrec :: Int -> Direction1D -> ShowS

show :: Direction1D -> String

showList :: [Direction1D] -> ShowS

type ComplFunction = String -> IO [String]

X Utilities

mkUnmanagedWindow :: Display -> Screen -> Window -> Position -> Position -> Dimension -> Dimension -> IO Window

Creates a window with the attribute override_redirect set to True. Windows Managers should not touch this kind of windows.

fillDrawable :: Display -> Drawable -> GC -> Pixel -> Pixel -> Dimension -> Dimension -> Dimension -> IO ()

Fills a Drawable with a rectangle and a border

Other Utilities

mkComplFunFromList :: [String] -> String -> IO [String]

This function takes a list of possible completions and returns a completions function to be used with mkXPrompt

mkComplFunFromList' :: [String] -> String -> IO [String]

This function takes a list of possible completions and returns a completions function to be used with mkXPrompt. If the string is null it will return all completions.

nextCompletion implementations

getNextOfLastWord :: XPrompt t => t -> String -> [String] -> String

Given the prompt type, the command line and the completion list, return the next completion in the list for the last word of the command line. This is the default nextCompletion implementation.

getNextCompletion :: String -> [String] -> String

An alternative nextCompletion implementation: given a command and a completion list, get the next completion in the list matching the whole command line.

List utilities

getLastWord :: String -> String

Gets the last word of a string or the whole string if formed by only one word

skipLastWord :: String -> String

Skips the last word of the string, if the string is composed by more then one word. Otherwise returns the string.

splitInSubListsAt :: Int -> [a] -> [[a]]

Given a maximum length, splits a list into sublists

breakAtSpace :: String -> (String, String)

uniqSort :: Ord a => [a] -> [a]

Sort a list and remove duplicates. Like deleteAllDuplicates, but trades off laziness and stability for efficiency.

historyCompletion :: ComplFunction

historyCompletion provides a canned completion function much like getShellCompl; you pass it to mkXPrompt, and it will make completions work from the query history stored in the XMonad cache directory.

historyCompletionP :: (String -> Bool) -> ComplFunction

Like historyCompletion but only uses history data from Prompts whose name satisfies the given predicate.

History filters

deleteAllDuplicates :: [String] -> [String]

Functions to be used with the historyFilter setting. deleteAllDuplicates will remove all duplicate entries. deleteConsecutive will only remove duplicate elements immediately next to each other.

deleteConsecutive :: [String] -> [String]

Functions to be used with the historyFilter setting. deleteAllDuplicates will remove all duplicate entries. deleteConsecutive will only remove duplicate elements immediately next to each other.

data HistoryMatches

initMatches :: (Functor m, MonadIO m) => m HistoryMatches

Initializes a new HistoryMatches structure to be passed to historyUpMatching

historyUpMatching :: HistoryMatches -> XP ()

Retrieve the next history element that starts with the current input. Pass it the result of initMatches when creating the prompt. Example:

..
((modMask,xK_p), shellPrompt . myPrompt =<< initMatches)
..
myPrompt ref = def
  { promptKeymap = M.union [((0,xK_Up), historyUpMatching ref)
                           ,((0,xK_Down), historyDownMatching ref)]
                           (promptKeymap def)
  , .. }

historyDownMatching :: HistoryMatches -> XP ()

Retrieve the next history element that starts with the current input. Pass it the result of initMatches when creating the prompt. Example:

..
((modMask,xK_p), shellPrompt . myPrompt =<< initMatches)
..
myPrompt ref = def
  { promptKeymap = M.union [((0,xK_Up), historyUpMatching ref)
                           ,((0,xK_Down), historyDownMatching ref)]
                           (promptKeymap def)
  , .. }

Types

data XPState