ContentsIndex
IOExpr
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion del modulo de entrada y salida de expresiones.
Synopsis
parserExpr :: String -> ParserState -> Either ParseError (Expr, ParserState)
parseId :: AssistantParser Id
parseGenId :: AssistantParser GenId
parseExpr :: AssistantParser Expr
parseInt :: String -> Either ParseError Integer
parseWord :: String -> AssistantParser String
parseVar :: AssistantParser Expr
writeId :: Id -> String
writeGenId :: GenId -> String
writeExpr :: Expr -> String
writeLatexExpr :: Map Sort String -> Expr -> String
writeLatexId :: Id -> String
writeLatexGenId :: GenId -> String
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