|
| 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 |
