| Copyright | (c) Eric Mertens 2016 |
|---|---|
| License | ISC |
| Maintainer | emertens@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Client.State.Focus
Description
Synopsis
- data Focus
- data Subfocus
- = FocusMessages
- | FocusInfo !Text !Identifier
- | FocusUsers !Text !Identifier
- | FocusMasks !Text !Identifier !Char
- | FocusWindows WindowsFilter
- | FocusPalette
- | FocusMentions
- | FocusDigraphs
- | FocusKeyMap
- | FocusHelp
- | FocusRtsStats
- | FocusIgnoreList
- | FocusCert
- | FocusChanList !Text (Maybe Int) (Maybe Int)
- | FocusWho !Text
- data WindowsFilter
- parseFocus :: Maybe Text -> String -> Maybe Focus
- focusNetwork :: Focus -> Maybe Text
- actualFocus :: Subfocus -> Focus -> Focus
- isPrefixOfFocus :: String -> Focus -> Bool
- _ChannelFocus :: Prism' Focus (Text, Identifier)
- _NetworkFocus :: Prism' Focus Text
- _Unfocused :: Prism' Focus ()
Types
Currently focused window
Constructors
| Unfocused | No network |
| NetworkFocus !Text | Network |
| ChannelFocus !Text !Identifier | Network Channel/Nick |
Subfocus view
Constructors
| FocusMessages | Show messages |
| FocusInfo !Text !Identifier | Show channel metadata |
| FocusUsers !Text !Identifier | Show channel user list |
| FocusMasks !Text !Identifier !Char | Show channel mask list for given mode |
| FocusWindows WindowsFilter | Show client windows |
| FocusPalette | Show current palette |
| FocusMentions | Show all mentions |
| FocusDigraphs | Show all digraphs |
| FocusKeyMap | Show key bindings |
| FocusHelp | Show help window |
| FocusRtsStats | Show GHC RTS statistics |
| FocusIgnoreList | Show ignored masks |
| FocusCert | Show rendered certificate |
| FocusChanList !Text (Maybe Int) (Maybe Int) | Show channel list |
| FocusWho !Text | Show last reply to a WHO query |
Instances
data WindowsFilter Source #
Filter argument for FocusWindows
Constructors
| AllWindows | no filter |
| NetworkWindows | only network windows |
| ChannelWindows | only channel windows |
| UserWindows | only user windows |
Instances
| Show WindowsFilter Source # | |
Defined in Client.State.Focus Methods showsPrec :: Int -> WindowsFilter -> ShowS # show :: WindowsFilter -> String # showList :: [WindowsFilter] -> ShowS # | |
| Eq WindowsFilter Source # | |
Defined in Client.State.Focus Methods (==) :: WindowsFilter -> WindowsFilter -> Bool # (/=) :: WindowsFilter -> WindowsFilter -> Bool # | |
Focus operations
Parses a single focus name given a default network.
Return the network associated with the current focus
Focus Prisms
_ChannelFocus :: Prism' Focus (Text, Identifier) Source #
_Unfocused :: Prism' Focus () Source #