ContentsIndex
GUIExpr
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion de la representacion grafica de una expresion
Synopsis
type XExpression = EventBox
newExprDraw :: Map Sort Markup -> Expr -> IO XExpression
drawExpr :: Map Sort Markup -> Expr -> Markup
drawId :: Id -> Markup
drawGenId :: GenId -> Markup
drawIntAssign :: Map Sort Markup -> SubstT Integer -> Markup
asciiIntAssign :: SubstT Integer -> String
symFont :: [SpanAttribute]
contFont :: [SpanAttribute]
newSubstDraw :: Map Sort Markup -> SubstT Integer -> IO XSubstitution
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