| Copyright | uni-bremen and DFKI |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | r.pascanu@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CMDL.DataTypesUtils
Description
CMDL.Utils contains different basic functions that are used throughout the CMDL interface and could not be found in Prelude
- getSelectedDGNodes :: IntIState -> (String, [LNode DGNodeLab])
- getCurrentSublogic :: IntIState -> Maybe G_sublogics
- parseSublogics :: String -> Maybe G_sublogics
- getInputDGNodes :: String -> IntIState -> (String, [LNode DGNodeLab])
- getInputNodes :: String -> IntIState -> (String, [Node])
- getTh :: CmdlUseTranslation -> Int -> CmdlState -> Maybe G_theory
- baseChannels :: [CmdlChannel]
- genErrorMsg :: String -> CmdlState -> CmdlState
- genMessage :: String -> String -> CmdlState -> CmdlState
- genAddMessage :: String -> String -> CmdlState -> CmdlState
- generatePrompter :: CmdlState -> String
- add2hist :: [UndoRedoElem] -> CmdlState -> CmdlState
- getIdComorphism :: [Int_NodeInfo] -> Maybe AnyComorphism
- resetErrorCode :: CmdlState -> CmdlState
- genMsgAndCode :: String -> Int -> CmdlState -> CmdlState
- getExitCode :: CmdlState -> ExitCode
- getExitCodeInt :: CmdlState -> Int
Documentation
getSelectedDGNodes :: IntIState -> (String, [LNode DGNodeLab])
parseSublogics :: String -> Maybe G_sublogics
getInputNodes :: String -> IntIState -> (String, [Node])
baseChannels :: [CmdlChannel]
Generates the base channels to be used (stdin and stdout)
genErrorMsg :: String -> CmdlState -> CmdlState
genMessage :: String -> String -> CmdlState -> CmdlState
genAddMessage :: String -> String -> CmdlState -> CmdlState
generatePrompter :: CmdlState -> String
Generates the string containing the prompter
add2hist :: [UndoRedoElem] -> CmdlState -> CmdlState
getIdComorphism :: [Int_NodeInfo] -> Maybe AnyComorphism
Given a list of selected theory generate an Id comorphism to the first selected theory
resetErrorCode :: CmdlState -> CmdlState
genMsgAndCode :: String -> Int -> CmdlState -> CmdlState
getExitCode :: CmdlState -> ExitCode
getExitCodeInt :: CmdlState -> Int