ContentsIndex
Assistant.AState
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion del estado del asistente de derivaciones
Synopsis
type AState = (Maybe PTS, Maybe Derivation, Maybe Judgement, Maybe Pos)
aStateNew :: AState
aStateSetBasic :: Maybe PTS -> Maybe Derivation -> AState
aStateGetPTS :: AState -> Maybe PTS
aStateGetDer :: AState -> Maybe Derivation
aStateGetJudge :: AState -> Maybe Judgement
aStateGetPos :: AState -> Maybe Pos
aStateGetActualJudge :: AState -> (Maybe Judgement, Bool)
aStateSetPTS :: AState -> Maybe PTS -> AState
aStateSetDer :: AState -> Maybe Derivation -> AState
aStateSetJudge :: AState -> Maybe Judgement -> AState
aStateSetPos :: AState -> Maybe Pos -> AState
aStateClearPos :: AState -> AState
aStateGetDerTree :: AState -> Maybe DerivationTree
Tipos
type AState = (Maybe PTS, Maybe Derivation, Maybe Judgement, Maybe Pos)
Definicion de la informacion que se almacena para cada una de las derivaciones. Esto incluye la especificacion del PTS usado, la derivacion actual, el juicio que se encontrase actualmente seleccionado y la posicion del mismo dentro de todo el arbol de derivaciones.
Constructores
aStateNew :: AState
Crea un nuevo estado del asistente.
Metodos
aStateSetBasic :: Maybe PTS -> Maybe Derivation -> AState
Dado un estado del asistente y una posible especificacion de PTS y derivacion, almacena los mismos en el estado, eliminado cualquier otra informacion que pudiera haber contenido el estado.
aStateGetPTS :: AState -> Maybe PTS
Dado un estado de derivacion, devuelve el PTS sobre el cual se esta trabajando en ese momento.
aStateGetDer :: AState -> Maybe Derivation
Dado un estado de derivacion, devuelve la derivacion sobre la cual se esta trabajando en ese momento.
aStateGetJudge :: AState -> Maybe Judgement
Dado un estado de derivacion, devuelve el juicio sobre el cual se esta trabajando en ese momento.
aStateGetPos :: AState -> Maybe Pos
Dado un estado de derivacion, devuelve la posicion en la derivacion sobre la cual se esta trabajando en ese momento.
aStateGetActualJudge :: AState -> (Maybe Judgement, Bool)
Dado un estado de derivacion, devuelve el juicio que se encuentra actualmente seleccionado. Ademas retorna un booleano que indica si el juicio retornado es una hoja del arbol de derivaciones o no.
aStateSetPTS :: AState -> Maybe PTS -> AState
Dado un estado de derivacion y una posible especificacion de PTS, la almacena como la especificacion sobre la cual se esta trabajando. El resto de la informacion del estado es eliminada.
aStateSetDer :: AState -> Maybe Derivation -> AState
Dado un estado de derivacion y una posible derivacion, la almacena como la derivacion sobre la cual se esta trabajando en ese momento. La referencia al juicio, derivacion y posicion actual son limpiadas.
aStateSetJudge :: AState -> Maybe Judgement -> AState
Dado un estado de derivacion y un posible juicio, lo almacena como el juicio sobre el cual se esta trabajando en ese momento. La informacion referida a la expresion actual es descartada.
aStateSetPos :: AState -> Maybe Pos -> AState
Dado un estado de derivacion y una posible posicion, la almacena como la posicion de la derivacion sobre la cual se esta trabajando en ese momento. La informacion referida al juicio y la expresion actual es descartada.
aStateClearPos :: AState -> AState
Dado un estado de derivacion, limpia la informacion que contiene referida a la posicion en la derivacion sobre la cual se estaba trabajando.
aStateGetDerTree :: AState -> Maybe DerivationTree
Dado el estado de la aplicacion, devuelve el arbol de juicios que almacena en ese momento.
Produced by Haddock version 0.8