|
IOExpr | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion del modulo de entrada y salida de expresiones.
|
|
Synopsis |
|
|
|
|
Tipos
|
|
Constructores
|
|
Metodos
|
|
parserExpr :: String -> ParserState -> Either ParseError (Expr, ParserState) |
Efectua el parseo de una expresion, de acuerdo a una cadena de caracteres
que recibe como argumento. Si la cadena puede ser parseada como una
expresion valida, entonces se retorna Right Expr, en caso contrario
se retorna Left acompañado de un valor de error pertinente. Tambien
recibe como argumento el estado inicial del parseador.
|
|
parseId :: AssistantParser Id |
Efectua el parseo de un identificador.
|
|
parseGenId :: AssistantParser GenId |
Efectua el parseo de un identificador generico.
|
|
parseExpr :: AssistantParser Expr |
Efectua el parseo de una expresion de la forma t->e equivalente a una
expresion (PI _ t e)
|
|
parseInt :: String -> Either ParseError Integer |
Efectua el parseo de un posible valor entero. Para ello analiza la cadena
de caracteres que se recibe como argumento. Si este representa un numero
entero valido, entonces se retorna Right acompañado de dicho valor. En
caso contrario, se retorna Left acompañado del valor de error pertinente.
|
|
parseWord :: String -> AssistantParser String |
Dada una cadena de caracteres, intenta parsear una cadena de caracteres
similar, con la salvedad de que no tiene en consideracion las mayusculas y
minisculas. Como valor de retorno, se devuelve la secuencia de caracteres
que se encontro al efectuar el parseo.
|
|
parseVar :: AssistantParser Expr |
Efectua el parseo de una variable.
|
|
writeId :: Id -> String |
Dado un identificador, retorna la cadena de caracteres que lo representa,
de manera tal que dicha cadena puede ser luego reinterpretada por el parser
de identificadores, para obtener asi nuevamente el identificador original.
|
|
writeGenId :: GenId -> String |
Dado un identificador generico, retorna la cadena de caracteres que lo
representa, de manera tal que dicha cadena pueda luego ser reinterpretada
por el parser de identificadores genericos, para obtener asi nuevamente el
identificador original.
|
|
writeExpr :: Expr -> String |
Dada una expresion, retorna la cadena de caracteres que representa a dicha
expresion y la cual puede ser luego interpretada por el parseador de
expresiones que se encuentra definido en este mismo modulo.
|
|
writeLatexExpr :: Map Sort String -> Expr -> String |
Dado un mapeo de sorts a simbolos que los representa y una expresion,
retorna el codigo LaTex que representa a dicha expresion.
|
|
writeLatexId :: Id -> String |
Dado un identificador, retorna su representacion como codigo LaTex.
|
|
writeLatexGenId :: GenId -> String |
Dado un identificador generico, retorna su representacion como codigo
LaTex.
|
|
Produced by Haddock version 0.8 |