Safe Haskell | None |
---|---|
Language | GHC2021 |
Hix.Managed.Data.Mutable
Synopsis
- data MutableDep where
- pattern MutableDep :: PackageName -> MutableDep
- data MutableDeps a
- unsafeMutableDep :: PackageName -> MutableDep
- depName :: MutableDep -> PackageName
- isMutableDep :: Set MutableDep -> PackageName -> Bool
- data MutableVersions
- data MutableBounds
- data MutableRanges
- data LocalRanges
- mutRestrictKeys :: NMap map MutableDep v sort => Set PackageName -> map -> map
- mutLookup :: (NMap map MutableDep v sort, NLookup sort MutableDep v l) => PackageName -> map -> l
- mutReplace :: NMap map MutableDep v sort => map -> map -> map
- mutReplaceTargets :: NMap map MutableDep v sort => Targets -> map -> Packages map -> Packages map
- mutUpdate :: (NMap map1 MutableDep v1 s1, NMap map2 MutableDep v2 s2) => (v1 -> v2 -> v2) -> map1 -> map2 -> map2
- mutUpdateTargets :: (NMap map1 MutableDep v1 s1, NMap map2 MutableDep v2 s2) => Targets -> (v1 -> v2 -> v2) -> map1 -> Packages map2 -> Packages map2
- classifyPackageDep :: Set LocalPackage -> Dep -> Either (LocalPackage, VersionRange) (MutableDep, VersionRange)
- mutRelax :: (NMap map1 MutableDep v s1, NMap map2 PackageName v s2) => map1 -> map2
- mutUpdatePartial :: forall map1 map2 v1 v2 s1 s2. (NMap map1 PackageName v1 s1, NMap map2 MutableDep v2 s2) => (v1 -> v2 -> v2) -> map1 -> map2 -> map2
- mutReplacePartial :: forall map1 map2 v1 s1 s2. (NMap map1 PackageName v1 s1, NMap map2 MutableDep v1 s2) => map1 -> map2 -> map2
- addBuildVersions :: Versions -> MutableVersions -> MutableVersions
- mutFromSet :: NMap map MutableDep v sort => Set MutableDep -> (MutableDep -> v) -> map
- mutRelaxVersions :: MutableVersions -> Versions
Documentation
data MutableDep where Source #
Bundled Patterns
pattern MutableDep :: PackageName -> MutableDep |
Instances
data MutableDeps a Source #
Instances
depName :: MutableDep -> PackageName Source #
isMutableDep :: Set MutableDep -> PackageName -> Bool Source #
data MutableVersions Source #
Instances
Pretty MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableVersions -> Doc # prettyVersioned :: CabalSpecVersion -> MutableVersions -> Doc # | |||||
Monoid MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods mappend :: MutableVersions -> MutableVersions -> MutableVersions # mconcat :: [MutableVersions] -> MutableVersions # | |||||
Semigroup MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableVersions -> MutableVersions -> MutableVersions # sconcat :: NonEmpty MutableVersions -> MutableVersions # stimes :: Integral b => b -> MutableVersions -> MutableVersions # | |||||
Generic MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
Methods from :: MutableVersions -> Rep MutableVersions x # to :: Rep MutableVersions x -> MutableVersions # | |||||
IsList MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
Methods fromList :: [Item MutableVersions] -> MutableVersions # fromListN :: Int -> [Item MutableVersions] -> MutableVersions # toList :: MutableVersions -> [Item MutableVersions] # | |||||
Show MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableVersions -> ShowS # show :: MutableVersions -> String # showList :: [MutableVersions] -> ShowS # | |||||
Eq MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableVersions -> MutableVersions -> Bool # (/=) :: MutableVersions -> MutableVersions -> Bool # | |||||
EncodeNix MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods encodeNix :: MutableVersions -> Expr Source # | |||||
NMap MutableVersions MutableDep (Maybe Version) LookupMaybe Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableVersions -> Map MutableDep (Maybe Version) Source # | |||||
type Rep MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable type Rep MutableVersions = D1 ('MetaData "MutableVersions" "Hix.Managed.Data.Mutable" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "MutableVersions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep (Maybe Version))))) | |||||
type Item MutableVersions Source # | |||||
Defined in Hix.Managed.Data.Mutable |
data MutableBounds Source #
Instances
Pretty MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableBounds -> Doc # prettyVersioned :: CabalSpecVersion -> MutableBounds -> Doc # | |||||
ToJSON MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods toJSON :: MutableBounds -> Value # toEncoding :: MutableBounds -> Encoding # toJSONList :: [MutableBounds] -> Value # toEncodingList :: [MutableBounds] -> Encoding # omitField :: MutableBounds -> Bool # | |||||
Monoid MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableBounds # mappend :: MutableBounds -> MutableBounds -> MutableBounds # mconcat :: [MutableBounds] -> MutableBounds # | |||||
Semigroup MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableBounds -> MutableBounds -> MutableBounds # sconcat :: NonEmpty MutableBounds -> MutableBounds # stimes :: Integral b => b -> MutableBounds -> MutableBounds # | |||||
Generic MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
| |||||
IsList MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
Methods fromList :: [Item MutableBounds] -> MutableBounds # fromListN :: Int -> [Item MutableBounds] -> MutableBounds # toList :: MutableBounds -> [Item MutableBounds] # | |||||
Show MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableBounds -> ShowS # show :: MutableBounds -> String # showList :: [MutableBounds] -> ShowS # | |||||
Eq MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableBounds -> MutableBounds -> Bool # (/=) :: MutableBounds -> MutableBounds -> Bool # | |||||
EncodeNix MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods encodeNix :: MutableBounds -> Expr Source # | |||||
NMap MutableBounds MutableDep VersionBounds LookupMaybe Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableBounds -> Map MutableDep VersionBounds Source # | |||||
type Rep MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable type Rep MutableBounds = D1 ('MetaData "MutableBounds" "Hix.Managed.Data.Mutable" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "MutableBounds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep VersionBounds)))) | |||||
type Item MutableBounds Source # | |||||
Defined in Hix.Managed.Data.Mutable |
data MutableRanges Source #
Instances
Pretty MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableRanges -> Doc # prettyVersioned :: CabalSpecVersion -> MutableRanges -> Doc # | |||||
Monoid MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableRanges # mappend :: MutableRanges -> MutableRanges -> MutableRanges # mconcat :: [MutableRanges] -> MutableRanges # | |||||
Semigroup MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableRanges -> MutableRanges -> MutableRanges # sconcat :: NonEmpty MutableRanges -> MutableRanges # stimes :: Integral b => b -> MutableRanges -> MutableRanges # | |||||
Generic MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
| |||||
IsList MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
Methods fromList :: [Item MutableRanges] -> MutableRanges # fromListN :: Int -> [Item MutableRanges] -> MutableRanges # toList :: MutableRanges -> [Item MutableRanges] # | |||||
Show MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableRanges -> ShowS # show :: MutableRanges -> String # showList :: [MutableRanges] -> ShowS # | |||||
Eq MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableRanges -> MutableRanges -> Bool # (/=) :: MutableRanges -> MutableRanges -> Bool # | |||||
NMap MutableRanges MutableDep VersionRange LookupMaybe Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableRanges -> Map MutableDep VersionRange Source # | |||||
type Rep MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable type Rep MutableRanges = D1 ('MetaData "MutableRanges" "Hix.Managed.Data.Mutable" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "MutableRanges" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep VersionRange)))) | |||||
type Item MutableRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable |
data LocalRanges Source #
Instances
Pretty LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable | |||||
Monoid LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods mempty :: LocalRanges # mappend :: LocalRanges -> LocalRanges -> LocalRanges # mconcat :: [LocalRanges] -> LocalRanges # | |||||
Semigroup LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods (<>) :: LocalRanges -> LocalRanges -> LocalRanges # sconcat :: NonEmpty LocalRanges -> LocalRanges # stimes :: Integral b => b -> LocalRanges -> LocalRanges # | |||||
Generic LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
| |||||
IsList LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Associated Types
Methods fromList :: [Item LocalRanges] -> LocalRanges # fromListN :: Int -> [Item LocalRanges] -> LocalRanges # toList :: LocalRanges -> [Item LocalRanges] # | |||||
Show LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> LocalRanges -> ShowS # show :: LocalRanges -> String # showList :: [LocalRanges] -> ShowS # | |||||
Eq LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable | |||||
NMap LocalRanges LocalPackage VersionRange LookupMaybe Source # | |||||
Defined in Hix.Managed.Data.Mutable Methods nGet :: LocalRanges -> Map LocalPackage VersionRange Source # | |||||
type Rep LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable type Rep LocalRanges = D1 ('MetaData "LocalRanges" "Hix.Managed.Data.Mutable" "hix-0.7.2-7rwpoWJhaauIDtZl7KwtG7" 'True) (C1 ('MetaCons "LocalRanges" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map LocalPackage VersionRange)))) | |||||
type Item LocalRanges Source # | |||||
Defined in Hix.Managed.Data.Mutable |
mutRestrictKeys :: NMap map MutableDep v sort => Set PackageName -> map -> map Source #
mutLookup :: (NMap map MutableDep v sort, NLookup sort MutableDep v l) => PackageName -> map -> l Source #
mutReplace :: NMap map MutableDep v sort => map -> map -> map Source #
mutReplaceTargets :: NMap map MutableDep v sort => Targets -> map -> Packages map -> Packages map Source #
mutUpdate :: (NMap map1 MutableDep v1 s1, NMap map2 MutableDep v2 s2) => (v1 -> v2 -> v2) -> map1 -> map2 -> map2 Source #
mutUpdateTargets :: (NMap map1 MutableDep v1 s1, NMap map2 MutableDep v2 s2) => Targets -> (v1 -> v2 -> v2) -> map1 -> Packages map2 -> Packages map2 Source #
classifyPackageDep :: Set LocalPackage -> Dep -> Either (LocalPackage, VersionRange) (MutableDep, VersionRange) Source #
mutRelax :: (NMap map1 MutableDep v s1, NMap map2 PackageName v s2) => map1 -> map2 Source #
mutUpdatePartial :: forall map1 map2 v1 v2 s1 s2. (NMap map1 PackageName v1 s1, NMap map2 MutableDep v2 s2) => (v1 -> v2 -> v2) -> map1 -> map2 -> map2 Source #
Update a MutableDep map with a PackageName map, only where the original is defined.
mutReplacePartial :: forall map1 map2 v1 s1 s2. (NMap map1 PackageName v1 s1, NMap map2 MutableDep v1 s2) => map1 -> map2 -> map2 Source #
Replace entries in a MutableDep map with those from a PackageName map, only where the original is defined.
mutFromSet :: NMap map MutableDep v sort => Set MutableDep -> (MutableDep -> v) -> map Source #