ContentsIndex
Barracuda.GUI.ChannelManager
MaintainerHenning Guenther
Description
The ChannelManager represents the state of the currently displayed channel.
Synopsis
data ChannelManager
channelManagerNew :: ([Attachment] -> IO ()) -> (ChannelName -> ChannelID -> UserID -> IO ()) -> UserID -> IO ChannelManager
channelManagerChannel :: ChannelManager -> Maybe (ChannelName, ChannelID, Bool)
channelManagerError :: ChannelName -> ChannelID -> UTCTime -> String -> ChannelManager -> IO ChannelManager
channelManagerUsername :: ChannelManager -> UserID
channelManagerSelect :: ChannelName -> ChannelID -> ChannelManager -> ChannelManager
channelManagerCheckState :: ChannelManager -> (Widget -> IO ()) -> IO ChannelManager
channelManagerRenderState :: ChannelManager -> IO (ChannelManager, Widget)
channelManagerUpdate :: Map (ChannelName, ChannelID) (String, Bool, Set UserID) -> ChannelManager -> ChannelManager
channelManagerUsers :: ChannelManager -> [UserID]
channelManagerPost :: ChannelName -> ChannelID -> UTCTime -> Maybe UserID -> String -> [Attachment] -> Bool -> ChannelManager -> IO ChannelManager
channelManagerWantsAuth :: ChannelName -> ChannelID -> UTCTime -> UserID -> ChannelManager -> IO ChannelManager
channelManagerNoState :: ChannelManager -> ChannelManager
Documentation
data ChannelManager
channelManagerNew :: ([Attachment] -> IO ()) -> (ChannelName -> ChannelID -> UserID -> IO ()) -> UserID -> IO ChannelManager
Creates a new ChannelManager instance
channelManagerChannel :: ChannelManager -> Maybe (ChannelName, ChannelID, Bool)
channelManagerError :: ChannelName -> ChannelID -> UTCTime -> String -> ChannelManager -> IO ChannelManager
Posts an error into a channel.
channelManagerUsername :: ChannelManager -> UserID
channelManagerSelect :: ChannelName -> ChannelID -> ChannelManager -> ChannelManager
channelManagerCheckState :: ChannelManager -> (Widget -> IO ()) -> IO ChannelManager
Checks if the displaying widget needs to be changed and does so with the provided callback.
channelManagerRenderState :: ChannelManager -> IO (ChannelManager, Widget)
Creates a widget to diplay the current state of the manager
channelManagerUpdate :: Map (ChannelName, ChannelID) (String, Bool, Set UserID) -> ChannelManager -> ChannelManager
Update the channel informations of the manager using the contents of an - AllChans message.
channelManagerUsers :: ChannelManager -> [UserID]
Gets the users that needs to be displayed by the ChannelList
channelManagerPost :: ChannelName -> ChannelID -> UTCTime -> Maybe UserID -> String -> [Attachment] -> Bool -> ChannelManager -> IO ChannelManager
Display the message of a user in a specific channel.
channelManagerWantsAuth :: ChannelName -> ChannelID -> UTCTime -> UserID -> ChannelManager -> IO ChannelManager
Posts an authorization request from another user into a channel.
channelManagerNoState :: ChannelManager -> ChannelManager
Produced by Haddock version 0.8