CSPM-Frontend-0.9.2.0: A CSP-M parser compatible with FDR-2.91

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellNone

Language.CSPM.Utils

Description

Some Utilities

Synopsis

Documentation

eitherToExc :: Exception a => Either a b -> IO bSource

eitherToExe returns the Right part of Either or throws the Left part as an dynamic exception.

handleLexError :: (LexError -> IO a) -> IO a -> IO aSource

Handle a dymanic exception of type LexError.

handleParseError :: (ParseError -> IO a) -> IO a -> IO aSource

Handle a dymanic exception of type ParseError.

handleRenameError :: (RenameError -> IO a) -> IO a -> IO aSource

Handle a dymanic exception of type RenameError.

parseFile :: FilePath -> IO ModuleFromParserSource

Lex and parse a file and return a LModule, throw an exception in case of an error

benchmarkFrontend :: FilePath -> IO (ModuleFromParser, ModuleFromRenaming)Source

Lex and parse File. | Return the module and print some timing infos

parseString :: String -> IO ModuleFromParserSource

Small test function which just parses a String.