Stack.Types.Version

Versions for packages.

Documentation

data VersionRange

Instances

Parsec VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

parsec :: CabalParsing m => m VersionRange

Pretty VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

pretty :: VersionRange -> Doc

prettyVersioned :: CabalSpecVersion -> VersionRange -> Doc

Structured VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

structure :: Proxy VersionRange -> Structure

structureHash' :: Tagged VersionRange MD5

Data VersionRange

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

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

toConstr :: VersionRange -> Constr

dataTypeOf :: VersionRange -> DataType

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

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

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

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

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

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

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

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

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

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

Generic VersionRange

Defined in Distribution.Types.VersionRange.Internal

Associated Types

type Rep VersionRange

Defined in Distribution.Types.VersionRange.Internal

type Rep VersionRange = D1 ('MetaData "VersionRange" "Distribution.Types.VersionRange.Internal" "Cabal-syntax-3.10.3.0-bec9" 'False) (((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 "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)))))

Methods

from :: VersionRange -> Rep VersionRange x

to :: Rep VersionRange x -> VersionRange

Read VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

readsPrec :: Int -> ReadS VersionRange

readList :: ReadS [VersionRange]

readPrec :: ReadPrec VersionRange

readListPrec :: ReadPrec [VersionRange]

Show VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

showsPrec :: Int -> VersionRange -> ShowS

show :: VersionRange -> String

showList :: [VersionRange] -> ShowS

Binary VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

put :: VersionRange -> Put

get :: Get VersionRange

putList :: [VersionRange] -> Put

NFData VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

rnf :: VersionRange -> ()

Eq VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

(==) :: VersionRange -> VersionRange -> Bool

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

Ord VersionRange

Defined in Distribution.Types.VersionRange.Internal

Methods

compare :: VersionRange -> VersionRange -> Ordering

(<) :: VersionRange -> VersionRange -> Bool

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

(>) :: VersionRange -> VersionRange -> Bool

(>=) :: VersionRange -> VersionRange -> Bool

max :: VersionRange -> VersionRange -> VersionRange

min :: VersionRange -> VersionRange -> VersionRange

IsCabalString VersionRange

Defined in Pantry.Types

Methods

cabalStringName :: proxy VersionRange -> String

cabalStringParser :: String -> Maybe VersionRange

Newtype (CompilerFlavor, VersionRange) TestedWith

Defined in Distribution.FieldGrammar.Newtypes

Methods

pack :: (CompilerFlavor, VersionRange) -> TestedWith

unpack :: TestedWith -> (CompilerFlavor, VersionRange)

type Rep VersionRange

Defined in Distribution.Types.VersionRange.Internal

type Rep VersionRange = D1 ('MetaData "VersionRange" "Distribution.Types.VersionRange.Internal" "Cabal-syntax-3.10.3.0-bec9" 'False) (((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 "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)))))

newtype IntersectingVersionRange

Constructors

IntersectingVersionRange

Fields

• intersectingVersionRange :: VersionRange

Instances

Monoid IntersectingVersionRange

Defined in Stack.Types.Version

Methods

mempty :: IntersectingVersionRange

mappend :: IntersectingVersionRange -> IntersectingVersionRange -> IntersectingVersionRange

mconcat :: [IntersectingVersionRange] -> IntersectingVersionRange

Semigroup IntersectingVersionRange

Defined in Stack.Types.Version

Methods

(<>) :: IntersectingVersionRange -> IntersectingVersionRange -> IntersectingVersionRange

sconcat :: NonEmpty IntersectingVersionRange -> IntersectingVersionRange

stimes :: Integral b => b -> IntersectingVersionRange -> IntersectingVersionRange

Show IntersectingVersionRange

Defined in Stack.Types.Version

Methods

showsPrec :: Int -> IntersectingVersionRange -> ShowS

show :: IntersectingVersionRange -> String

showList :: [IntersectingVersionRange] -> ShowS

data VersionCheck

Constructors

MatchMinor

MatchExact

NewerMinor

Instances

FromJSON VersionCheck

Defined in Stack.Types.Version

Methods

parseJSON :: Value -> Parser VersionCheck

parseJSONList :: Value -> Parser [VersionCheck]

omittedField :: Maybe VersionCheck

ToJSON VersionCheck

Defined in Stack.Types.Version

Methods

toJSON :: VersionCheck -> Value

toEncoding :: VersionCheck -> Encoding

toJSONList :: [VersionCheck] -> Value

toEncodingList :: [VersionCheck] -> Encoding

omitField :: VersionCheck -> Bool

Show VersionCheck

Defined in Stack.Types.Version

Methods

showsPrec :: Int -> VersionCheck -> ShowS

show :: VersionCheck -> String

showList :: [VersionCheck] -> ShowS

Eq VersionCheck

Defined in Stack.Types.Version

Methods

(==) :: VersionCheck -> VersionCheck -> Bool

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

Ord VersionCheck

Defined in Stack.Types.Version

Methods

compare :: VersionCheck -> VersionCheck -> Ordering

(<) :: VersionCheck -> VersionCheck -> Bool

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

(>) :: VersionCheck -> VersionCheck -> Bool

(>=) :: VersionCheck -> VersionCheck -> Bool

max :: VersionCheck -> VersionCheck -> VersionCheck

min :: VersionCheck -> VersionCheck -> VersionCheck

versionRangeText :: VersionRange -> Text

Display a version range

withinRange :: Version -> VersionRange -> Bool

intersectVersionRanges :: VersionRange -> VersionRange -> VersionRange

A modified intersection which also simplifies, for better display.

toMajorVersion :: Version -> Version

Returns the first two components, defaulting to 0 if not present

latestApplicableVersion :: VersionRange -> Set Version -> Maybe Version

Given a version range and a set of versions, find the latest version from the set that is within the range.

checkVersion :: VersionCheck -> Version -> Version -> Bool

nextMajorVersion :: Version -> Version

Get the next major version number for the given version

minorVersion :: Version -> Version

Get minor version (excludes any patchlevel)

stackVersion :: Version

Current Stack version

showStackVersion :: String

Current Stack version in the same format as yielded by showVersion.

stackMajorVersion :: Version

Current Stack major version. Returns the first two components, defaulting to 0 if not present

stackMinorVersion :: Version

Current Stack minor version (excludes patchlevel)