|
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 |