ContentsIndex
GUIState
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion del estado global de la aplicacion.
Synopsis
type GUIState = IORef GUIDefState
stateNew :: IO GUIState
stateGetDerName :: GUIState -> IO (Maybe String)
stateGetSortSym :: GUIState -> Sort -> IO Markup
stateGetSortMap :: GUIState -> IO (Map Sort Markup)
stateGetXDer :: GUIState -> IO (Maybe XDerivation)
stateGetAState :: GUIState -> IO AState
stateGetDerTree :: GUIState -> IO (Maybe DerivationTree)
stateGetGenInfo :: GUIState -> Rule -> IO (Maybe GSolsGen)
stateGetLastRule :: GUIState -> IO (Maybe Rule)
stateGetWorkSize :: GUIState -> IO (Int, Int)
stateGetDerCount :: GUIState -> IO Int
stateIsDerDefined :: GUIState -> String -> IO Bool
stateAppToAState :: GUIState -> (AState -> a) -> IO a
stateModifyAState :: GUIState -> (AState -> AState) -> IO ()
stateSetDerName :: GUIState -> Maybe String -> IO ()
stateSetXDer :: GUIState -> Maybe XDerivation -> IO ()
stateSetDerTree :: GUIState -> Maybe DerivationTree -> IO ()
stateSetWorkSize :: GUIState -> (Int, Int) -> IO ()
stateAddSortSym :: GUIState -> Sort -> Markup -> IO ()
stateAddGenInfo :: GUIState -> Rule -> GSolsGen -> IO ()
stateDelDerInfo :: GUIState -> String -> IO ()
stateClsSortSym :: GUIState -> IO ()
stateClsGenInfo :: GUIState -> IO ()
stateIsRuleDef :: GUIState -> Rule -> IO Bool
stateAskXJudge :: GUIState -> XJudgeId -> IO (Maybe XJudgement)
stateCanUndo :: GUIState -> IO Bool
stateCanRedo :: GUIState -> IO Bool
stateUndo :: GUIState -> IO ()
stateRedo :: GUIState -> IO ()
stateSave :: GUIState -> IO ()
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