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 Source #

Constructors

WhiteWord 

Fields

data LitCommand Source #

Constructors

LitCommand 

Fields

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

parseArgument :: Parser (String, String) Source #

parseCommand :: [String] -> Parser String Source #

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