Debian.Relation

A module for working with debian relationships http://www.debian.org/doc/debian-policy/ch-relationships.html

Types

class Pretty (PP a) => PkgName a where

Minimal complete definition

pkgNameFromString

Methods

pkgNameFromString :: String -> a

Instances

PkgName BinPkgName

Methods

pkgNameFromString :: String -> BinPkgName

PkgName SrcPkgName

Methods

pkgNameFromString :: String -> SrcPkgName

newtype SrcPkgName

Constructors

SrcPkgName

Fields

• unSrcPkgName :: String

Instances

Eq SrcPkgName

Methods

(==) :: SrcPkgName -> SrcPkgName -> Bool

(/=) :: SrcPkgName -> SrcPkgName -> Bool

Data SrcPkgName

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

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

Methods

readsPrec :: Int -> ReadS SrcPkgName

readList :: ReadS [SrcPkgName]

readPrec :: ReadPrec SrcPkgName

readListPrec :: ReadPrec [SrcPkgName]

Show SrcPkgName

Methods

showsPrec :: Int -> SrcPkgName -> ShowS

show :: SrcPkgName -> String

showList :: [SrcPkgName] -> ShowS

PkgName SrcPkgName

Methods

pkgNameFromString :: String -> SrcPkgName

Pretty (PP SrcPkgName)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP SrcPkgName -> Doc

pPrint :: PP SrcPkgName -> Doc

pPrintList :: PrettyLevel -> [PP SrcPkgName] -> Doc

newtype BinPkgName

Constructors

BinPkgName

Fields

• unBinPkgName :: String

Instances

Eq BinPkgName

Methods

(==) :: BinPkgName -> BinPkgName -> Bool

(/=) :: BinPkgName -> BinPkgName -> Bool

Data BinPkgName

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

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

Methods

readsPrec :: Int -> ReadS BinPkgName

readList :: ReadS [BinPkgName]

readPrec :: ReadPrec BinPkgName

readListPrec :: ReadPrec [BinPkgName]

Show BinPkgName

Methods

showsPrec :: Int -> BinPkgName -> ShowS

show :: BinPkgName -> String

showList :: [BinPkgName] -> ShowS

PkgName BinPkgName

Methods

pkgNameFromString :: String -> BinPkgName

Pretty (PP BinPkgName)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP BinPkgName -> Doc

pPrint :: PP BinPkgName -> Doc

pPrintList :: PrettyLevel -> [PP BinPkgName] -> Doc

type Relations = AndRelation

type AndRelation = [OrRelation]

type OrRelation = [Relation]

data Relation

Constructors

Rel BinPkgName (Maybe VersionReq) (Maybe ArchitectureReq)

Instances

Eq Relation

Methods

(==) :: Relation -> Relation -> Bool

(/=) :: Relation -> Relation -> Bool

Ord Relation

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

Methods

readsPrec :: Int -> ReadS Relation

readList :: ReadS [Relation]

readPrec :: ReadPrec Relation

readListPrec :: ReadPrec [Relation]

Show Relation

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

Pretty (PP Relation)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP Relation -> Doc

pPrint :: PP Relation -> Doc

pPrintList :: PrettyLevel -> [PP Relation] -> Doc

Pretty (PP OrRelation)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP OrRelation -> Doc

pPrint :: PP OrRelation -> Doc

pPrintList :: PrettyLevel -> [PP OrRelation] -> Doc

Pretty (PP Relations)

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

data ArchitectureReq

Constructors

ArchOnly (Set Arch)

ArchExcept (Set Arch)

Instances

Eq ArchitectureReq

Methods

(==) :: ArchitectureReq -> ArchitectureReq -> Bool

(/=) :: ArchitectureReq -> ArchitectureReq -> Bool

Ord ArchitectureReq

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

Methods

readsPrec :: Int -> ReadS ArchitectureReq

readList :: ReadS [ArchitectureReq]

readPrec :: ReadPrec ArchitectureReq

readListPrec :: ReadPrec [ArchitectureReq]

Show ArchitectureReq

Methods

showsPrec :: Int -> ArchitectureReq -> ShowS

show :: ArchitectureReq -> String

showList :: [ArchitectureReq] -> ShowS

Pretty (PP ArchitectureReq)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP ArchitectureReq -> Doc

pPrint :: PP ArchitectureReq -> Doc

pPrintList :: PrettyLevel -> [PP ArchitectureReq] -> Doc

data Arch

Constructors

Source

All

Binary ArchOS ArchCPU

Instances

Eq Arch

Methods

(==) :: Arch -> Arch -> Bool

(/=) :: Arch -> Arch -> Bool

Data Arch

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arch -> c Arch

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arch

toConstr :: Arch -> Constr

dataTypeOf :: Arch -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Arch)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Arch)

gmapT :: (forall b. Data b => b -> b) -> Arch -> Arch

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arch -> r

gmapQ :: (forall d. Data d => d -> u) -> Arch -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Arch -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arch -> m Arch

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arch -> m Arch

Ord Arch

Methods

compare :: Arch -> Arch -> Ordering

(<) :: Arch -> Arch -> Bool

(<=) :: Arch -> Arch -> Bool

(>) :: Arch -> Arch -> Bool

(>=) :: Arch -> Arch -> Bool

max :: Arch -> Arch -> Arch

min :: Arch -> Arch -> Arch

Read Arch

Methods

readsPrec :: Int -> ReadS Arch

readList :: ReadS [Arch]

readPrec :: ReadPrec Arch

readListPrec :: ReadPrec [Arch]

Show Arch

Methods

showsPrec :: Int -> Arch -> ShowS

show :: Arch -> String

showList :: [Arch] -> ShowS

data ArchOS

Constructors

ArchOS String

ArchOSAny

Instances

Eq ArchOS

Methods

(==) :: ArchOS -> ArchOS -> Bool

(/=) :: ArchOS -> ArchOS -> Bool

Data ArchOS

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArchOS -> c ArchOS

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArchOS

toConstr :: ArchOS -> Constr

dataTypeOf :: ArchOS -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ArchOS)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArchOS)

gmapT :: (forall b. Data b => b -> b) -> ArchOS -> ArchOS

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArchOS -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArchOS -> r

gmapQ :: (forall d. Data d => d -> u) -> ArchOS -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArchOS -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArchOS -> m ArchOS

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArchOS -> m ArchOS

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArchOS -> m ArchOS

Ord ArchOS

Methods

compare :: ArchOS -> ArchOS -> Ordering

(<) :: ArchOS -> ArchOS -> Bool

(<=) :: ArchOS -> ArchOS -> Bool

(>) :: ArchOS -> ArchOS -> Bool

(>=) :: ArchOS -> ArchOS -> Bool

max :: ArchOS -> ArchOS -> ArchOS

min :: ArchOS -> ArchOS -> ArchOS

Read ArchOS

Methods

readsPrec :: Int -> ReadS ArchOS

readList :: ReadS [ArchOS]

readPrec :: ReadPrec ArchOS

readListPrec :: ReadPrec [ArchOS]

Show ArchOS

Methods

showsPrec :: Int -> ArchOS -> ShowS

show :: ArchOS -> String

showList :: [ArchOS] -> ShowS

data ArchCPU

Constructors

ArchCPU String

ArchCPUAny

Instances

Eq ArchCPU

Methods

(==) :: ArchCPU -> ArchCPU -> Bool

(/=) :: ArchCPU -> ArchCPU -> Bool

Data ArchCPU

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArchCPU -> c ArchCPU

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArchCPU

toConstr :: ArchCPU -> Constr

dataTypeOf :: ArchCPU -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ArchCPU)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArchCPU)

gmapT :: (forall b. Data b => b -> b) -> ArchCPU -> ArchCPU

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArchCPU -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArchCPU -> r

gmapQ :: (forall d. Data d => d -> u) -> ArchCPU -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArchCPU -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArchCPU -> m ArchCPU

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArchCPU -> m ArchCPU

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArchCPU -> m ArchCPU

Ord ArchCPU

Methods

compare :: ArchCPU -> ArchCPU -> Ordering

(<) :: ArchCPU -> ArchCPU -> Bool

(<=) :: ArchCPU -> ArchCPU -> Bool

(>) :: ArchCPU -> ArchCPU -> Bool

(>=) :: ArchCPU -> ArchCPU -> Bool

max :: ArchCPU -> ArchCPU -> ArchCPU

min :: ArchCPU -> ArchCPU -> ArchCPU

Read ArchCPU

Methods

readsPrec :: Int -> ReadS ArchCPU

readList :: ReadS [ArchCPU]

readPrec :: ReadPrec ArchCPU

readListPrec :: ReadPrec [ArchCPU]

Show ArchCPU

Methods

showsPrec :: Int -> ArchCPU -> ShowS

show :: ArchCPU -> String

showList :: [ArchCPU] -> ShowS

data VersionReq

Constructors

SLT DebianVersion

LTE DebianVersion

EEQ DebianVersion

GRE DebianVersion

SGR DebianVersion

Instances

Eq VersionReq

Methods

(==) :: VersionReq -> VersionReq -> Bool

(/=) :: VersionReq -> VersionReq -> Bool

Ord VersionReq

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

Methods

readsPrec :: Int -> ReadS VersionReq

readList :: ReadS [VersionReq]

readPrec :: ReadPrec VersionReq

readListPrec :: ReadPrec [VersionReq]

Show VersionReq

Methods

showsPrec :: Int -> VersionReq -> ShowS

show :: VersionReq -> String

showList :: [VersionReq] -> ShowS

Pretty (PP VersionReq)

Methods

pPrintPrec :: PrettyLevel -> Rational -> PP VersionReq -> Doc

pPrint :: PP VersionReq -> Doc

pPrintList :: PrettyLevel -> [PP VersionReq] -> Doc

Helper Functions

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

Check if a version number satisfies a version requirement.

Relation Parser

type RelParser a = CharParser () a

class ParseRelations a where

Minimal complete definition

parseRelations

Methods

parseRelations :: a -> Either ParseError Relations

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