ContentsIndex
GUIPTSSpecification
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion de la representacion grafica de la especificacion de un PTS
Synopsis
type XPTS = EventBox
type XSortSym = EventBox
sortStateNew :: IO SortDrawState
sortDrawList :: [Int]
sortDrawNew :: EventDataBase -> SortDrawState -> Int -> IO XSortSym
sortStateGetSymbol :: SortDrawState -> IO (Maybe Int)
highLightSortSym :: String -> Markup
lowLightSortSym :: String -> Markup
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