type Rep SourceHash
Instance details Defined in Hix.Data.Version type Rep SourceHash = D1 ('MetaData "SourceHash" "Hix.Data.Version" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "SourceHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: SourceHash -> Rep SourceHash x #

to :: Rep SourceHash x -> SourceHash #

Show SourceHash Source #

Instance details

Defined in Hix.Data.Version

Methods

showsPrec :: Int -> SourceHash -> ShowS #

show :: SourceHash -> String #

showList :: [SourceHash] -> ShowS #

Eq SourceHash Source #

Instance details

Defined in Hix.Data.Version

Methods

(==) :: SourceHash -> SourceHash -> Bool #

(/=) :: SourceHash -> SourceHash -> Bool #

Ord SourceHash Source #

Instance details

Defined in Hix.Data.Version

Methods

compare :: SourceHash -> SourceHash -> Ordering #

(<) :: SourceHash -> SourceHash -> Bool #

(<=) :: SourceHash -> SourceHash -> Bool #

(>) :: SourceHash -> SourceHash -> Bool #

(>=) :: SourceHash -> SourceHash -> Bool #

max :: SourceHash -> SourceHash -> SourceHash #

min :: SourceHash -> SourceHash -> SourceHash #

EncodeNix SourceHash Source #

Instance details

Defined in Hix.Data.Version

Methods

encodeNix :: SourceHash -> Expr Source #

type Rep SourceHash Source #

Instance details

Defined in Hix.Data.Version

type Rep SourceHash = D1 ('MetaData "SourceHash" "Hix.Data.Version" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "SourceHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

range0 :: VersionRange Source #

newtype Versions Source #

Constructors

Versions (Map PackageName Version)

Instances

Instances details

Pretty Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

pretty :: Versions -> Doc #

prettyVersioned :: CabalSpecVersion -> Versions -> Doc #

FromJSON Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

parseJSON :: Value -> Parser Versions #

parseJSONList :: Value -> Parser [Versions] #

omittedField :: Maybe Versions #

Monoid Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

mempty :: Versions #

mappend :: Versions -> Versions -> Versions #

mconcat :: [Versions] -> Versions #

Semigroup Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

(<>) :: Versions -> Versions -> Versions #

sconcat :: NonEmpty Versions -> Versions #

stimes :: Integral b => b -> Versions -> Versions #

Generic Versions Source #

Instance details

Defined in Hix.Data.Version

Associated Types

type Rep Versions
Instance details Defined in Hix.Data.Version type Rep Versions = D1 ('MetaData "Versions" "Hix.Data.Version" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "Versions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName Version))))

Methods

from :: Versions -> Rep Versions x #

to :: Rep Versions x -> Versions #

IsList Versions Source #

Instance details

Defined in Hix.Data.Version

Associated Types

type Item Versions
Instance details Defined in Hix.Data.Version type Item Versions = Item (Map PackageName Version)

Methods

fromList :: [Item Versions] -> Versions #

fromListN :: Int -> [Item Versions] -> Versions #

toList :: Versions -> [Item Versions] #

Show Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

showsPrec :: Int -> Versions -> ShowS #

show :: Versions -> String #

showList :: [Versions] -> ShowS #

Eq Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

(==) :: Versions -> Versions -> Bool #

(/=) :: Versions -> Versions -> Bool #

EncodeNix Versions Source #

Instance details

Defined in Hix.Data.Version

Methods

encodeNix :: Versions -> Expr Source #

NMap Versions PackageName Version LookupMaybe Source #

Instance details

Defined in Hix.Data.Version

Methods

nGet :: Versions -> Map PackageName Version Source #

type Rep Versions Source #

Instance details

Defined in Hix.Data.Version

type Rep Versions = D1 ('MetaData "Versions" "Hix.Data.Version" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "Versions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName Version))))

type Item Versions Source #

Instance details

Defined in Hix.Data.Version

type Item Versions = Item (Map PackageName Version)

packageIdVersions :: [PackageId] -> Versions Source #

prettyMajors :: NonEmpty Major -> Doc Source #

data Version #

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: Cabal-syntax-2.0.0.2

Instances

Instances details

Parsec Version

Instance details

Defined in Distribution.Types.Version

Methods

parsec :: CabalParsing m => m Version #

Pretty Version

Instance details

Defined in Distribution.Types.Version

Methods

pretty :: Version -> Doc #

prettyVersioned :: CabalSpecVersion -> Version -> Doc #

Structured Version

Instance details

Defined in Distribution.Types.Version

Methods

structure :: Proxy Version -> Structure #

structureHash' :: Tagged Version MD5

Data Version

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 #

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

toConstr :: Version -> Constr #

dataTypeOf :: Version -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Version

Instance details

Defined in Distribution.Types.Version

Associated Types

type Rep Version

Instance details

Defined in Distribution.Types.Version

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

Methods

from :: Version -> Rep Version x #

to :: Rep Version x -> Version #

IsList Version Source #

Instance details

Defined in Hix.Orphans.Version

Associated Types

type Item Version
Instance details Defined in Hix.Orphans.Version type Item Version = Int

Methods

fromList :: [Item Version] -> Version #

fromListN :: Int -> [Item Version] -> Version #

toList :: Version -> [Item Version] #

Read Version

Instance details

Defined in Distribution.Types.Version

Methods

readsPrec :: Int -> ReadS Version #

readList :: ReadS [Version] #

readPrec :: ReadPrec Version #

readListPrec :: ReadPrec [Version] #

Show Version

Instance details

Defined in Distribution.Types.Version

Methods

showsPrec :: Int -> Version -> ShowS #

show :: Version -> String #

showList :: [Version] -> ShowS #

Binary Version

Instance details

Defined in Distribution.Types.Version

Methods

put :: Version -> Put #

get :: Get Version #

putList :: [Version] -> Put #

NFData Version

Instance details

Defined in Distribution.Types.Version

Methods

rnf :: Version -> () #

Eq Version

Instance details

Defined in Distribution.Types.Version

Methods

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

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

Ord Version

Instance details

Defined in Distribution.Types.Version

Methods

compare :: Version -> Version -> Ordering #

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

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

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

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

max :: Version -> Version -> Version #

min :: Version -> Version -> Version #

EncodeNix Version Source #

Instance details

Defined in Hix.Class.EncodeNix

Methods

encodeNix :: Version -> Expr Source #

NMap Versions PackageName Version LookupMaybe Source #

Instance details

Defined in Hix.Data.Version

Methods

nGet :: Versions -> Map PackageName Version Source #

NMap SourcePackage Version SourcePackageId LookupMonoid Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SourcePackage

Methods

nGet :: SourcePackage -> Map Version SourcePackageId Source #

NMap SourcePackageVersions PackageName [Version] LookupMaybe Source #

Instance details

Defined in Hix.Managed.Cabal.Data.SourcePackage

Methods

nGet :: SourcePackageVersions -> Map PackageName [Version] Source #

NMap MutableVersions MutableDep (Maybe Version) LookupMaybe Source #

Instance details

Defined in Hix.Managed.Data.Mutable

Methods

nGet :: MutableVersions -> Map MutableDep (Maybe Version) Source #

type Rep Version

Instance details

Defined in Distribution.Types.Version

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

type Item Version Source #

Instance details

Defined in Hix.Orphans.Version

type Item Version = Int

data VersionRange #

Instances

Instances details

Parsec VersionRange

>>> simpleParsec "^>= 3.4" :: Maybe VersionRange
Just (MajorBoundVersion (mkVersion [3,4]))

Small history:

-any and -none removed in 3.4 Use >=0 and <0 instead.

>>> map (`simpleParsec'` "-none") [CabalSpecV3_0, CabalSpecV3_4] :: [Maybe VersionRange]
[Just (EarlierVersion (mkVersion [0])),Nothing]

Set operations are introduced in 3.0

>>> map (`simpleParsec'` "^>= { 1.2 , 1.3 }") [CabalSpecV2_4, CabalSpecV3_0] :: [Maybe VersionRange]
[Nothing,Just (UnionVersionRanges (MajorBoundVersion (mkVersion [1,2])) (MajorBoundVersion (mkVersion [1,3])))]

^>= is introduced in 2.0

>>> map (`simpleParsec'` "^>=1.2") [CabalSpecV1_24, CabalSpecV2_0] :: [Maybe VersionRange]
[Nothing,Just (MajorBoundVersion (mkVersion [1,2]))]

-none is introduced in 1.22

>>> map (`simpleParsec'` "-none") [CabalSpecV1_20, CabalSpecV1_22] :: [Maybe VersionRange]
[Nothing,Just (EarlierVersion (mkVersion [0]))]

Operators are introduced in 1.8. Issues only a warning.

>>> map (`simpleParsecW'` "== 1 || ==2") [CabalSpecV1_6, CabalSpecV1_8] :: [Maybe VersionRange]
[Nothing,Just (UnionVersionRanges (ThisVersion (mkVersion [1])) (ThisVersion (mkVersion [2])))]

Wild-version ranges are introduced in 1.6. Issues only a warning.

>>> map (`simpleParsecW'` "== 1.2.*") [CabalSpecV1_4, CabalSpecV1_6] :: [Maybe VersionRange]
[Nothing,Just (IntersectVersionRanges (OrLaterVersion (mkVersion [1,2])) (EarlierVersion (mkVersion [1,3])))]

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

parsec :: CabalParsing m => m VersionRange #

Pretty VersionRange

>>> fmap pretty (simpleParsec' CabalSpecV1_6 "== 3.2.*" :: Maybe VersionRange)
Just >=3.2 && <3.3

>>> fmap (prettyVersioned CabalSpecV1_6) (simpleParsec' CabalSpecV1_6 "== 3.2.*" :: Maybe VersionRange)
Just ==3.2.*

>>> fmap pretty (simpleParsec' CabalSpecV1_6 "-any" :: Maybe VersionRange)
Just >=0

>>> fmap (prettyVersioned CabalSpecV1_6) (simpleParsec' CabalSpecV1_6 "-any" :: Maybe VersionRange)
Just >=0

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

pretty :: VersionRange -> Doc #

prettyVersioned :: CabalSpecVersion -> VersionRange -> Doc #

Structured VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

structure :: Proxy VersionRange -> Structure #

structureHash' :: Tagged VersionRange MD5

Data VersionRange

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 #

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

Instance details

Defined in Distribution.Types.VersionRange.Internal

Associated Types

type Rep VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

from :: VersionRange -> Rep VersionRange x #

to :: Rep VersionRange x -> VersionRange #

IsList VersionRange Source #

Instance details

Defined in Hix.Orphans.Version

Associated Types

type Item VersionRange
Instance details Defined in Hix.Orphans.Version type Item VersionRange = Version

Methods

fromList :: [Item VersionRange] -> VersionRange #

fromListN :: Int -> [Item VersionRange] -> VersionRange #

toList :: VersionRange -> [Item VersionRange] #

Read VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

readsPrec :: Int -> ReadS VersionRange #

readList :: ReadS [VersionRange] #

readPrec :: ReadPrec VersionRange #

readListPrec :: ReadPrec [VersionRange] #

Show VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

showsPrec :: Int -> VersionRange -> ShowS #

show :: VersionRange -> String #

showList :: [VersionRange] -> ShowS #

Binary VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

put :: VersionRange -> Put #

get :: Get VersionRange #

putList :: [VersionRange] -> Put #

NFData VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

rnf :: VersionRange -> () #

Eq VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

Methods

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

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

Ord VersionRange

Instance details

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 #

EncodeNix VersionRange Source #

Instance details

Defined in Hix.Class.EncodeNix

Methods

encodeNix :: VersionRange -> Expr Source #

NMap Ranges PackageName VersionRange LookupMaybe Source #

Instance details

Defined in Hix.Data.Bounds

Methods

nGet :: Ranges -> Map PackageName VersionRange Source #

NMap LocalRanges LocalPackage VersionRange LookupMaybe Source #

Instance details

Defined in Hix.Managed.Data.Mutable

Methods

nGet :: LocalRanges -> Map LocalPackage VersionRange Source #

NMap MutableRanges MutableDep VersionRange LookupMaybe Source #

Instance details

Defined in Hix.Managed.Data.Mutable

Methods

nGet :: MutableRanges -> Map MutableDep VersionRange Source #

Newtype (CompilerFlavor, VersionRange) TestedWith

Instance details

Defined in Distribution.FieldGrammar.Newtypes

Methods

pack :: (CompilerFlavor, VersionRange) -> TestedWith #

unpack :: TestedWith -> (CompilerFlavor, VersionRange) #

type Rep VersionRange

Instance details

Defined in Distribution.Types.VersionRange.Internal

type Item VersionRange Source #

Instance details

Defined in Hix.Orphans.Version

type Item VersionRange = Version