Debian.Control

A module for working with Debian control files http://www.debian.org/doc/debian-policy/ch-controlfields.html

Types

newtype Control' a

Constructors

Control

Fields

unControl :: [Paragraph' a]

Instances

Eq a => Eq (Control' a)

Ord a => Ord (Control' a)

Read a => Read (Control' a)

Show a => Show (Control' a)

Show (Control' Text)

Pretty a => Pretty (Control' a)

This may have bad performance issues (why?)

newtype Paragraph' a

Constructors

Paragraph [Field' a]

Instances

Eq a => Eq (Paragraph' a)

Ord a => Ord (Paragraph' a)

Read a => Read (Paragraph' a)

Show a => Show (Paragraph' a)

Pretty a => Pretty (Paragraph' a)

data Field' a

NOTE: we do not strip the leading or trailing whitespace in the name or value

Constructors

Field (a, a)

Comment a

Lines beginning with #

Instances

Eq a => Eq (Field' a)

Ord a => Ord (Field' a)

Read a => Read (Field' a)

Show a => Show (Field' a)

Pretty a => Pretty (Field' a)

type Control = Control' String

type Paragraph = Paragraph' String

type Field = Field' String

type ControlParser a = CharParser () a

class ControlFunctions a where

Methods

parseControlFromFile :: FilePath -> IO (Either ParseError (Control' a))

parseControlFromFile filepath is a simple wrapper function that parses filepath using pControl

parseControlFromHandle :: String -> Handle -> IO (Either ParseError (Control' a))

parseControlFromHandle sourceName handle - sourceName is only used for error reporting

parseControl :: String -> a -> Either ParseError (Control' a)

parseControlFromString sourceName text - sourceName is only used for error reporting

lookupP :: String -> Paragraph' a -> Maybe (Field' a)

lookupP fieldName paragraph looks up a Field in a Paragraph. N.B. trailing and leading whitespace is not stripped.

stripWS :: a -> a

Strip the trailing and leading space and tab characters from a string. Folded whitespace is not unfolded. This should probably be moved to someplace more general purpose.

asString :: a -> String

Instances

ControlFunctions String

ControlFunctions ByteString

ControlFunctions Text

Control File Parser

pControl :: ControlParser Control

A parser for debian control file. This parser handles control files that end without a newline as well as ones that have several blank lines at the end. It is very liberal and does not attempt validate the fields in any way. All trailing, leading, and folded whitespace is preserved in the field values. See stripWS.

Helper Functions

mergeControls :: [Control' a] -> Control' a

fieldValue :: ControlFunctions a => String -> Paragraph' a -> Maybe a

removeField :: Eq a => a -> Paragraph' a -> Paragraph' a

prependFields :: [Field' a] -> Paragraph' a -> Paragraph' a

appendFields :: [Field' a] -> Paragraph' a -> Paragraph' a

renameField :: Eq a => a -> a -> Paragraph' a -> Paragraph' a

modifyField :: Eq a => a -> (a -> a) -> Paragraph' a -> Paragraph' a

raiseFields :: Eq a => (a -> Bool) -> Paragraph' a -> Paragraph' a

Move selected fields to the beginning of a paragraph.

packParagraph :: Paragraph -> Paragraph

packField :: Field' String -> Field' Text

formatControl :: Control' Text -> [Text]

formatParagraph :: Paragraph' Text -> Text

formatField :: Field' Text -> Text

Policy classes and functions

class HasDebianControl a where

Class of things that contain a validated Debian control file.

Methods

debianControl :: a -> DebianControl

Instances

HasDebianControl DebianControl

data ControlFileError

Errors that control files might throw, with source file name and line number generated by template haskell.

Constructors

NoParagraphs

Fields

locs :: [Loc]

NoBinaryParagraphs

Fields

locs :: [Loc]

MissingField

Fields

locs :: [Loc]

field :: String

ParseRelationsError

Fields

locs :: [Loc]

parseError :: ParseError

ParseControlError

Fields

locs :: [Loc]

parseError :: ParseError

IOError

Fields

locs :: [Loc]

ioError :: IOError

Instances

Eq ControlFileError

Show ControlFileError

Exception ControlFileError

Typeable * ControlFileError

parseDebianControlFromFile :: FilePath -> IO (Either ControlFileError DebianControl)

validateDebianControl :: MonadCatch m => Control' Text -> m (Either ControlFileError DebianControl)

Validate and return a control file in an opaque wrapper. May throw a ControlFileError. Currently we only verify that it has a Source field in the first paragraph and one or more subsequent paragraphs each with a Package field, and no syntax errors in the build dependencies (though they may be absent.)

unsafeDebianControl :: Control' Text -> DebianControl

debianSourceParagraph :: HasDebianControl a => a -> Paragraph' Text

debianBinaryParagraphs :: HasDebianControl a => a -> [Paragraph' Text]

debianPackageParagraphs :: HasDebianControl a => a -> (Paragraph' Text, [Paragraph' Text])

debianPackageNames :: HasDebianControl a => a -> (SrcPkgName, [BinPkgName])

debianSourcePackageName :: HasDebianControl a => a -> SrcPkgName

debianBinaryPackageNames :: HasDebianControl a => a -> [BinPkgName]

debianRelations :: HasDebianControl a => String -> a -> Either ControlFileError (Maybe Relations)

This could access fields we haven't validated, so it can return an error. Additionally, the field might be absent, in which case it returns Nothing.

debianBuildDeps :: HasDebianControl a => a -> Maybe Relations

debianBuildDepsIndep :: HasDebianControl a => a -> Maybe Relations