ModuleCabal-syntax-3.18.1.0Haskell2010

Distribution.Fields.ParseResult

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

newtypenewtype ParseResult src a

A monad with failure and accumulating errors and warnings.

Instances3Monad, Functor, Applicative

Monad (ParseResult src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Fields.ParseResult
Functor (ParseResult src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Fields.ParseResult
Applicative (ParseResult src)Defined in Cabal-syntax-3.18.1.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.

datadata PSource src

The source of a parse error

Instances8Functor, Eq, Ord, Show, Generic, NFData, …

Functor PSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Eq src => Eq (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Ord src => Ord (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Show src => Show (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Generic (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
NFData src => NFData (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Binary src => Binary (PSource src)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
type Rep (PSource src) = D1 ('MetaData "PSource" "Distribution.Parsec.Source" "Cabal-syntax-3.18.1.0-a008" 'False) (C1 ('MetaCons "PKnownSource" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 src)) :+: C1 ('MetaCons "PUnknownSource" 'PrefixI 'False) U1)Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source

newtypenewtype CabalFileSource

Instances5Eq, Ord, Show, Generic, Rep

Eq CabalFileSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Ord CabalFileSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Show CabalFileSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
Generic CabalFileSourceDefined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source
type Rep CabalFileSource = D1 ('MetaData "CabalFileSource" "Distribution.Parsec.Source" "Cabal-syntax-3.18.1.0-a008" 'True) (C1 ('MetaCons "PCabalFile" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FilePath, ByteString))))Defined in Cabal-syntax-3.18.1.0 · Distribution.Parsec.Source

valuerecoverWith :: ParseResult src a -> a -> ParseResult src 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 src ()

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

valueparseWarnings :: [PWarning] -> ParseResult src ()

Add multiple warnings at once.

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

Add an error, but not fail the parser yet.

For fatal failure use parseFatalFailure

valueparseFatalFailure :: Position -> String -> ParseResult src a

Add an fatal error.

valueparseFatalFailure' :: ParseResult src a

valuegetCabalSpecVersion :: ParseResult src (Maybe Version)

Get cabal spec version.

valuesetCabalSpecVersion :: Maybe Version -> ParseResult src ()

Set cabal spec version.

valuewithoutWarnings :: ParseResult src a -> ParseResult src a

Forget ParseResults warnings.

valueliftParseResult

Chain parsing operations that involve IO actions.

valuewithSource :: src -> ParseResult src a -> ParseResult src a