Safe Haskell	None
Language	Haskell2010

Distribution.Types.VersionRange

Contents

Version ranges

Synopsis

data VersionRange
anyVersion :: VersionRange
noVersion :: VersionRange
thisVersion :: Version -> VersionRange
notThisVersion :: Version -> VersionRange
laterVersion :: Version -> VersionRange
earlierVersion :: Version -> VersionRange
orLaterVersion :: Version -> VersionRange
orEarlierVersion :: Version -> VersionRange
unionVersionRanges :: VersionRange -> VersionRange -> VersionRange
intersectVersionRanges :: VersionRange -> VersionRange -> VersionRange
withinVersion :: Version -> VersionRange
majorBoundVersion :: Version -> VersionRange
withinRange :: Version -> VersionRange -> Bool
foldVersionRange :: a -> ( Version -> a) -> ( Version -> a) -> ( Version -> a) -> (a -> a -> a) -> (a -> a -> a) -> VersionRange -> a
normaliseVersionRange :: VersionRange -> VersionRange
stripParensVersionRange :: VersionRange -> VersionRange
hasUpperBound :: VersionRange -> Bool
hasLowerBound :: VersionRange -> Bool
data VersionRangeF a
- = AnyVersionF
- | ThisVersionF Version
- | LaterVersionF Version
- | OrLaterVersionF Version
- | EarlierVersionF Version
- | OrEarlierVersionF Version
- | WildcardVersionF Version
- | MajorBoundVersionF Version
- | UnionVersionRangesF a a
- | IntersectVersionRangesF a a
- | VersionRangeParensF a
cataVersionRange :: ( VersionRangeF a -> a) -> VersionRange -> a
anaVersionRange :: (a -> VersionRangeF a) -> a -> VersionRange
hyloVersionRange :: ( VersionRangeF VersionRange -> VersionRange ) -> ( VersionRange -> VersionRangeF VersionRange ) -> VersionRange -> VersionRange
projectVersionRange :: VersionRange -> VersionRangeF VersionRange
embedVersionRange :: VersionRangeF VersionRange -> VersionRange
wildcardUpperBound :: Version -> Version
majorUpperBound :: Version -> Version
isWildcardRange :: Version -> Version -> Bool
versionRangeParser :: forall m. CabalParsing m => m Int -> m VersionRange

Version ranges

data VersionRange Source #

Instances

Instances details

Eq VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods (==) :: VersionRange -> VersionRange -> Bool Source # (/=) :: VersionRange -> VersionRange -> Bool Source #
Data VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> VersionRange -> c VersionRange Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c VersionRange Source # toConstr :: VersionRange -> Constr Source # dataTypeOf :: VersionRange -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c VersionRange ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c VersionRange ) Source # gmapT :: ( forall b. Data b => b -> b) -> VersionRange -> VersionRange Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> VersionRange -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> VersionRange -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> VersionRange -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> VersionRange -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> VersionRange -> m VersionRange Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> VersionRange -> m VersionRange Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> VersionRange -> m VersionRange Source #
Read VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods readsPrec :: Int -> ReadS VersionRange Source # readList :: ReadS [ VersionRange ] Source # readPrec :: ReadPrec VersionRange Source # readListPrec :: ReadPrec [ VersionRange ] Source #
Show VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods showsPrec :: Int -> VersionRange -> ShowS Source # show :: VersionRange -> String Source # showList :: [ VersionRange ] -> ShowS Source #
Generic VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Associated Types type Rep VersionRange :: Type -> Type Source # Methods from :: VersionRange -> Rep VersionRange x Source # to :: Rep VersionRange x -> VersionRange Source #
Binary VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods put :: VersionRange -> Put Source # get :: Get VersionRange Source # putList :: [ VersionRange ] -> Put Source #
NFData VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods rnf :: VersionRange -> () Source #
Structured VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods structure :: Proxy VersionRange -> Structure Source # structureHash' :: Tagged VersionRange MD5
Pretty VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods pretty :: VersionRange -> Doc Source # prettyVersioned :: CabalSpecVersion -> VersionRange -> Doc Source #
Parsec VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods parsec :: CabalParsing m => m VersionRange Source #
Newtype ( Either Version VersionRange ) SpecVersion Source #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: Either Version VersionRange -> SpecVersion Source # unpack :: SpecVersion -> Either Version VersionRange Source #
Newtype ( CompilerFlavor , VersionRange ) TestedWith Source #
Instance details Defined in Distribution.Parsec.Newtypes Methods pack :: ( CompilerFlavor , VersionRange ) -> TestedWith Source # unpack :: TestedWith -> ( CompilerFlavor , VersionRange ) Source #
type Rep VersionRange Source #
Instance details Defined in Distribution.Types.VersionRange.Internal type Rep VersionRange = D1 (' MetaData "VersionRange" "Distribution.Types.VersionRange.Internal" "Cabal-3.2.1.0-3w1fQQbNnuQ5xlFGwVXcPy" ' False ) ((( C1 (' MetaCons "AnyVersion" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "ThisVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version ))) :+: ( C1 (' MetaCons "LaterVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: ( C1 (' MetaCons "OrLaterVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: C1 (' MetaCons "EarlierVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version ))))) :+: (( C1 (' MetaCons "OrEarlierVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: ( C1 (' MetaCons "WildcardVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: C1 (' MetaCons "MajorBoundVersion" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )))) :+: ( C1 (' MetaCons "UnionVersionRanges" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 VersionRange ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 VersionRange )) :+: ( C1 (' MetaCons "IntersectVersionRanges" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 VersionRange ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 VersionRange )) :+: C1 (' MetaCons "VersionRangeParens" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 VersionRange ))))))

Constructing

anyVersion :: VersionRange Source #

The version range -any . That is, a version range containing all versions.

withinRange v anyVersion = True

noVersion :: VersionRange Source #

The empty version range, that is a version range containing no versions.

This can be constructed using any unsatisfiable version range expression, for example > 1 && < 1 .

withinRange v noVersion = False

thisVersion :: Version -> VersionRange Source #

The version range == v

withinRange v' (thisVersion v) = v' == v

notThisVersion :: Version -> VersionRange Source #

The version range || v

withinRange v' (notThisVersion v) = v' /= v

laterVersion :: Version -> VersionRange Source #

The version range > v

withinRange v' (laterVersion v) = v' > v

earlierVersion :: Version -> VersionRange Source #

The version range < v

withinRange v' (earlierVersion v) = v' < v

orLaterVersion :: Version -> VersionRange Source #

The version range >= v

withinRange v' (orLaterVersion v) = v' >= v

orEarlierVersion :: Version -> VersionRange Source #

The version range <= v

withinRange v' (orEarlierVersion v) = v' <= v

unionVersionRanges :: VersionRange -> VersionRange -> VersionRange Source #

The version range vr1 || vr2

  withinRange v' (unionVersionRanges vr1 vr2)
= withinRange v' vr1 || withinRange v' vr2

intersectVersionRanges :: VersionRange -> VersionRange -> VersionRange Source #

The version range vr1 && vr2

  withinRange v' (intersectVersionRanges vr1 vr2)
= withinRange v' vr1 && withinRange v' vr2

withinVersion :: Version -> VersionRange Source #

The version range == v.* .

For example, for version 1.2 , the version range == 1.2.* is the same as >= 1.2 && < 1.3

withinRange v' (laterVersion v) = v' >= v && v' < upper v
  where
    upper (Version lower t) = Version (init lower ++ [last lower + 1]) t

majorBoundVersion :: Version -> VersionRange Source #

The version range ^>= v .

For example, for version 1.2.3.4 , the version range ^>= 1.2.3.4 is the same as >= 1.2.3.4 && < 1.3 .

Note that ^>= 1 is equivalent to >= 1 && < 1.1 .

Since: 2.0.0.2

Inspection

withinRange :: Version -> VersionRange -> Bool Source #

Does this version fall within the given range?

This is the evaluation function for the VersionRange type.

foldVersionRange Source #

Arguments

:: a	`"-any"` version
-> ( Version -> a)	"== v"
-> ( Version -> a)	"> v"
-> ( Version -> a)	"< v"
-> (a -> a -> a)	`"_ \|\| _"` union
-> (a -> a -> a)	`"_ && _"` intersection
-> VersionRange
-> a

Fold over the basic syntactic structure of a VersionRange .

This provides a syntactic view of the expression defining the version range. The syntactic sugar ">= v" , "<= v" and "== v.*" is presented in terms of the other basic syntax.

For a semantic view use asVersionIntervals .

normaliseVersionRange :: VersionRange -> VersionRange Source #

Normalise VersionRange .

In particular collapse (== v || > v) into >= v , and so on.

stripParensVersionRange :: VersionRange -> VersionRange Source #

Remove VersionRangeParens constructors.

Since: 2.2

hasUpperBound :: VersionRange -> Bool Source #

Does the version range have an upper bound?

Since: 1.24.0.0

hasLowerBound :: VersionRange -> Bool Source #

Does the version range have an explicit lower bound?

Note: this function only considers the user-specified lower bounds, but not the implicit >=0 lower bound.

Since: 1.24.0.0

Cata & ana

data VersionRangeF a Source #

F-Algebra of VersionRange . See cataVersionRange .

Since: 2.2

Constructors

AnyVersionF
ThisVersionF Version
LaterVersionF Version
OrLaterVersionF Version
EarlierVersionF Version
OrEarlierVersionF Version
WildcardVersionF Version
MajorBoundVersionF Version
UnionVersionRangesF a a
IntersectVersionRangesF a a
VersionRangeParensF a

Instances

Instances details

Functor VersionRangeF Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods fmap :: (a -> b) -> VersionRangeF a -> VersionRangeF b Source # (<$) :: a -> VersionRangeF b -> VersionRangeF a Source #
Foldable VersionRangeF Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods fold :: Monoid m => VersionRangeF m -> m Source # foldMap :: Monoid m => (a -> m) -> VersionRangeF a -> m Source # foldMap' :: Monoid m => (a -> m) -> VersionRangeF a -> m Source # foldr :: (a -> b -> b) -> b -> VersionRangeF a -> b Source # foldr' :: (a -> b -> b) -> b -> VersionRangeF a -> b Source # foldl :: (b -> a -> b) -> b -> VersionRangeF a -> b Source # foldl' :: (b -> a -> b) -> b -> VersionRangeF a -> b Source # foldr1 :: (a -> a -> a) -> VersionRangeF a -> a Source # foldl1 :: (a -> a -> a) -> VersionRangeF a -> a Source # toList :: VersionRangeF a -> [a] Source # null :: VersionRangeF a -> Bool Source # length :: VersionRangeF a -> Int Source # elem :: Eq a => a -> VersionRangeF a -> Bool Source # maximum :: Ord a => VersionRangeF a -> a Source # minimum :: Ord a => VersionRangeF a -> a Source # sum :: Num a => VersionRangeF a -> a Source # product :: Num a => VersionRangeF a -> a Source #
Traversable VersionRangeF Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods traverse :: Applicative f => (a -> f b) -> VersionRangeF a -> f ( VersionRangeF b) Source # sequenceA :: Applicative f => VersionRangeF (f a) -> f ( VersionRangeF a) Source # mapM :: Monad m => (a -> m b) -> VersionRangeF a -> m ( VersionRangeF b) Source # sequence :: Monad m => VersionRangeF (m a) -> m ( VersionRangeF a) Source #
Eq a => Eq ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods (==) :: VersionRangeF a -> VersionRangeF a -> Bool Source # (/=) :: VersionRangeF a -> VersionRangeF a -> Bool Source #
Data a => Data ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> VersionRangeF a -> c ( VersionRangeF a) Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ( VersionRangeF a) Source # toConstr :: VersionRangeF a -> Constr Source # dataTypeOf :: VersionRangeF a -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ( VersionRangeF a)) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ( VersionRangeF a)) Source # gmapT :: ( forall b. Data b => b -> b) -> VersionRangeF a -> VersionRangeF a Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> VersionRangeF a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> VersionRangeF a -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> VersionRangeF a -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> VersionRangeF a -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> VersionRangeF a -> m ( VersionRangeF a) Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> VersionRangeF a -> m ( VersionRangeF a) Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> VersionRangeF a -> m ( VersionRangeF a) Source #
Read a => Read ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods readsPrec :: Int -> ReadS ( VersionRangeF a) Source # readList :: ReadS [ VersionRangeF a] Source # readPrec :: ReadPrec ( VersionRangeF a) Source # readListPrec :: ReadPrec [ VersionRangeF a] Source #
Show a => Show ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Methods showsPrec :: Int -> VersionRangeF a -> ShowS Source # show :: VersionRangeF a -> String Source # showList :: [ VersionRangeF a] -> ShowS Source #
Generic ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal Associated Types type Rep ( VersionRangeF a) :: Type -> Type Source # Methods from :: VersionRangeF a -> Rep ( VersionRangeF a) x Source # to :: Rep ( VersionRangeF a) x -> VersionRangeF a Source #
type Rep ( VersionRangeF a) Source #
Instance details Defined in Distribution.Types.VersionRange.Internal type Rep ( VersionRangeF a) = D1 (' MetaData "VersionRangeF" "Distribution.Types.VersionRange.Internal" "Cabal-3.2.1.0-3w1fQQbNnuQ5xlFGwVXcPy" ' False ) ((( C1 (' MetaCons "AnyVersionF" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "ThisVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version ))) :+: ( C1 (' MetaCons "LaterVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: ( C1 (' MetaCons "OrLaterVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: C1 (' MetaCons "EarlierVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version ))))) :+: (( C1 (' MetaCons "OrEarlierVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: ( C1 (' MetaCons "WildcardVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )) :+: C1 (' MetaCons "MajorBoundVersionF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Version )))) :+: ( C1 (' MetaCons "UnionVersionRangesF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)) :+: ( C1 (' MetaCons "IntersectVersionRangesF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)) :+: C1 (' MetaCons "VersionRangeParensF" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a))))))