| |||||||||||||||||||||
| |||||||||||||||||||||
Contents | |||||||||||||||||||||
Description | |||||||||||||||||||||
StdReceiver specifies all receiver operations. The receiver is a component which allows the communication between different interactive process or between different devices (For example from Timer device to Menu device) by user defined message events. | |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
Opening receivers | |||||||||||||||||||||
class Receivers rdef where | |||||||||||||||||||||
| |||||||||||||||||||||
Closing receivers | |||||||||||||||||||||
closeReceiver :: Id -> GUI ps () | |||||||||||||||||||||
Get the Ids of all current receivers | |||||||||||||||||||||
getReceivers :: GUI ps [Id] | |||||||||||||||||||||
Enabling/Disabling of receivers | |||||||||||||||||||||
enableReceivers :: [Id] -> GUI ps () | |||||||||||||||||||||
disableReceivers :: [Id] -> GUI ps () | |||||||||||||||||||||
getReceiverSelectState :: Id -> GUI ps (Maybe SelectState) | |||||||||||||||||||||
Message passing | |||||||||||||||||||||
asyncSend :: RId msg -> msg -> GUI ps () | |||||||||||||||||||||
syncSend :: RId msg -> msg -> ps -> GUI ps ps | |||||||||||||||||||||
syncSend2 :: R2Id msg resp -> msg -> ps -> GUI ps (resp, ps) | |||||||||||||||||||||
A visible module | |||||||||||||||||||||
module Graphics.UI.ObjectIO.StdReceiverDef | |||||||||||||||||||||
Produced by Haddock version 0.3 |