Cabal-3.2.1.0: A framework for packaging Haskell software
Safe Haskell None
Language Haskell2010

Distribution.Types.Version

Synopsis

Package versions

data Version Source #

A Version represents the version of a software entity.

Instances of Eq and Ord are provided, which gives exact equality and lexicographic ordering of the version number components (i.e. 2.1 > 2.0, 1.2.3 > 1.2.2, etc.).

This type is opaque and distinct from the Version type in Data.Version since Cabal-2.0 . The difference extends to the Binary instance using a different (and more compact) encoding.

Since: 2.0.0.2

Instances

Instances details
Eq Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

(==) :: Version -> Version -> Bool Source #

(/=) :: Version -> Version -> Bool Source #

Data Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> Version -> c Version Source #

gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c Version Source #

toConstr :: Version -> Constr Source #

dataTypeOf :: Version -> DataType Source #

dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c Version ) Source #

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

gmapT :: ( forall b. Data b => b -> b) -> Version -> Version Source #

gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Version -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Version -> r Source #

gmapQ :: ( forall d. Data d => d -> u) -> Version -> [u] Source #

gmapQi :: Int -> ( forall d. Data d => d -> u) -> Version -> u Source #

gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Version -> m Version Source #

gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Version -> m Version Source #

gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Version -> m Version Source #

Ord Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

compare :: Version -> Version -> Ordering Source #

(<) :: Version -> Version -> Bool Source #

(<=) :: Version -> Version -> Bool Source #

(>) :: Version -> Version -> Bool Source #

(>=) :: Version -> Version -> Bool Source #

max :: Version -> Version -> Version Source #

min :: Version -> Version -> Version Source #

Read Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

readsPrec :: Int -> ReadS Version Source #

readList :: ReadS [ Version ] Source #

readPrec :: ReadPrec Version Source #

readListPrec :: ReadPrec [ Version ] Source #

Show Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

showsPrec :: Int -> Version -> ShowS Source #

show :: Version -> String Source #

showList :: [ Version ] -> ShowS Source #

Generic Version Source #
Instance details

Defined in Distribution.Types.Version

Associated Types

type Rep Version :: Type -> Type Source #

Methods

from :: Version -> Rep Version x Source #

to :: Rep Version x -> Version Source #

Binary Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

put :: Version -> Put Source #

get :: Get Version Source #

putList :: [ Version ] -> Put Source #

NFData Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

rnf :: Version -> () Source #

Structured Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

structure :: Proxy Version -> Structure Source #

structureHash' :: Tagged Version MD5

Pretty Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

pretty :: Version -> Doc Source #

prettyVersioned :: CabalSpecVersion -> Version -> Doc Source #

Parsec Version Source #
Instance details

Defined in Distribution.Types.Version

Methods

parsec :: CabalParsing m => m Version 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 #

type Rep Version Source #
Instance details

Defined in Distribution.Types.Version

type Rep Version = D1 (' MetaData "Version" "Distribution.Types.Version" "Cabal-3.2.1.0-3w1fQQbNnuQ5xlFGwVXcPy" ' False ) ( C1 (' MetaCons "PV0" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' SourceUnpack ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )) :+: C1 (' MetaCons "PV1" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ Int ])))

mkVersion :: [ Int ] -> Version Source #

Construct Version from list of version number components.

For instance, mkVersion [3,2,1] constructs a Version representing the version 3.2.1 .

All version components must be non-negative. mkVersion [] currently represents the special null version; see also nullVersion .

Since: 2.0.0.2

mkVersion' :: Version -> Version Source #

Variant of mkVersion which converts a Data.Version Version into Cabal's Version type.

Since: 2.0.0.2

versionNumbers :: Version -> [ Int ] Source #

Unpack Version into list of version number components.

This is the inverse to mkVersion , so the following holds: 

(versionNumbers . mkVersion) vs == vs

Since: 2.0.0.2

nullVersion :: Version Source #

Constant representing the special null Version

The nullVersion compares (via Ord ) as less than every proper Version value.

Since: 2.0.0.2

alterVersion :: ([ Int ] -> [ Int ]) -> Version -> Version Source #

Apply function to list of version number components 

alterVersion f == mkVersion . f . versionNumbers

Since: 2.0.0.2

version0 :: Version Source #

Version 0. A lower bound of Version .

Since: 2.2

Internal

validVersion :: Version -> Bool Source #

versionDigitParser :: CabalParsing m => m Int Source #

An integral without leading zeroes.

Since: 3.0