Copyright	Isaac Jones 2003-2005
License	BSD3
Maintainer	cabal-devel@haskell.org
Portability	portable
Safe Haskell	None
Language	Haskell98

Distribution.PackageDescription.Parse

Contents

Package descriptions
- Parsing
- Supplementary build information

Description

This defined parsers and partial pretty printers for the .cabal format. Some of the complexity in this module is due to the fact that we have to be backwards compatible with old .cabal files, so there's code to translate into the newer structure.

Synopsis

Package descriptions

readPackageDescription :: Verbosity -> FilePath -> IO GenericPackageDescription Source #

Parse the given package file.

writePackageDescription :: FilePath -> PackageDescription -> IO () Source #

parsePackageDescription :: String -> ParseResult GenericPackageDescription Source #

Parses the given file into a GenericPackageDescription.

In Cabal 1.2 the syntax for package descriptions was changed to a format with sections and possibly indented property descriptions.

showPackageDescription :: PackageDescription -> String Source #

Parsing

data ParseResult a Source #

Constructors

ParseFailed PError
ParseOk [PWarning] a

Instances

Monad ParseResult #
Methods (>>=) :: ParseResult a -> (a -> ParseResult b) -> ParseResult b Source # (>>) :: ParseResult a -> ParseResult b -> ParseResult b Source # return :: a -> ParseResult a Source # fail :: String -> ParseResult a Source #
Functor ParseResult #
Methods fmap :: (a -> b) -> ParseResult a -> ParseResult b Source # (<$) :: a -> ParseResult b -> ParseResult a Source #
MonadFail ParseResult #
Methods fail :: String -> ParseResult a Source #
Applicative ParseResult #
Methods pure :: a -> ParseResult a Source # (<>) :: ParseResult (a -> b) -> ParseResult a -> ParseResult b Source # (>) :: ParseResult a -> ParseResult b -> ParseResult b Source # (<*) :: ParseResult a -> ParseResult b -> ParseResult a Source #
Show a => Show (ParseResult a) #
Methods showsPrec :: Int -> ParseResult a -> ShowS Source # show :: ParseResult a -> String Source # showList :: [ParseResult a] -> ShowS Source #

data FieldDescr a Source #

Field descriptor. The parameter a parameterizes over where the field's value is stored in.

Constructors

FieldDescr
Fields fieldName :: String fieldGet :: a -> Doc fieldSet :: LineNo -> String -> a -> ParseResult a `fieldSet n str x` Parses the field value from the given input string `str` and stores the result in `x` if the parse was successful. Otherwise, reports an error on line number `n`.

type LineNo = Int Source #

Supplementary build information

readHookedBuildInfo :: Verbosity -> FilePath -> IO HookedBuildInfo Source #

parseHookedBuildInfo :: String -> ParseResult HookedBuildInfo Source #

writeHookedBuildInfo :: FilePath -> HookedBuildInfo -> IO () Source #

showHookedBuildInfo :: HookedBuildInfo -> String Source #

pkgDescrFieldDescrs :: [FieldDescr PackageDescription] Source #

libFieldDescrs :: [FieldDescr Library] Source #

executableFieldDescrs :: [FieldDescr Executable] Source #

binfoFieldDescrs :: [FieldDescr BuildInfo] Source #

sourceRepoFieldDescrs :: [FieldDescr SourceRepo] Source #

testSuiteFieldDescrs :: [FieldDescr TestSuiteStanza] Source #

flagFieldDescrs :: [FieldDescr Flag] Source #