|
| EventAdministrator | | Portability | portable (depende de GHC - GTK2HS) | | Stability | Version de juguete. |
|
|
|
|
|
| Description |
| Definicion del modulo de administracion de eventos para la comunicacion entre
componentes de la interfaz grafica.
|
|
| Synopsis |
|
|
|
|
| Tipos
|
|
| type EventName = String |
| Define el nombre de un evento.
|
|
| type Event = (String, IO ()) |
| Definicion de un evento de comunicacion entre componentes.
|
|
| type EventId = (String, Int) |
| Definicion de un identificador de evento.
|
|
| type EventDataBase = IORef (Map String EventEntry, Int) |
|
| Constructores
|
|
| eventNewDB :: IO EventDataBase |
| Crea una nueva base de datos de eventos vacia.
|
|
| eventNew :: String -> IO () -> Event |
| Crea un nuevo evento, dado un nombre de evento y una acción.
|
|
| eventNameNew :: String -> EventName |
| Crea un nuevo nombre de evento para ser empleado en las peticiones de
ejecucion de eventos.
|
|
| eventInsert :: EventDataBase -> Event -> IO EventId |
| Dada una base de datos de comportamientos de eventos y un evento, añade
este ultimo a la base de datos. Ademas devuelve un identificador de evento
el cual es requerido a la hora de desuscribir el evento del administrador.
|
|
| eventExec :: EventDataBase -> EventName -> IO () |
| Dada una base de datos de eventos y el nombre de un evento, se solicita
al administrador de eventos la ejecucion de la accion asociada con dicho
evento.
|
|
| eventExecWithName :: EventDataBase -> String -> IO () |
| Dada una base de datos de eventos y el nombre de un evento (dado por la
secuencia de caracteres que lo identifica, y no su eventName), se solicita
al administrador de eventos la ejecucion de la accion asociada con dicho
evento.
|
|
| eventRemove :: EventDataBase -> EventId -> IO () |
| Dada una base de datos de eventos y un identificador de eventos (obtenido
al momento de agregar el evento a la base de datos), desuscribe dicho
evento.
|
|
| Produced by Haddock version 0.8 |
