Contents Index

GUIPTSSpecification Portability portable (depende de GHC - GTK2HS) Stability Version 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