ContentsIndex
GUIDialogs
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Mensajes de informacion
Mensajes de error
Mensajes de interrogacion
Description
Definicion del modulo de dialogos y mensajes de error e informacion.
Synopsis
errorDlg :: WindowClass parent => parent -> String -> IO ()
questDlg :: WindowClass parent => parent -> String -> IO a -> IO a -> IO a
infoNoConstrMsg :: String
infoConstrMsg :: String
errOpenFormatMsg :: FilePath -> String -> String
errOpenBadDerivationMsg :: FilePath -> String
errPTSFormatMsg :: FilePath -> String
errConstrFailMsg :: FilePath -> String
errSortDefMsg :: Sort -> String
errSortSymMsg :: String
errSortNameMsg :: String
errAxiomNameMsg :: String
errBadFormedAxiomMsg :: String
errRuleNameMsg :: String
errBadFormedRuleMsg :: String
errBadFormedPTSMsg :: String
errSortInUseMsg :: Sort -> String
errNoPTSOrDerMsg :: String
errNoPTSOrDerToSaveMsg :: String
errNoPTSOrDerForDelMsg :: String
errNoStateToSaveMsg :: String
errUnkIdFormatMsg :: String -> String
errBadFormedContextMsg :: String -> String
errBadFormedExprMsg :: String -> String
errBadFormedJudgeMsg :: String -> String
errNoDefSortsMsg :: [Sort] -> String
errUnsatisfiedConstrMsg :: Integer -> Markup -> String
errNoDerSelectedMsg :: String
errNoRuleSelectedMsg :: String
errImpossibleAppMsg :: String
errNoRebuildDerMsg :: String
errImpossibleDelMsg :: String
qstDelPtsElemMsg :: String -> String
qstReplacePTSMsg :: String
qstReplaceDerMsg :: String
qstDerExistsMsg :: String -> String
qstDelJudgementMsg :: String -> String
Tipos
Constructores
Metodos
errorDlg :: WindowClass parent => parent -> String -> IO ()
Crea una nueva ventana de dialogo de error. Para ello recibe la ventana padre del cuadro de dialogo y el mensaje que va a ser mostrado en el mismo.
questDlg :: WindowClass parent => parent -> String -> IO a -> IO a -> IO a
Crea una nueva ventana de dialogo para efectuar una consulta. Para ello recibe como argumento la ventana padre del cuadro de dialogo, el mensaje que se mostrara en el cuadro de dialogo y las acciones que se deben tomar en caso de que se responda por si o por no, respectivamente.
Mensajes de informacion
infoNoConstrMsg :: String
infoConstrMsg :: String
Mensajes de error
errOpenFormatMsg :: FilePath -> String -> String
Dado el camino hacia un archivo y un mensaje de errror, genera un mensaje de error que describe mejor el problema usando la informacion que se recibio como argumento.
errOpenBadDerivationMsg :: FilePath -> String
errPTSFormatMsg :: FilePath -> String
errConstrFailMsg :: FilePath -> String
errSortDefMsg :: Sort -> String
errSortSymMsg :: String
errSortNameMsg :: String
errAxiomNameMsg :: String
errBadFormedAxiomMsg :: String
errRuleNameMsg :: String
errBadFormedRuleMsg :: String
errBadFormedPTSMsg :: String
errSortInUseMsg :: Sort -> String
errNoPTSOrDerMsg :: String
errNoPTSOrDerToSaveMsg :: String
errNoPTSOrDerForDelMsg :: String
errNoStateToSaveMsg :: String
errUnkIdFormatMsg :: String -> String
errBadFormedContextMsg :: String -> String
errBadFormedExprMsg :: String -> String
errBadFormedJudgeMsg :: String -> String
errNoDefSortsMsg :: [Sort] -> String
errUnsatisfiedConstrMsg :: Integer -> Markup -> String
errNoDerSelectedMsg :: String
errNoRuleSelectedMsg :: String
errImpossibleAppMsg :: String
errNoRebuildDerMsg :: String
errImpossibleDelMsg :: String
Mensajes de interrogacion
qstDelPtsElemMsg :: String -> String
qstReplacePTSMsg :: String
qstReplaceDerMsg :: String
qstDerExistsMsg :: String -> String
qstDelJudgementMsg :: String -> String
Produced by Haddock version 0.8