ModuleCabal-syntax-3.16.0.0Haskell2010

Distribution.Fields.ParseResult

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

newtypenewtype ParseResult a

A monad with failure and accumulating errors and warnings.

Instances3Monad, Functor, Applicative

Monad ParseResultDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.ParseResult
Functor ParseResultDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.ParseResult
Applicative ParseResultDefined in Cabal-syntax-3.16.0.0 · Distribution.Fields.ParseResult

valuerunParseResult

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

valuerecoverWith :: ParseResult a -> a -> ParseResult a

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

valueparseWarning :: Position -> PWarnType -> String -> ParseResult ()

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

valueparseWarnings :: [PWarning] -> ParseResult ()

Add multiple warnings at once.

valueparseFailure :: Position -> String -> ParseResult ()

Add an error, but not fail the parser yet.

For fatal failure use parseFatalFailure

valueparseFatalFailure :: Position -> String -> ParseResult a

Add an fatal error.

valueparseFatalFailure' :: ParseResult a

valuegetCabalSpecVersion :: ParseResult (Maybe Version)

Get cabal spec version.

valuesetCabalSpecVersion :: Maybe Version -> ParseResult ()

Set cabal spec version.

valuewithoutWarnings :: ParseResult a -> ParseResult a

Forget ParseResults warnings.