|
GUIState | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion del estado global de la aplicacion.
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type GUIState = IORef GUIDefState |
Definicion del estado monadico de la aplicacion.
|
|
Constructores
|
|
stateNew :: IO GUIState |
Estado inicial de la aplicacion.
|
|
Metodos
|
|
stateGetDerName :: GUIState -> IO (Maybe String) |
Dado el estado de la aplicacion, retorna el nombre de la derivacion que se
esta manipulando en ese momento.
|
|
stateGetSortSym :: GUIState -> Sort -> IO Markup |
Dado un estado de la aplicacion y un sort, retorna el simbolo que
representa a dicho Sort, de acuerdo al PTS que se encuentre en ese
momento cargado.
|
|
stateGetSortMap :: GUIState -> IO (Map Sort Markup) |
Dado un estado de la aplicacion, retorna el mapeo de Sorts a simbolos que
se encuentra almacenado en dicho estado.
|
|
stateGetXDer :: GUIState -> IO (Maybe XDerivation) |
Dado el estado de la aplicacion, devuelve la representacion de la
derivacion, si es que hay una representacion almacenada en el estado.
|
|
stateGetAState :: GUIState -> IO AState |
Dado el estado de la aplicacion, devuelve el estado del asistente
relacionado con la derivacion con la cual se esta trabajando en ese
momento.
|
|
stateGetDerTree :: GUIState -> IO (Maybe DerivationTree) |
Dado el estado de la aplicacion, devuelve la derivacion temporal que
se encuentra almacenada.
|
|
stateGetGenInfo :: GUIState -> Rule -> IO (Maybe GSolsGen) |
Dado el estado de la aplicacion y una regla, consulta cual es el valor
de la solucion a partir de una generacion para dicha regla. Si no hay
ningun valor disponible, se retorna Nothing.
|
|
stateGetLastRule :: GUIState -> IO (Maybe Rule) |
Dado el estado de la aplicacion, devuelve la ultima regla a la cual se le
consultaron las premisas y restricciones necesarios para poder ser
aplicable al juicio actual.
|
|
stateGetWorkSize :: GUIState -> IO (Int, Int) |
Dado el estado de la aplicacion, devuelve el tamaño de la region de trabajo
principal, en la que las derivaciones son manejadas.
|
|
stateGetDerCount :: GUIState -> IO Int |
Dado el estado de la aplicacion, retorna la cantidad de derivaciones que
aun se encuentran almecenadas en dicho estado.
|
|
stateIsDerDefined :: GUIState -> String -> IO Bool |
Dado el estado de la aplicacion y un nombre de derivacion, determina si en
el estado se encuentra almacenada una derivacion que ya contenga ese
nombre.
|
|
stateAppToAState :: GUIState -> (AState -> a) -> IO a |
Dado el estado de la aplicacion y una funcion aplicable al estado del
asistente, retorna el valor de la funcion aplicada al estado del asistente
para la derivacion sobre la cual se este trabajando en ese momento.
|
|
stateModifyAState :: GUIState -> (AState -> AState) -> IO () |
Dado el estado de la aplicacion y una funcion que modifica a un estado del
asistente, aplica dicha funcion modificadora sobre el estado del asistente
para la derivacion sobre la cual se esta trabajando en ese momento.
|
|
stateSetDerName :: GUIState -> Maybe String -> IO () |
Dado el estado de la aplicacion y un posible nombre de derivacion,
establece dicha derivacion como la actual para ese estado. Esto implica que
todo cambio efectuado sobre el estado a partir de ese momento se efectuaran
sobre dicha derivacion.
|
|
stateSetXDer :: GUIState -> Maybe XDerivation -> IO () |
Dado el estado de la aplicacion y una representacion grafica de una
derivacion, almacena esta representacion en el estado.
|
|
stateSetDerTree :: GUIState -> Maybe DerivationTree -> IO () |
Dado el estado de la aplicacion y un posile arbol de derivacion, almacena
el mismo como el arbol de derivaciones temporal que se esta empleando.
|
|
stateSetWorkSize :: GUIState -> (Int, Int) -> IO () |
Dado el estado de la aplicacion y un par que denota las dimensiones del
area de trabajo principal sobre las derivaciones, almacena este valor como
la nueva dimension del area de trabajo.
|
|
stateAddSortSym :: GUIState -> Sort -> Markup -> IO () |
Dado el estado de la aplicacion, un nombre de sort y un simbolo de
Markup, se añade el mismo como el simbolo que representará al sort
en la actual derivacion.
|
|
stateAddGenInfo :: GUIState -> Rule -> GSolsGen -> IO () |
Dado el estado de la aplicacion, un nombre de sort y un simbolo de
Markup, se añade el mismo como el simbolo que representará al sort
en la actual derivacion.
|
|
stateDelDerInfo :: GUIState -> String -> IO () |
Dado el estado de la aplicacion y un nombre de derivacion, elimina del
estado toda la informacion relativa a dicha derivacion. Si dicha derivacion
se encontraba seleccionada en ese instante, la seleccion de la nueva
derivacion pasa a estar vacia.
|
|
stateClsSortSym :: GUIState -> IO () |
Dado el estado de la aplicacion, elimina de la misma toda la informacion
referida a los simbolos de sorts que se estan usando en ese momento.
|
|
stateClsGenInfo :: GUIState -> IO () |
Dado el estado de la aplicacion, elimina de la misma toda la informacion
referida a las posibles soluciones de generacion para las reglas de
derivacion.
|
|
stateIsRuleDef :: GUIState -> Rule -> IO Bool |
Dado el estado de la aplicacion y una regla, verifica si dicha regla se
encuentra registrada con una posible solucion a traves de la generacion de
premisas para un juicio dado.
|
|
stateAskXJudge :: GUIState -> XJudgeId -> IO (Maybe XJudgement) |
Dado un estado de la aplicacion y una posicion, devuelve la representacion
grafica del juicio que se encuentra almacenado en esa posicion (de acuerdo
a la representacion grafica de la derivacion almacenada en el estado).
|
|
stateCanUndo :: GUIState -> IO Bool |
Dado un estado de la aplicacion, comunica si existe almacenado algun estado
posterior de la aplicacion al cual se pueda retornar.
|
|
stateCanRedo :: GUIState -> IO Bool |
Dado un estado de la aplicacion, comunica si existe almacenado algun estado
de la aplicacion desde el cual se haya retornado y hacia el cual se pueda
regresar.
|
|
stateUndo :: GUIState -> IO () |
Dado un estado de aplicacion, cambia el estado para que contenga la
informacion del ultimo estado anterior al actual. Retorna el estado de
derivacion que corresponde con el nuevo estado alcanzado.
|
|
stateRedo :: GUIState -> IO () |
Dado un estado de aplicacion, cambia el estado para que contenga la
informacion del ultimo estado posterior al actual. Retorna el estado de
derivacion que corresponde con el nuevo estado alcanzado.
|
|
stateSave :: GUIState -> IO () |
Dado un estado de aplicacion y un estado del asistente de derivacion,
almacena la informacion de los mismos para que se pueda deshacer la ultima
accion mas adelante.
|
|
Produced by Haddock version 0.8 |