Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.ParseProofScript

Description

 

Documentation

data WhiteWord

Constructors

WhiteWord 

Fields

leading :: String

leading white space

word :: String
 

data LitCommand

Constructors

LitCommand 

Fields

commandWW :: WhiteWord
 
argumentWW :: Maybe WhiteWord
 
trailing :: String

trailing white space

command :: CmdlCmdDescription
 

parseLine :: [CmdlCmdDescription] -> FilePath -> Int -> Parser LitCommand

parseArgument :: Parser (String, String)

parseCommand :: [String] -> Parser String

parseSingleLine :: FilePath -> Int -> String -> Either String LitCommand