| 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
Synopsis
- 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]) Source #
getCurrentSublogic :: IntIState -> Maybe G_sublogics Source #
parseSublogics :: String -> Maybe G_sublogics Source #
getInputDGNodes :: String -> IntIState -> (String, [LNode DGNodeLab]) Source #
getInputNodes :: String -> IntIState -> (String, [Node]) Source #
baseChannels :: [CmdlChannel] Source #
Generates the base channels to be used (stdin and stdout)
genErrorMsg :: String -> CmdlState -> CmdlState Source #
genMessage :: String -> String -> CmdlState -> CmdlState Source #
genAddMessage :: String -> String -> CmdlState -> CmdlState Source #
generatePrompter :: CmdlState -> String Source #
Generates the string containing the prompter
getIdComorphism :: [Int_NodeInfo] -> Maybe AnyComorphism Source #
Given a list of selected theory generate an Id comorphism to the first selected theory
resetErrorCode :: CmdlState -> CmdlState Source #
genMsgAndCode :: String -> Int -> CmdlState -> CmdlState Source #
getExitCode :: CmdlState -> ExitCode Source #
getExitCodeInt :: CmdlState -> Int Source #