Safe Haskell	Safe-Inferred
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

Instances details

Pretty MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableDep -> Doc # prettyVersioned :: CabalSpecVersion -> MutableDep -> Doc #
ToJSON MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods toJSON :: MutableDep -> Value # toEncoding :: MutableDep -> Encoding # toJSONList :: [MutableDep] -> Value # toEncodingList :: [MutableDep] -> Encoding #
ToJSONKey MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods toJSONKey :: ToJSONKeyFunction MutableDep # toJSONKeyList :: ToJSONKeyFunction [MutableDep] #
Show MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableDep -> ShowS # show :: MutableDep -> String # showList :: [MutableDep] -> ShowS #
Eq MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableDep -> MutableDep -> Bool # (/=) :: MutableDep -> MutableDep -> Bool #
Ord MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods compare :: MutableDep -> MutableDep -> Ordering # (<) :: MutableDep -> MutableDep -> Bool # (<=) :: MutableDep -> MutableDep -> Bool # (>) :: MutableDep -> MutableDep -> Bool # (>=) :: MutableDep -> MutableDep -> Bool # max :: MutableDep -> MutableDep -> MutableDep # min :: MutableDep -> MutableDep -> MutableDep #
EncodeNixKey MutableDep Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods encodeNixKey :: MutableDep -> Text Source #
IsString a => ToSegment MutableDep a Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods toSegment :: MutableDep -> a #
NMap MutableBounds MutableDep VersionBounds LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableBounds -> Map MutableDep VersionBounds Source #
NMap MutableRanges MutableDep VersionRange LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableRanges -> Map MutableDep VersionRange Source #
NMap MutableVersions MutableDep (Maybe Version) LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableVersions -> Map MutableDep (Maybe Version) Source #
NMap (MutableDeps a) MutableDep a LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableDeps a -> Map MutableDep a Source #

data MutableDeps a Source #

Instances

Instances details

Pretty a => Pretty (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableDeps a -> Doc # prettyVersioned :: CabalSpecVersion -> MutableDeps a -> Doc #
Monoid (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableDeps a # mappend :: MutableDeps a -> MutableDeps a -> MutableDeps a # mconcat :: [MutableDeps a] -> MutableDeps a #
Semigroup (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableDeps a -> MutableDeps a -> MutableDeps a # sconcat :: NonEmpty (MutableDeps a) -> MutableDeps a # stimes :: Integral b => b -> MutableDeps a -> MutableDeps a #
Generic (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Rep (MutableDeps a) :: Type -> Type # Methods from :: MutableDeps a -> Rep (MutableDeps a) x # to :: Rep (MutableDeps a) x -> MutableDeps a #
Show a => Show (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableDeps a -> ShowS # show :: MutableDeps a -> String # showList :: [MutableDeps a] -> ShowS #
Eq a => Eq (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableDeps a -> MutableDeps a -> Bool # (/=) :: MutableDeps a -> MutableDeps a -> Bool #
EncodeNix a => EncodeNix (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods encodeNix :: MutableDeps a -> Expr Source #
NMap (MutableDeps a) MutableDep a LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableDeps a -> Map MutableDep a Source #
type Rep (MutableDeps a) Source #
Instance details Defined in Hix.Managed.Data.Mutable type Rep (MutableDeps a) = D1 ('MetaData "MutableDeps" "Hix.Managed.Data.Mutable" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "MutableDeps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep a))))

unsafeMutableDep :: PackageName -> MutableDep Source #

depName :: MutableDep -> PackageName Source #

isMutableDep :: Set MutableDep -> PackageName -> Bool Source #

data MutableVersions Source #

Instances

Instances details

Pretty MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableVersions -> Doc # prettyVersioned :: CabalSpecVersion -> MutableVersions -> Doc #
Monoid MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableVersions # mappend :: MutableVersions -> MutableVersions -> MutableVersions # mconcat :: [MutableVersions] -> MutableVersions #
Semigroup MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableVersions -> MutableVersions -> MutableVersions # sconcat :: NonEmpty MutableVersions -> MutableVersions # stimes :: Integral b => b -> MutableVersions -> MutableVersions #
Generic MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Rep MutableVersions :: Type -> Type # Methods from :: MutableVersions -> Rep MutableVersions x # to :: Rep MutableVersions x -> MutableVersions #
IsList MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Item MutableVersions # Methods fromList :: [Item MutableVersions] -> MutableVersions # fromListN :: Int -> [Item MutableVersions] -> MutableVersions # toList :: MutableVersions -> [Item MutableVersions] #
Show MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableVersions -> ShowS # show :: MutableVersions -> String # showList :: [MutableVersions] -> ShowS #
Eq MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableVersions -> MutableVersions -> Bool # (/=) :: MutableVersions -> MutableVersions -> Bool #
EncodeNix MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods encodeNix :: MutableVersions -> Expr 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 MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable type Rep MutableVersions = D1 ('MetaData "MutableVersions" "Hix.Managed.Data.Mutable" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "MutableVersions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep (Maybe Version)))))
type Item MutableVersions Source #
Instance details Defined in Hix.Managed.Data.Mutable type Item MutableVersions = Item (Map MutableDep (Maybe Version))

data MutableBounds Source #

Instances

Instances details

Pretty MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableBounds -> Doc # prettyVersioned :: CabalSpecVersion -> MutableBounds -> Doc #
ToJSON MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods toJSON :: MutableBounds -> Value # toEncoding :: MutableBounds -> Encoding # toJSONList :: [MutableBounds] -> Value # toEncodingList :: [MutableBounds] -> Encoding #
Monoid MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableBounds # mappend :: MutableBounds -> MutableBounds -> MutableBounds # mconcat :: [MutableBounds] -> MutableBounds #
Semigroup MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableBounds -> MutableBounds -> MutableBounds # sconcat :: NonEmpty MutableBounds -> MutableBounds # stimes :: Integral b => b -> MutableBounds -> MutableBounds #
Generic MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Rep MutableBounds :: Type -> Type # Methods from :: MutableBounds -> Rep MutableBounds x # to :: Rep MutableBounds x -> MutableBounds #
IsList MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Item MutableBounds # Methods fromList :: [Item MutableBounds] -> MutableBounds # fromListN :: Int -> [Item MutableBounds] -> MutableBounds # toList :: MutableBounds -> [Item MutableBounds] #
Show MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableBounds -> ShowS # show :: MutableBounds -> String # showList :: [MutableBounds] -> ShowS #
Eq MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableBounds -> MutableBounds -> Bool # (/=) :: MutableBounds -> MutableBounds -> Bool #
EncodeNix MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods encodeNix :: MutableBounds -> Expr Source #
NMap MutableBounds MutableDep VersionBounds LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableBounds -> Map MutableDep VersionBounds Source #
type Rep MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable type Rep MutableBounds = D1 ('MetaData "MutableBounds" "Hix.Managed.Data.Mutable" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "MutableBounds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep VersionBounds))))
type Item MutableBounds Source #
Instance details Defined in Hix.Managed.Data.Mutable type Item MutableBounds = Item (Map MutableDep VersionBounds)

data MutableRanges Source #

Instances

Instances details

Pretty MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: MutableRanges -> Doc # prettyVersioned :: CabalSpecVersion -> MutableRanges -> Doc #
Monoid MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods mempty :: MutableRanges # mappend :: MutableRanges -> MutableRanges -> MutableRanges # mconcat :: [MutableRanges] -> MutableRanges #
Semigroup MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (<>) :: MutableRanges -> MutableRanges -> MutableRanges # sconcat :: NonEmpty MutableRanges -> MutableRanges # stimes :: Integral b => b -> MutableRanges -> MutableRanges #
Generic MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Rep MutableRanges :: Type -> Type # Methods from :: MutableRanges -> Rep MutableRanges x # to :: Rep MutableRanges x -> MutableRanges #
IsList MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Item MutableRanges # Methods fromList :: [Item MutableRanges] -> MutableRanges # fromListN :: Int -> [Item MutableRanges] -> MutableRanges # toList :: MutableRanges -> [Item MutableRanges] #
Show MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> MutableRanges -> ShowS # show :: MutableRanges -> String # showList :: [MutableRanges] -> ShowS #
Eq MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: MutableRanges -> MutableRanges -> Bool # (/=) :: MutableRanges -> MutableRanges -> Bool #
NMap MutableRanges MutableDep VersionRange LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: MutableRanges -> Map MutableDep VersionRange Source #
type Rep MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable type Rep MutableRanges = D1 ('MetaData "MutableRanges" "Hix.Managed.Data.Mutable" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "MutableRanges" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map MutableDep VersionRange))))
type Item MutableRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable type Item MutableRanges = Item (Map MutableDep VersionRange)

data LocalRanges Source #

Instances

Instances details

Pretty LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods pretty :: LocalRanges -> Doc # prettyVersioned :: CabalSpecVersion -> LocalRanges -> Doc #
Monoid LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods mempty :: LocalRanges # mappend :: LocalRanges -> LocalRanges -> LocalRanges # mconcat :: [LocalRanges] -> LocalRanges #
Semigroup LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (<>) :: LocalRanges -> LocalRanges -> LocalRanges # sconcat :: NonEmpty LocalRanges -> LocalRanges # stimes :: Integral b => b -> LocalRanges -> LocalRanges #
Generic LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Rep LocalRanges :: Type -> Type # Methods from :: LocalRanges -> Rep LocalRanges x # to :: Rep LocalRanges x -> LocalRanges #
IsList LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Associated Types type Item LocalRanges # Methods fromList :: [Item LocalRanges] -> LocalRanges # fromListN :: Int -> [Item LocalRanges] -> LocalRanges # toList :: LocalRanges -> [Item LocalRanges] #
Show LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods showsPrec :: Int -> LocalRanges -> ShowS # show :: LocalRanges -> String # showList :: [LocalRanges] -> ShowS #
Eq LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods (==) :: LocalRanges -> LocalRanges -> Bool # (/=) :: LocalRanges -> LocalRanges -> Bool #
NMap LocalRanges LocalPackage VersionRange LookupMaybe Source #
Instance details Defined in Hix.Managed.Data.Mutable Methods nGet :: LocalRanges -> Map LocalPackage VersionRange Source #
type Rep LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable type Rep LocalRanges = D1 ('MetaData "LocalRanges" "Hix.Managed.Data.Mutable" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "LocalRanges" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map LocalPackage VersionRange))))
type Item LocalRanges Source #
Instance details Defined in Hix.Managed.Data.Mutable type Item LocalRanges = Item (Map LocalPackage VersionRange)

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.

addBuildVersions :: Versions -> MutableVersions -> MutableVersions Source #

mutFromSet :: NMap map MutableDep v sort => Set MutableDep -> (MutableDep -> v) -> map Source #

mutRelaxVersions :: MutableVersions -> Versions Source #