ContentsIndex
IOPTS
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion del modulo de entrada y salida de especificaciones de PTS.
Synopsis
data SymFormat
= SymCode
| SymDraw
type PTSParseInfo = (String, [(Sort, String)], [(Sort, Sort)], [(Sort, Sort, Sort)])
parserSortSym :: String -> Either ParseError String
parserSortMarkup :: SymFormat -> String -> Either ParseError String
parsePTSName :: AssistantParser String
parseSort :: AssistantParser (Sort, String)
parseAxiom :: AssistantParser (Sort, Sort)
parseRule :: AssistantParser (Sort, Sort, Sort)
parserPTSFile :: String -> IO (Either ParseError PTSParseInfo)
writePTSInfo :: String -> [(Sort, Markup)] -> [(Sort, Sort)] -> [(Sort, Sort, Sort)] -> String
writeLatexPTS :: PTS -> Map Sort String -> String
writeLatexSort :: Map Sort String -> Sort -> String
Tipos
data SymFormat
Definen los distintos tipos de formato en que se puede solicitar el simbolo de un sort. Esto es como codigo numeral identificatorio del simbolo unicode o una secuencia de markup que lo identifica.
Constructors
SymCode
SymDraw
show/hide Instances
type PTSParseInfo = (String, [(Sort, String)], [(Sort, Sort)], [(Sort, Sort, Sort)])
Define el tipo que identifica la informacion relacionada a un PTS que ha sido parseado.
Constructores
Metodos
parserSortSym :: String -> Either ParseError String
Dada una cadena de caracteres, efectua el parseo de la misma en busqueda de simbolos que represente un Sort.
parserSortMarkup :: SymFormat -> String -> Either ParseError String
Efectua el parseo de un simbolo de markup. Para ello recibe como argumento el formato en el cual se parseara el simbolo y la cadena de caracteres en la cual se efectuara el parseo. Se retorna Right y la cadena de caracteres parseada como el simbolo del sort. En caso contrario, se retorna Left acompañado del correspondiente valor de error.
parsePTSName :: AssistantParser String
Efectua el parseo del nombre de un PTS, de acuerdo al formato para la escritura de especificaciones de PTS.
parseSort :: AssistantParser (Sort, String)
Efectua el parseo de un par que denota al sort y al simbolo que lo representa, a partir de una especificacion para un PTS.
parseAxiom :: AssistantParser (Sort, Sort)
Efectua el parseo de un axioma de la especificacion de un PTS.
parseRule :: AssistantParser (Sort, Sort, Sort)
Efectua el parseo de una regla de la especificacion de un PTS.
parserPTSFile :: String -> IO (Either ParseError PTSParseInfo)
Efectua el parseo de una especificacion de PTS a partir de una cadena de caracteres dada. Si el parseo es posible, se retorna Right con la informacion del PTS. En caso contrario, se retorna Left acompañado de un valor de error pertinente.
writePTSInfo :: String -> [(Sort, Markup)] -> [(Sort, Sort)] -> [(Sort, Sort, Sort)] -> String
Dada la ubicacion de un archivo junto al nombre, lista de sorts con simbolos, lista de axiomas y lista de reglas que conforma un PTS, graba dicha informacion en el archivo.
writeLatexPTS :: PTS -> Map Sort String -> String
Dada la especificacion de un PTS, retorna la cadena de caractres que lo describe, de acuerdo al formato de Latex.
writeLatexSort :: Map Sort String -> Sort -> String
Dado un mapeo de nombres de sorts a simbolos que lo identifican y un sort, retorna la lista de caracteres que identifica a dicho sort segun la sintaxis de Latex. Si el sort se encuentra compuesto por algun caracter para el cual no se encuentra disponible un caracter unicode, entonces se retorna el nombre mismo del sort.
Produced by Haddock version 0.8