| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Hix.Managed.Diff
Synopsis
- diffOriginal :: Diff d a -> Maybe a
- changeOriginal :: Change d a -> Maybe a
- reifyChangeWith :: b -> (a -> b) -> Change d a -> b
- reifyChange :: a -> Change d a -> a
- reifyChangeMaybe :: Change d a -> Maybe a
- reifyBoundsChangeMaybe :: BoundsChange -> Maybe VersionBounds
- reifyBoundsChange :: BoundsChange -> VersionBounds
- reifyBoundsChanges :: MutableDeps BoundsChange -> MutableBounds
- reifyVersionChange :: VersionChange -> Maybe Version
- reifyVersionChanges :: MutableDeps VersionChange -> MutableVersions
- applyVersionChange :: VersionChange -> Maybe Version -> Maybe Version
- applyBoundsChange :: BoundsChange -> VersionBounds -> VersionBounds
- diff :: (a -> a -> Maybe d) -> a -> a -> Change d a
- diffMaybe :: (a -> a -> Maybe d) -> Maybe a -> Maybe a -> Change d a
- versionDiffDetail :: Version -> Version -> Maybe ()
- versionChange :: Maybe Version -> Maybe Version -> VersionChange
- versionDiff :: Maybe Version -> Maybe Version -> Maybe (Diff () Version)
- boundsDiffDetail :: VersionBounds -> VersionBounds -> Maybe BoundsDiffDetail
- boundsChange :: VersionBounds -> VersionBounds -> BoundsChange
- updateVersionChange :: Version -> VersionChange -> VersionChange
- updateBoundsChange :: VersionBounds -> BoundsChange -> BoundsChange
- updateVersionChanges :: (NMap vmap MutableDep (Maybe Version) s1, NMap map MutableDep VersionChange s2) => vmap -> map -> map
- updateBoundsChanges :: (NMap vmap MutableDep VersionBounds s1, NMap map MutableDep BoundsChange s2) => vmap -> map -> map
- initChanges :: (NMap map1 k (Maybe v1) s1, NMap map2 k (Change d v1) s2) => map1 -> map2
Documentation
diffOriginal :: Diff d a -> Maybe a Source #
changeOriginal :: Change d a -> Maybe a Source #
reifyChangeWith :: b -> (a -> b) -> Change d a -> b Source #
reifyChange :: a -> Change d a -> a Source #
reifyChangeMaybe :: Change d a -> Maybe a Source #
applyVersionChange :: VersionChange -> Maybe Version -> Maybe Version Source #
versionChange :: Maybe Version -> Maybe Version -> VersionChange Source #
updateBoundsChange :: VersionBounds -> BoundsChange -> BoundsChange Source #
We never want to remove any bounds, but mutations only return the bound they have targeted, so we need to fall back to the original bounds when updating.
updateVersionChanges :: (NMap vmap MutableDep (Maybe Version) s1, NMap map MutableDep VersionChange s2) => vmap -> map -> map Source #
updateBoundsChanges :: (NMap vmap MutableDep VersionBounds s1, NMap map MutableDep BoundsChange s2) => vmap -> map -> map Source #