Safe Haskell	None
Language	Haskell98

Debian.Relation.Common

Synopsis

Documentation

type Relations = AndRelation Source #

type AndRelation = [OrRelation] Source #

type OrRelation = [Relation] Source #

data Relation Source #

Constructors

Rel BinPkgName (Maybe VersionReq) (Maybe ArchitectureReq)

Instances

Eq Relation Source #
Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Ord Relation Source #
Methods compare :: Relation -> Relation -> Ordering # (<) :: Relation -> Relation -> Bool # (<=) :: Relation -> Relation -> Bool # (>) :: Relation -> Relation -> Bool # (>=) :: Relation -> Relation -> Bool # max :: Relation -> Relation -> Relation # min :: Relation -> Relation -> Relation #
Read Relation Source #
Methods readsPrec :: Int -> ReadS Relation # readList :: ReadS [Relation] # readPrec :: ReadPrec Relation # readListPrec :: ReadPrec [Relation] #
Show Relation Source #
Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #
Pretty (PP Relation) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP Relation -> Doc # pPrint :: PP Relation -> Doc # pPrintList :: PrettyLevel -> [PP Relation] -> Doc #
Pretty (PP OrRelation) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP OrRelation -> Doc # pPrint :: PP OrRelation -> Doc # pPrintList :: PrettyLevel -> [PP OrRelation] -> Doc #
Pretty (PP Relations) Source #	Wrap `PP` around type synonyms that might overlap with the `Pretty [a]` instance.
Methods pPrintPrec :: PrettyLevel -> Rational -> PP Relations -> Doc # pPrint :: PP Relations -> Doc # pPrintList :: PrettyLevel -> [PP Relations] -> Doc #

newtype SrcPkgName Source #

Constructors

SrcPkgName
Fields unSrcPkgName :: String

Instances

Eq SrcPkgName Source #
Methods (==) :: SrcPkgName -> SrcPkgName -> Bool # (/=) :: SrcPkgName -> SrcPkgName -> Bool #
Data SrcPkgName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcPkgName -> c SrcPkgName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcPkgName # toConstr :: SrcPkgName -> Constr # dataTypeOf :: SrcPkgName -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SrcPkgName) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcPkgName) # gmapT :: (forall b. Data b => b -> b) -> SrcPkgName -> SrcPkgName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcPkgName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcPkgName -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcPkgName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcPkgName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcPkgName -> m SrcPkgName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcPkgName -> m SrcPkgName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcPkgName -> m SrcPkgName #
Ord SrcPkgName Source #
Methods compare :: SrcPkgName -> SrcPkgName -> Ordering # (<) :: SrcPkgName -> SrcPkgName -> Bool # (<=) :: SrcPkgName -> SrcPkgName -> Bool # (>) :: SrcPkgName -> SrcPkgName -> Bool # (>=) :: SrcPkgName -> SrcPkgName -> Bool # max :: SrcPkgName -> SrcPkgName -> SrcPkgName # min :: SrcPkgName -> SrcPkgName -> SrcPkgName #
Read SrcPkgName Source #
Methods readsPrec :: Int -> ReadS SrcPkgName # readList :: ReadS [SrcPkgName] # readPrec :: ReadPrec SrcPkgName # readListPrec :: ReadPrec [SrcPkgName] #
Show SrcPkgName Source #
Methods showsPrec :: Int -> SrcPkgName -> ShowS # show :: SrcPkgName -> String # showList :: [SrcPkgName] -> ShowS #
PkgName SrcPkgName Source #
Methods pkgNameFromString :: String -> SrcPkgName Source #
Pretty (PP SrcPkgName) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP SrcPkgName -> Doc # pPrint :: PP SrcPkgName -> Doc # pPrintList :: PrettyLevel -> [PP SrcPkgName] -> Doc #

newtype BinPkgName Source #

Constructors

BinPkgName
Fields unBinPkgName :: String

Instances

Eq BinPkgName Source #
Methods (==) :: BinPkgName -> BinPkgName -> Bool # (/=) :: BinPkgName -> BinPkgName -> Bool #
Data BinPkgName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinPkgName -> c BinPkgName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinPkgName # toConstr :: BinPkgName -> Constr # dataTypeOf :: BinPkgName -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c BinPkgName) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinPkgName) # gmapT :: (forall b. Data b => b -> b) -> BinPkgName -> BinPkgName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinPkgName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinPkgName -> r # gmapQ :: (forall d. Data d => d -> u) -> BinPkgName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinPkgName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinPkgName -> m BinPkgName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinPkgName -> m BinPkgName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinPkgName -> m BinPkgName #
Ord BinPkgName Source #
Methods compare :: BinPkgName -> BinPkgName -> Ordering # (<) :: BinPkgName -> BinPkgName -> Bool # (<=) :: BinPkgName -> BinPkgName -> Bool # (>) :: BinPkgName -> BinPkgName -> Bool # (>=) :: BinPkgName -> BinPkgName -> Bool # max :: BinPkgName -> BinPkgName -> BinPkgName # min :: BinPkgName -> BinPkgName -> BinPkgName #
Read BinPkgName Source #
Methods readsPrec :: Int -> ReadS BinPkgName # readList :: ReadS [BinPkgName] # readPrec :: ReadPrec BinPkgName # readListPrec :: ReadPrec [BinPkgName] #
Show BinPkgName Source #
Methods showsPrec :: Int -> BinPkgName -> ShowS # show :: BinPkgName -> String # showList :: [BinPkgName] -> ShowS #
PkgName BinPkgName Source #
Methods pkgNameFromString :: String -> BinPkgName Source #
Pretty (PP BinPkgName) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP BinPkgName -> Doc # pPrint :: PP BinPkgName -> Doc # pPrintList :: PrettyLevel -> [PP BinPkgName] -> Doc #

class Pretty (PP a) => PkgName a where Source #

Minimal complete definition

pkgNameFromString

Methods

pkgNameFromString :: String -> a Source #

Instances

PkgName BinPkgName Source #
Methods pkgNameFromString :: String -> BinPkgName Source #
PkgName SrcPkgName Source #
Methods pkgNameFromString :: String -> SrcPkgName Source #

class ParseRelations a where Source #

Minimal complete definition

parseRelations

Methods

parseRelations :: a -> Either ParseError Relations Source #

parseRelations parse a debian relation (i.e. the value of a Depends field). Return a parsec error or a value of type Relations

prettyRelations :: [[Relation]] -> Doc Source #

This needs to be indented for use in a control file: intercalate "n " . lines . show

prettyOrRelation :: [Relation] -> Doc Source #

prettyRelation :: Relation -> Doc Source #

data ArchitectureReq Source #

Constructors

ArchOnly (Set Arch)
ArchExcept (Set Arch)

Instances

Eq ArchitectureReq Source #
Methods (==) :: ArchitectureReq -> ArchitectureReq -> Bool # (/=) :: ArchitectureReq -> ArchitectureReq -> Bool #
Ord ArchitectureReq Source #
Methods compare :: ArchitectureReq -> ArchitectureReq -> Ordering # (<) :: ArchitectureReq -> ArchitectureReq -> Bool # (<=) :: ArchitectureReq -> ArchitectureReq -> Bool # (>) :: ArchitectureReq -> ArchitectureReq -> Bool # (>=) :: ArchitectureReq -> ArchitectureReq -> Bool # max :: ArchitectureReq -> ArchitectureReq -> ArchitectureReq # min :: ArchitectureReq -> ArchitectureReq -> ArchitectureReq #
Read ArchitectureReq Source #
Methods readsPrec :: Int -> ReadS ArchitectureReq # readList :: ReadS [ArchitectureReq] # readPrec :: ReadPrec ArchitectureReq # readListPrec :: ReadPrec [ArchitectureReq] #
Show ArchitectureReq Source #
Methods showsPrec :: Int -> ArchitectureReq -> ShowS # show :: ArchitectureReq -> String # showList :: [ArchitectureReq] -> ShowS #
Pretty (PP ArchitectureReq) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP ArchitectureReq -> Doc # pPrint :: PP ArchitectureReq -> Doc # pPrintList :: PrettyLevel -> [PP ArchitectureReq] -> Doc #

prettyArchitectureReq :: ArchitectureReq -> Doc Source #

data VersionReq Source #

Constructors

SLT DebianVersion
LTE DebianVersion
EEQ DebianVersion
GRE DebianVersion
SGR DebianVersion

Instances

Eq VersionReq Source #
Methods (==) :: VersionReq -> VersionReq -> Bool # (/=) :: VersionReq -> VersionReq -> Bool #
Ord VersionReq Source #	The sort order is based on version number first, then on the kind of relation, sorting in the order
Methods compare :: VersionReq -> VersionReq -> Ordering # (<) :: VersionReq -> VersionReq -> Bool # (<=) :: VersionReq -> VersionReq -> Bool # (>) :: VersionReq -> VersionReq -> Bool # (>=) :: VersionReq -> VersionReq -> Bool # max :: VersionReq -> VersionReq -> VersionReq # min :: VersionReq -> VersionReq -> VersionReq #
Read VersionReq Source #
Methods readsPrec :: Int -> ReadS VersionReq # readList :: ReadS [VersionReq] # readPrec :: ReadPrec VersionReq # readListPrec :: ReadPrec [VersionReq] #
Show VersionReq Source #
Methods showsPrec :: Int -> VersionReq -> ShowS # show :: VersionReq -> String # showList :: [VersionReq] -> ShowS #
Pretty (PP VersionReq) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> PP VersionReq -> Doc # pPrint :: PP VersionReq -> Doc # pPrintList :: PrettyLevel -> [PP VersionReq] -> Doc #

prettyVersionReq :: VersionReq -> Doc Source #

checkVersionReq :: Maybe VersionReq -> Maybe DebianVersion -> Bool Source #

Check if a version number satisfies a version requirement.