CSPM-Frontend-0.2.10.2: A CSP-M parser compatible with FDR-2.83

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

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 LModuleSource

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