dejafu 1.11.0.3 → 1.11.0.4
raw patch · 2 files changed
+19/−4 lines, 2 filesdep ~containersdep ~leancheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers, leancheck
API changes (from Hackage documentation)
- Test.DejaFu.Types: instance GHC.Exception.Exception Test.DejaFu.Types.MonadFailException
+ Test.DejaFu.Refinement: -- | The seed value type. This is used to construct the concurrent states.
+ Test.DejaFu.Types: instance GHC.Exception.Type.Exception Test.DejaFu.Types.MonadFailException
- Test.DejaFu: ProPredicate :: Either Failure a -> Maybe Discard -> [(Either Failure a, Trace)] -> Result b -> ProPredicate a b
+ Test.DejaFu: ProPredicate :: (Either Failure a -> Maybe Discard) -> ([(Either Failure a, Trace)] -> Result b) -> ProPredicate a b
- Test.DejaFu.Conc.Internal: DCSnapshot :: Context n () -> Threads n -> n () -> IORef n (Maybe (Either Failure a)) -> DCSnapshot n a
+ Test.DejaFu.Conc.Internal: DCSnapshot :: Context n () -> (Threads n -> n ()) -> IORef n (Maybe (Either Failure a)) -> DCSnapshot n a
- Test.DejaFu.Conc.Internal: Snap :: (Context n g) -> What n g
+ Test.DejaFu.Conc.Internal: Snap :: Context n g -> What n g
- Test.DejaFu.Conc.Internal: SubC :: SeqTrace -> (Maybe (ThreadId, ThreadAction)) -> Act
+ Test.DejaFu.Conc.Internal: SubC :: SeqTrace -> Maybe (ThreadId, ThreadAction) -> Act
- Test.DejaFu.Conc.Internal: Succeeded :: (Context n g) -> What n g
+ Test.DejaFu.Conc.Internal: Succeeded :: Context n g -> What n g
- Test.DejaFu.Conc.Internal.Common: AAtom :: (ModelSTM n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AAtom :: ModelSTM n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ACasIORef :: (ModelIORef n a) -> (ModelTicket a) -> a -> ((Bool, ModelTicket a) -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ACasIORef :: ModelIORef n a -> ModelTicket a -> a -> ((Bool, ModelTicket a) -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ACatching :: (e -> ModelConc n a) -> (ModelConc n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ACatching :: (e -> ModelConc n a) -> ModelConc n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ADelay :: Int -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ADelay :: Int -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: ADontCheck :: (Maybe Int) -> (ModelConc n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ADontCheck :: Maybe Int -> ModelConc n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ALift :: (n (Action n)) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ALift :: n (Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AModIORef :: (ModelIORef n a) -> (a -> (a, b)) -> (b -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AModIORef :: ModelIORef n a -> (a -> (a, b)) -> (b -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AModIORefCas :: (ModelIORef n a) -> (a -> (a, b)) -> (b -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AModIORefCas :: ModelIORef n a -> (a -> (a, b)) -> (b -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: APopCatching :: (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: APopCatching :: Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: APutMVar :: (ModelMVar n a) -> a -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: APutMVar :: ModelMVar n a -> a -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: AReadIORef :: (ModelIORef n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AReadIORef :: ModelIORef n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AReadIORefCas :: (ModelIORef n a) -> (ModelTicket a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AReadIORefCas :: ModelIORef n a -> (ModelTicket a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AReadMVar :: (ModelMVar n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AReadMVar :: ModelMVar n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AResetMask :: Bool -> Bool -> MaskingState -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AResetMask :: Bool -> Bool -> MaskingState -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: AReturn :: (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AReturn :: Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: ASetNumCapabilities :: Int -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ASetNumCapabilities :: Int -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: AStop :: (n ()) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AStop :: n () -> Action n
- Test.DejaFu.Conc.Internal.Common: AStopSub :: (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AStopSub :: Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: ASub :: (ModelConc n a) -> (Either Failure a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ASub :: ModelConc n a -> (Either Failure a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ATakeMVar :: (ModelMVar n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ATakeMVar :: ModelMVar n a -> (a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AThrowTo :: ThreadId -> e -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AThrowTo :: ThreadId -> e -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: ATryPutMVar :: (ModelMVar n a) -> a -> (Bool -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ATryPutMVar :: ModelMVar n a -> a -> (Bool -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ATryReadMVar :: (ModelMVar n a) -> (Maybe a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ATryReadMVar :: ModelMVar n a -> (Maybe a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: ATryTakeMVar :: (ModelMVar n a) -> (Maybe a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ATryTakeMVar :: ModelMVar n a -> (Maybe a -> Action n) -> Action n
- Test.DejaFu.Conc.Internal.Common: AWriteIORef :: (ModelIORef n a) -> a -> (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AWriteIORef :: ModelIORef n a -> a -> Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: AYield :: (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AYield :: Action n -> Action n
- Test.DejaFu.Conc.Internal.Common: ModelConc :: (a -> Action n) -> Action n -> ModelConc n a
+ Test.DejaFu.Conc.Internal.Common: ModelConc :: ((a -> Action n) -> Action n) -> ModelConc n a
- Test.DejaFu.Conc.Internal.STM: ModelSTM :: (a -> STMAction n) -> STMAction n -> ModelSTM n a
+ Test.DejaFu.Conc.Internal.STM: ModelSTM :: ((a -> STMAction n) -> STMAction n) -> ModelSTM n a
- Test.DejaFu.Conc.Internal.STM: SCatch :: (e -> ModelSTM n a) -> (ModelSTM n a) -> (a -> STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SCatch :: (e -> ModelSTM n a) -> ModelSTM n a -> (a -> STMAction n) -> STMAction n
- Test.DejaFu.Conc.Internal.STM: SOrElse :: (ModelSTM n a) -> (ModelSTM n a) -> (a -> STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SOrElse :: ModelSTM n a -> ModelSTM n a -> (a -> STMAction n) -> STMAction n
- Test.DejaFu.Conc.Internal.STM: SRead :: (ModelTVar n a) -> (a -> STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SRead :: ModelTVar n a -> (a -> STMAction n) -> STMAction n
- Test.DejaFu.Conc.Internal.STM: SStop :: (n ()) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SStop :: n () -> STMAction n
- Test.DejaFu.Conc.Internal.STM: SWrite :: (ModelTVar n a) -> a -> (STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SWrite :: ModelTVar n a -> a -> STMAction n -> STMAction n
- Test.DejaFu.Refinement: Sig :: x -> ConcIO s -> s -> x -> ConcIO o -> s -> x -> ConcIO () -> s -> ConcIO () -> Sig s o x
+ Test.DejaFu.Refinement: Sig :: (x -> ConcIO s) -> (s -> x -> ConcIO o) -> (s -> x -> ConcIO ()) -> (s -> ConcIO ()) -> Sig s o x
- Test.DejaFu.Schedule: Scheduler :: Maybe (ThreadId, ThreadAction) -> NonEmpty (ThreadId, Lookahead) -> state -> (Maybe ThreadId, state) -> Scheduler state
+ Test.DejaFu.Schedule: Scheduler :: (Maybe (ThreadId, ThreadAction) -> NonEmpty (ThreadId, Lookahead) -> state -> (Maybe ThreadId, state)) -> Scheduler state
- Test.DejaFu.Types: Id :: (Maybe String) -> {-# UNPACK #-} !Int -> Id
+ Test.DejaFu.Types: Id :: Maybe String -> {-# UNPACK #-} !Int -> Id
- Test.DejaFu.Types: Strengthen :: Either Failure a -> Maybe Discard -> Strengthen a
+ Test.DejaFu.Types: Strengthen :: (Either Failure a -> Maybe Discard) -> Strengthen a
- Test.DejaFu.Types: TCatch :: [TAction] -> (Maybe [TAction]) -> TAction
+ Test.DejaFu.Types: TCatch :: [TAction] -> Maybe [TAction] -> TAction
- Test.DejaFu.Types: TOrElse :: [TAction] -> (Maybe [TAction]) -> TAction
+ Test.DejaFu.Types: TOrElse :: [TAction] -> Maybe [TAction] -> TAction
- Test.DejaFu.Types: Weaken :: Either Failure a -> Maybe Discard -> Weaken a
+ Test.DejaFu.Types: Weaken :: (Either Failure a -> Maybe Discard) -> Weaken a
Files
- CHANGELOG.rst +15/−0
- dejafu.cabal +4/−4
CHANGELOG.rst view
@@ -7,6 +7,21 @@ .. _PVP: https://pvp.haskell.org/ +1.11.0.4 (2018-12-02)+---------------------++* Git: :tag:`dejafu-1.11.0.4`+* Hackage: :hackage:`dejafu-1.11.0.4`++**Contributors:** :u:`pepeiborra` (:pull:`290`).++Miscellaneous+~~~~~~~~~~~~~++* (:pull:`290`) The upper bound on :hackage:`containers` is <0.7.+* (:pull:`290`) The upper bound on :hackage:`leancheck` is <0.9.++ 1.11.0.3 (2018-07-15) ---------------------
dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: dejafu-version: 1.11.0.3+version: 1.11.0.4 synopsis: A library for unit-testing concurrent programs. description:@@ -33,7 +33,7 @@ source-repository this type: git location: https://github.com/barrucadu/dejafu.git- tag: dejafu-1.11.0.3+ tag: dejafu-1.11.0.4 library exposed-modules: Test.DejaFu@@ -59,11 +59,11 @@ -- other-extensions: build-depends: base >=4.9 && <5 , concurrency >=1.6 && <1.7- , containers >=0.5 && <0.6+ , containers >=0.5 && <0.7 , contravariant >=1.2 && <1.6 , deepseq >=1.1 && <2 , exceptions >=0.7 && <0.11- , leancheck >=0.6 && <0.8+ , leancheck >=0.6 && <0.9 , profunctors >=4.0 && <6 , random >=1.0 && <1.2 , transformers >=0.5 && <0.6