|
GUIExpr | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion de la representacion grafica de una expresion
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type XExpression = EventBox |
Definicion de la representacion grafica de una expresion.
|
|
Constructores
|
|
newExprDraw :: Map Sort Markup -> Expr -> IO XExpression |
Dada una expresion, devuelve un label con la representacion grafica que la
identifica.
|
|
Metodos
|
|
drawExpr :: Map Sort Markup -> Expr -> Markup |
Dada una expresion, devuelve una secuencia de caracteres que representa
graficamente a dicha expresion.
|
|
drawId :: Id -> Markup |
Dado un identificador, devuelve una secuencia de caracteres que representa
graficamente a dicho identificador.
|
|
drawGenId :: GenId -> Markup |
Dado un identificador generalizado, devuleve una secuencia de caracteres
que representa graficamente a dicho identificador.
|
|
drawIntAssign :: Map Sort Markup -> SubstT Integer -> Markup |
Dado un mapeo de Sorts a simbolos y una sustitucion de incognitas por
expresiones, retorna la representacion grafica de dichas sustituciones.
|
|
asciiIntAssign :: SubstT Integer -> String |
Dada una sustitucion de incognitas por expresiones, retorna la
representacion de dichas sustituciones como una secuencia de caracteres.
|
|
symFont :: [SpanAttribute] |
Definicion de los atributos de la fuente usada para la representacion de
los simbolos.
|
|
contFont :: [SpanAttribute] |
Definicion de los atributos de la fuente usada para los elementos
generales.
|
|
newSubstDraw :: Map Sort Markup -> SubstT Integer -> IO XSubstitution |
Dado un mapeo de Sorts a simbolos y una sustitucion de incognitas por
expresiones, retorna una nueva representacion grafica de la sustitucion.
|
|
Produced by Haddock version 0.8 |