|
| Assistant.AState | | Portability | portable (depende de GHC - GTK2HS) | | Stability | Version de juguete. |
|
|
|
|
|
| Description |
| Definicion del estado del asistente de derivaciones
|
|
| Synopsis |
|
|
|
|
| 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 |
