|
GUIPTSSpecification | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion de la representacion grafica de la especificacion de un PTS
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type XPTS = EventBox |
Definicion de la representacion grafica de un PTS
|
|
type XSortSym = EventBox |
Definicion de un simbolo integrante de la representacion grafica de un
sort.
|
|
Constructores
|
|
sortStateNew :: IO SortDrawState |
Define el estado en el que ningun simbolo ha sido seleccionado.
|
|
sortDrawList :: [Int] |
Lista de simbolos para ser utilizados en la representacion de un sort.
|
|
sortDrawNew :: EventDataBase -> SortDrawState -> Int -> IO XSortSym |
Dado un valor que representa un simbolo de UNICODE, retorna un simbolo para
ser empleado en la representacion de un sort que se corresponde con dicho
valor.
|
|
sortStateGetSymbol :: SortDrawState -> IO (Maybe Int) |
Dado un estado de simbolo para sort, retorna el valor numerico del mismo
si es que uno ha sido seleccionado.
|
|
Metodos
|
|
highLightSortSym :: String -> Markup |
Dado un escrito, devuelve el codigo de markup que lo resalta
graficamente.
|
|
lowLightSortSym :: String -> Markup |
Dado un escrito, devuelve el codigo de markup que le quita el
resaltado, si es que este lo tenia.
|
|
Produced by Haddock version 0.8 |