context 0.2.1.0 → 0.2.1.1
raw patch · 3 files changed
+9/−5 lines, 3 filesdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers
API changes (from Hackage documentation)
- Context: [$sel:threadId:NotFoundException] :: NotFoundException -> ThreadId
- Context.Implicit: [$sel:threadId:NotFoundException] :: NotFoundException -> ThreadId
- Context.Internal: [$sel:def:State] :: State ctx -> Maybe ctx
- Context.Internal: [$sel:key:Store] :: Store ctx -> Unique
- Context.Internal: [$sel:ref:Registry] :: Registry -> IORef (Map Unique AnyStore)
- Context.Internal: [$sel:ref:Store] :: Store ctx -> IORef (State ctx)
- Context.Internal: [$sel:stacks:State] :: State ctx -> Map ThreadId [ctx]
- Context.Internal: [$sel:threadId:NotFoundException] :: NotFoundException -> ThreadId
+ Context: [threadId] :: NotFoundException -> ThreadId
+ Context.Implicit: [threadId] :: NotFoundException -> ThreadId
+ Context.Internal: [def] :: State ctx -> Maybe ctx
+ Context.Internal: [key] :: Store ctx -> Unique
+ Context.Internal: [ref] :: Registry -> IORef (Map Unique AnyStore)
+ Context.Internal: [stacks] :: State ctx -> Map ThreadId [ctx]
+ Context.Internal: [threadId] :: NotFoundException -> ThreadId
- Context: adjust :: forall m ctx a. (MonadIO m, MonadMask m) => Store ctx -> (ctx -> ctx) -> m a -> m a
+ Context: adjust :: (MonadIO m, MonadMask m) => Store ctx -> (ctx -> ctx) -> m a -> m a
- Context: mine :: forall m ctx. (MonadIO m, MonadThrow m) => Store ctx -> m ctx
+ Context: mine :: (MonadIO m, MonadThrow m) => Store ctx -> m ctx
- Context: mineMay :: forall m ctx. MonadIO m => Store ctx -> m (Maybe ctx)
+ Context: mineMay :: MonadIO m => Store ctx -> m (Maybe ctx)
- Context: mines :: forall m ctx a. (MonadIO m, MonadThrow m) => Store ctx -> (ctx -> a) -> m a
+ Context: mines :: (MonadIO m, MonadThrow m) => Store ctx -> (ctx -> a) -> m a
- Context: minesMay :: forall m ctx a. MonadIO m => Store ctx -> (ctx -> a) -> m (Maybe a)
+ Context: minesMay :: MonadIO m => Store ctx -> (ctx -> a) -> m (Maybe a)
- Context: use :: forall m ctx a. (MonadIO m, MonadMask m) => Store ctx -> ctx -> m a -> m a
+ Context: use :: (MonadIO m, MonadMask m) => Store ctx -> ctx -> m a -> m a
- Context: withAdjusted :: forall m ctx a. (MonadIO m, MonadMask m) => Store ctx -> (ctx -> ctx) -> (ctx -> m a) -> m a
+ Context: withAdjusted :: (MonadIO m, MonadMask m) => Store ctx -> (ctx -> ctx) -> (ctx -> m a) -> m a
- Context: withEmptyStore :: forall m ctx a. (MonadIO m, MonadMask m) => (Store ctx -> m a) -> m a
+ Context: withEmptyStore :: (MonadIO m, MonadMask m) => (Store ctx -> m a) -> m a
- Context: withNonEmptyStore :: forall m ctx a. (MonadIO m, MonadMask m) => ctx -> (Store ctx -> m a) -> m a
+ Context: withNonEmptyStore :: (MonadIO m, MonadMask m) => ctx -> (Store ctx -> m a) -> m a
- Context.Concurrent: data () => ThreadId
+ Context.Concurrent: data ThreadId
- Context.Concurrent: forkIOWithUnmask :: ((forall a. IO a -> IO a) -> IO ()) -> IO ThreadId
+ Context.Concurrent: forkIOWithUnmask :: ((forall a. () => IO a -> IO a) -> IO ()) -> IO ThreadId
- Context.Concurrent: forkOSWithUnmask :: ((forall a. IO a -> IO a) -> IO ()) -> IO ThreadId
+ Context.Concurrent: forkOSWithUnmask :: ((forall a. () => IO a -> IO a) -> IO ()) -> IO ThreadId
- Context.Concurrent: forkOnWithUnmask :: Int -> ((forall a. IO a -> IO a) -> IO ()) -> IO ThreadId
+ Context.Concurrent: forkOnWithUnmask :: Int -> ((forall a. () => IO a -> IO a) -> IO ()) -> IO ThreadId
- Context.Implicit: adjust :: forall m ctx a. (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => (ctx -> ctx) -> m a -> m a
+ Context.Implicit: adjust :: (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => (ctx -> ctx) -> m a -> m a
- Context.Implicit: mine :: forall m ctx. (MonadIO m, MonadThrow m, ?contextStore :: Store ctx) => m ctx
+ Context.Implicit: mine :: (MonadIO m, MonadThrow m, ?contextStore :: Store ctx) => m ctx
- Context.Implicit: mineMay :: forall m ctx. (MonadIO m, ?contextStore :: Store ctx) => m (Maybe ctx)
+ Context.Implicit: mineMay :: (MonadIO m, ?contextStore :: Store ctx) => m (Maybe ctx)
- Context.Implicit: mines :: forall m ctx a. (MonadIO m, MonadThrow m, ?contextStore :: Store ctx) => (ctx -> a) -> m a
+ Context.Implicit: mines :: (MonadIO m, MonadThrow m, ?contextStore :: Store ctx) => (ctx -> a) -> m a
- Context.Implicit: minesMay :: forall m ctx a. (MonadIO m, ?contextStore :: Store ctx) => (ctx -> a) -> m (Maybe a)
+ Context.Implicit: minesMay :: (MonadIO m, ?contextStore :: Store ctx) => (ctx -> a) -> m (Maybe a)
- Context.Implicit: use :: forall m ctx a. (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => ctx -> m a -> m a
+ Context.Implicit: use :: (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => ctx -> m a -> m a
- Context.Implicit: withAdjusted :: forall m ctx a. (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => (ctx -> ctx) -> (ctx -> m a) -> m a
+ Context.Implicit: withAdjusted :: (MonadIO m, MonadMask m, ?contextStore :: Store ctx) => (ctx -> ctx) -> (ctx -> m a) -> m a
- Context.Implicit: withEmptyStore :: forall m ctx a. (MonadIO m, MonadMask m) => (Store ctx -> m a) -> m a
+ Context.Implicit: withEmptyStore :: (MonadIO m, MonadMask m) => (Store ctx -> m a) -> m a
- Context.Implicit: withNonEmptyStore :: forall m ctx a. (MonadIO m, MonadMask m) => ctx -> (Store ctx -> m a) -> m a
+ Context.Implicit: withNonEmptyStore :: (MonadIO m, MonadMask m) => ctx -> (Store ctx -> m a) -> m a
- Context.Internal: [MkView] :: (ctx' -> ctx) -> Store ctx' -> View ctx
+ Context.Internal: [MkView] :: forall ctx' ctx. (ctx' -> ctx) -> Store ctx' -> View ctx
- Context.Internal: mineMay :: forall m ctx. MonadIO m => Store ctx -> m (Maybe ctx)
+ Context.Internal: mineMay :: MonadIO m => Store ctx -> m (Maybe ctx)
- Context.Internal: mineMayOnDefault :: forall m ctx. MonadIO m => (Maybe ctx -> Maybe ctx) -> Store ctx -> m (Maybe ctx)
+ Context.Internal: mineMayOnDefault :: MonadIO m => (Maybe ctx -> Maybe ctx) -> Store ctx -> m (Maybe ctx)
- Context.Internal: newStore :: forall m ctx. MonadIO m => PropagationStrategy -> Maybe ctx -> m (Store ctx)
+ Context.Internal: newStore :: MonadIO m => PropagationStrategy -> Maybe ctx -> m (Store ctx)
- Context.Internal: setDefault :: forall m ctx. MonadIO m => Store ctx -> ctx -> m ()
+ Context.Internal: setDefault :: MonadIO m => Store ctx -> ctx -> m ()
- Context.Internal: throwContextNotFound :: forall m a. (MonadIO m, MonadThrow m) => m a
+ Context.Internal: throwContextNotFound :: (MonadIO m, MonadThrow m) => m a
- Context.Internal: use :: forall m ctx a. (MonadIO m, MonadMask m) => Store ctx -> ctx -> m a -> m a
+ Context.Internal: use :: (MonadIO m, MonadMask m) => Store ctx -> ctx -> m a -> m a
- Context.Internal: withStore :: forall m ctx a. (MonadIO m, MonadMask m) => PropagationStrategy -> Maybe ctx -> (Store ctx -> m a) -> m a
+ Context.Internal: withStore :: (MonadIO m, MonadMask m) => PropagationStrategy -> Maybe ctx -> (Store ctx -> m a) -> m a
- Context.Storage: newStore :: forall m ctx. MonadIO m => PropagationStrategy -> Maybe ctx -> m (Store ctx)
+ Context.Storage: newStore :: MonadIO m => PropagationStrategy -> Maybe ctx -> m (Store ctx)
- Context.Storage: setDefault :: forall m ctx. MonadIO m => Store ctx -> ctx -> m ()
+ Context.Storage: setDefault :: MonadIO m => Store ctx -> ctx -> m ()
- Context.Storage: withStore :: forall m ctx a. (MonadIO m, MonadMask m) => PropagationStrategy -> Maybe ctx -> (Store ctx -> m a) -> m a
+ Context.Storage: withStore :: (MonadIO m, MonadMask m) => PropagationStrategy -> Maybe ctx -> (Store ctx -> m a) -> m a
Files
- CHANGELOG.md +4/−0
- context.cabal +3/−3
- package.yaml +2/−2
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Change log +## 0.2.1.1++* Relax upper bound on `containers`: 0.8 -> 0.9+ ## 0.2.1.0 * Change `NotFoundException` from `data` to `newtype`
context.cabal view
@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.36.0.+-- This file has been generated from package.yaml by hpack version 0.37.0. -- -- see: https://github.com/sol/hpack name: context-version: 0.2.1.0+version: 0.2.1.1 synopsis: Thread-indexed, nested contexts description: Thread-indexed storage around arbitrary context values. The interface supports nesting context values per thread, and at any point, the calling thread may@@ -43,7 +43,7 @@ ghc-options: -Wall -fwarn-tabs -Wincomplete-uni-patterns -Wredundant-constraints build-depends: base >=4.11.1.0 && <5- , containers >=0.5.11.0 && <0.8+ , containers >=0.5.11.0 && <0.9 , exceptions >=0.10.0 && <0.11 default-language: Haskell2010
package.yaml view
@@ -1,5 +1,5 @@ name: context-version: '0.2.1.0'+version: '0.2.1.1' homepage: https://sr.ht/~jship/context/ git: https://git.sr.ht/~jship/context/ license: MIT@@ -29,7 +29,7 @@ library: dependencies: - base >=4.11.1.0 && <5- - containers >=0.5.11.0 && <0.8+ - containers >=0.5.11.0 && <0.9 - exceptions >=0.10.0 && <0.11 source-dirs: library