ContentsIndex
GUIJudgement
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion de la representacion grafica de un juicio.
Synopsis
type XJudgement = EventBox
type XJudgeId = [Int]
newJudgeDraw :: Map Sort Markup -> Judgement -> XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> IO XJudgement
newXJudge :: Bool -> Map Sort Markup -> Judgement -> IO XJudgement
drawJudge :: Map Sort Markup -> Judgement -> Markup
xJudgeChars :: XJudgement -> IO Int
xJudgeGetText :: XJudgement -> IO String
xJudgeSetText :: XJudgement -> String -> IO ()
highLightXJudge :: XJudgement -> IO ()
lowLightXJudge :: XJudgement -> IO ()
judgeAction :: XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> Event -> IO Bool
Tipos
type XJudgement = EventBox
Definicion del tipo grafico de un juicio.
type XJudgeId = [Int]
Identifica a un juicio dentro de la representacion grafica de una derivacion.
Constructores
newJudgeDraw :: Map Sort Markup -> Judgement -> XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> IO XJudgement
Dado un juicio, devuelve una nueva representacion grafica del mismo, con sus eventos de seleccion establecidos y almacenados en el estado de la aplicacion y el administrador de eventos.
newXJudge :: Bool -> Map Sort Markup -> Judgement -> IO XJudgement
Dado un juicio, devuelve solo la representacion grafica del mismo.
Metodos
drawJudge :: Map Sort Markup -> Judgement -> Markup
Dado un juicio, devuelve la codificacion de caracteres que lo representa graficamente.
xJudgeChars :: XJudgement -> IO Int
Dada una representacion grafica de un juicio, devuelve la cantidad de caracteres que la componen.
xJudgeGetText :: XJudgement -> IO String
Dada la representacion grafica de un juicio, devuelve la codificacion como markup que genera la representacion del mismo.
xJudgeSetText :: XJudgement -> String -> IO ()
Dada la representacion grafica de un juicio, carga como nueva representacion del mismo la informacion dada a traves del texto que se recibe como argumento.
highLightXJudge :: XJudgement -> IO ()
Dada la representacion grafica de un juicio, reescribe el codigo del mismo para que la representacion aparezca resaltada.
lowLightXJudge :: XJudgement -> IO ()
Dada la representacion grafica de un juicio que se encuentra resaltado, le quita el resalte al mismo.
judgeAction :: XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> Event -> IO Bool
Define las acciones a ser tomadas cuando se selecciona un juicio de la representacion grafica de una derivacion.
Produced by Haddock version 0.8