Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt or LIZENZ.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.Commands

Description

CMDL.Commands contains the description of all commands available

Synopsis

Documentation

getCommands :: [CmdlCmdDescription]

Generates the list of all possible commands as command description

proveAll :: CmdlCmdDescription

cmdlIgnoreFunc :: String -> CmdlCmdDescription