| ||||
| ||||
| Description | ||||
| The ChannelManager represents the state of the currently displayed channel. | ||||
| Synopsis | ||||
| 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 |