Cabal- A framework for packaging Haskell software

Safe HaskellNone



A parse result type for parsers from AST to Haskell types.



data ParseResult a Source #

A monad with failure and accumulating errors and warnings.

Monad ParseResult Source # 
Instance details
Functor ParseResult Source # 
Instance details


fmap :: (a -> b) -> ParseResult a -> ParseResult b Source #

(<$) :: a -> ParseResult b -> ParseResult a Source #

Applicative ParseResult Source # 
Instance details

runParseResult :: ParseResult a -> ([PWarning], Either (Maybe Version, [PError]) a) Source #

Destruct a ParseResult into the emitted warnings and either a successful value or list of errors and possibly recovered a spec-version declaration.

recoverWith :: ParseResult a -> a -> ParseResult a Source #

Recover the parse result, so we can proceed parsing. runParseResult will still result in Nothing, if there are recorded errors.

parseWarning :: Position -> PWarnType -> String -> ParseResult () Source #

Add a warning. This doesn't fail the parsing process.

parseWarnings :: [PWarning] -> ParseResult () Source #

Add multiple warnings at once.

parseFailure :: Position -> String -> ParseResult () Source #

Add an error, but not fail the parser yet.

For fatal failure use parseFatalFailure

parseFatalFailure :: Position -> String -> ParseResult a Source #

Add an fatal error.

getCabalSpecVersion :: ParseResult (Maybe Version) Source #

Get cabal spec version.

setCabalSpecVersion :: Maybe Version -> ParseResult () Source #

Set cabal spec version.