Copyright | (c) Eric Mertens 2016 |
---|---|
License | ISC |
Maintainer | [email protected] |
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 #