Safe Haskell	Safe-Inferred
Language	GHC2021

Hix.Data.Version

Synopsis

newtype SourceHash = SourceHash Text
newtype Versions = Versions (Map PackageName Version)
data Major = Major {
- prefix :: Version
- versions :: NonEmpty Version
}
range0 :: VersionRange
packageIdVersions :: [PackageId] -> Versions
prettyMajors :: NonEmpty Major -> Doc
data Version
data VersionRange

Documentation

newtype SourceHash Source #

Constructors

SourceHash Text

Instances

Instances details

Pretty SourceHash Source #
Instance details Defined in Hix.Data.Version Methods pretty :: SourceHash -> Doc # prettyVersioned :: CabalSpecVersion -> SourceHash -> Doc #
FromJSON SourceHash Source #
Instance details Defined in Hix.Data.Version Methods parseJSON :: Value -> Parser SourceHash # parseJSONList :: Value -> Parser [SourceHash] #
Generic SourceHash Source #
Instance details Defined in Hix.Data.Version Associated Types type Rep SourceHash :: Type -> Type # 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.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "SourceHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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] #
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 :: Type -> Type # 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 # 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.1-GF38grEMhDKjpxBMjWXGC" '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)

data Major Source #

Constructors

Major
Fields prefix :: Version versions :: NonEmpty Version

Instances

Instances details

Generic Major Source #
Instance details Defined in Hix.Data.Version Associated Types type Rep Major :: Type -> Type # Methods from :: Major -> Rep Major x # to :: Rep Major x -> Major #
Show Major Source #
Instance details Defined in Hix.Data.Version Methods showsPrec :: Int -> Major -> ShowS # show :: Major -> String # showList :: [Major] -> ShowS #
Eq Major Source #
Instance details Defined in Hix.Data.Version Methods (==) :: Major -> Major -> Bool # (/=) :: Major -> Major -> Bool #
type Rep Major Source #
Instance details Defined in Hix.Data.Version type Rep Major = D1 ('MetaData "Major" "Hix.Data.Version" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "Major" 'PrefixI 'True) (S1 ('MetaSel ('Just "prefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Just "versions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty Version))))

range0 :: VersionRange Source #

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 :: Type -> Type # 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 # 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 SourcePackageDeps Version [Dep] LookupMonoid Source #
Instance details Defined in Hix.Managed.Cabal.Data.SourcePackage Methods nGet :: SourcePackageDeps -> Map Version [Dep] 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-JHpXfet2bTUET4asL8h38G" '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 :: Type -> Type # 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 # 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 Rep VersionRange = D1 ('MetaData "VersionRange" "Distribution.Types.VersionRange.Internal" "Cabal-syntax-3.10.3.0-JHpXfet2bTUET4asL8h38G" '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)))))
type Item VersionRange Source #
Instance details Defined in Hix.Orphans.Version type Item VersionRange = Version