ContentsIndex
Assistant.Context
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Define la estructura y funcionalidades de un contexto
Synopsis
type Context = [(GenId, Expr)]
emptyCtx :: Context
contextToStr :: Context -> String
contextIsEmpty :: Context -> Bool
contextAdd :: Context -> (GenId, Expr) -> Maybe Context
contextIsLast :: Context -> (GenId, Expr) -> Bool
contextGetLast :: Context -> (Context, Maybe (GenId, Expr))
contextLookup :: Context -> GenId -> Maybe Expr
contextSplit :: Context -> GenId -> (Context, Context)
contextAppend :: Context -> Context -> Maybe Context
contextElem :: (GenId, Expr) -> Context -> Bool
contextIn :: Context -> Context -> Bool
contextHasUnknown :: Context -> Bool
contextDom :: Context -> [GenId]
contextInDom :: GenId -> Context -> Bool
contextUnkIds :: Context -> [Integer]
contextUnnVars :: Context -> [Integer]
contextGenVars :: Context -> [Integer]
contextIsAllDef :: Context -> Bool
contextIsWellFormed :: Context -> Bool
Tipos
type Context = [(GenId, Expr)]
Definicion de un contexto como una sequencia de la forma: v1:E1, ..., vn:En
Constructores
emptyCtx :: Context
Retorna un contexto vacio
Metodos
contextToStr :: Context -> String
Devuelve la representacion de un contexto como una cadena de caracteres
contextIsEmpty :: Context -> Bool
Dado un contexto, determina si el mismo es o no vacio.
contextAdd :: Context -> (GenId, Expr) -> Maybe Context
Dado un contexto y un par (Identificador, Expresion), agrega dicho par al contexto que recibio como argumento. Si se pudo efectuar la operacion, se retorna el contexto con el nuevo mapeo añadido. En caso contrario se retorna Nothing.
contextIsLast :: Context -> (GenId, Expr) -> Bool
Dado un contexto y un par de (Identificador,Expresion), determina si dicho par es el ultimo elemento que se encuentra definido en el contexto que se recibio como argumento.
contextGetLast :: Context -> (Context, Maybe (GenId, Expr))
Dado un contexto no vacio, devuelve un par formado por el tramo inicial del contexto recibido como argumento (sin el ultimo elemento) y como segunda componente el par que contiene la informacion del ultimo elemento del contexto original (mapeo que puedo no existir si el contexto es vacio).
contextLookup :: Context -> GenId -> Maybe Expr
Dado un contexto y un identificador, busca la expresion asociada a ese identificador en el contexto recibido como argumento (la busqueda se efectua en sentido reverso).
contextSplit :: Context -> GenId -> (Context, Context)
Dado un contexto y un identificador, devuelve el tramo final y el tramo inicial, tomando como pivote el identificador dado. Si el mismo no ocurre en el contexto, entonces todo el contexto es retornado como tramo inicial.
contextAppend :: Context -> Context -> Maybe Context
Dados dos contextos, devuelve el contexto que resulta de la concatenacion de estos.
contextElem :: (GenId, Expr) -> Context -> Bool
Dado un par de identificador y expresion, determina si dicho par se encuentra definido en el contexto que se recibe como argumento.
contextIn :: Context -> Context -> Bool
Dados dos contextos, determina si el primero se encuentra contenido en el segundo.
contextHasUnknown :: Context -> Bool
Dado un contexto, determina si este contiene expresiones que no esten completamente definidas.
contextDom :: Context -> [GenId]
Dado un contexto, devuelve el dominio del mismo. Es decir, el conjunto de variables que lo componen.
contextInDom :: GenId -> Context -> Bool
Dada un contexto y un identificador, determina si dicho identificador se encuentra definido en el dominio del contexto que se recibio como argumento
contextUnkIds :: Context -> [Integer]
Dado un contexto, retorna la lista de identificadores de incognitas que ocurren en las expresiones del contexto.
contextUnnVars :: Context -> [Integer]
Dado un contexto, retorna la lista de identificadores de variables sin nombre que ocurren en el contexto que se recibio como argumento.
contextGenVars :: Context -> [Integer]
Dado un contexto, retorna la lista de indentificadores de variables generadas por el sistema que ocurren en el contexto que se recibio como argumento.
contextIsAllDef :: Context -> Bool
Dado un contexto, determina si el mismo ya no contiene incognitas.
contextIsWellFormed :: Context -> Bool
Dado un contexto, verifica que las definiciones que se encuentran almacenadas en el contexto satisfagan las condiciones establecidas por las propiedades de un PTS.
Produced by Haddock version 0.8