dejafu 2.4.0.7 → 2.4.0.8
raw patch · 2 files changed
+15/−3 lines, 2 filesdep ~containersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: containers
API changes (from Hackage documentation)
- Test.DejaFu: data Invariant n a
+ Test.DejaFu: data Invariant (n :: Type -> Type) a
- Test.DejaFu: data Program pty n a
+ Test.DejaFu: data Program pty (n :: Type -> Type) a
- Test.DejaFu: inspectIORef :: ModelIORef n a -> Invariant n a
+ Test.DejaFu: inspectIORef :: forall (n :: Type -> Type) a. ModelIORef n a -> Invariant n a
- Test.DejaFu: inspectMVar :: ModelMVar n a -> Invariant n (Maybe a)
+ Test.DejaFu: inspectMVar :: forall (n :: Type -> Type) a. ModelMVar n a -> Invariant n (Maybe a)
- Test.DejaFu: inspectTVar :: ModelTVar n a -> Invariant n a
+ Test.DejaFu: inspectTVar :: forall (n :: Type -> Type) a. ModelTVar n a -> Invariant n a
- Test.DejaFu: registerInvariant :: Invariant n a -> Program Basic n ()
+ Test.DejaFu: registerInvariant :: forall (n :: Type -> Type) a. Invariant n a -> Program Basic n ()
- Test.DejaFu: withSetup :: Program Basic n x -> (x -> Program Basic n a) -> Program (WithSetup x) n a
+ Test.DejaFu: withSetup :: forall (n :: Type -> Type) x a. Program Basic n x -> (x -> Program Basic n a) -> Program (WithSetup x) n a
- Test.DejaFu: withSetupAndTeardown :: Program Basic n x -> (x -> Either Condition y -> Program Basic n a) -> (x -> Program Basic n y) -> Program (WithSetupAndTeardown x y) n a
+ Test.DejaFu: withSetupAndTeardown :: forall (n :: Type -> Type) x y a. Program Basic n x -> (x -> Either Condition y -> Program Basic n a) -> (x -> Program Basic n y) -> Program (WithSetupAndTeardown x y) n a
- Test.DejaFu: withTeardown :: (x -> Either Condition y -> Program Basic n a) -> Program (WithSetup x) n y -> Program (WithSetupAndTeardown x y) n a
+ Test.DejaFu: withTeardown :: forall x y (n :: Type -> Type) a. (x -> Either Condition y -> Program Basic n a) -> Program (WithSetup x) n y -> Program (WithSetupAndTeardown x y) n a
- Test.DejaFu.Conc: data Invariant n a
+ Test.DejaFu.Conc: data Invariant (n :: Type -> Type) a
- Test.DejaFu.Conc: data () => MaskingState
+ Test.DejaFu.Conc: data MaskingState
- Test.DejaFu.Conc: data Program pty n a
+ Test.DejaFu.Conc: data Program pty (n :: Type -> Type) a
- Test.DejaFu.Conc: data Snapshot pty n a
+ Test.DejaFu.Conc: data Snapshot pty (n :: Type -> Type) a
- Test.DejaFu.Conc: inspectIORef :: ModelIORef n a -> Invariant n a
+ Test.DejaFu.Conc: inspectIORef :: forall (n :: Type -> Type) a. ModelIORef n a -> Invariant n a
- Test.DejaFu.Conc: inspectMVar :: ModelMVar n a -> Invariant n (Maybe a)
+ Test.DejaFu.Conc: inspectMVar :: forall (n :: Type -> Type) a. ModelMVar n a -> Invariant n (Maybe a)
- Test.DejaFu.Conc: inspectTVar :: ModelTVar n a -> Invariant n a
+ Test.DejaFu.Conc: inspectTVar :: forall (n :: Type -> Type) a. ModelTVar n a -> Invariant n a
- Test.DejaFu.Conc: registerInvariant :: Invariant n a -> Program Basic n ()
+ Test.DejaFu.Conc: registerInvariant :: forall (n :: Type -> Type) a. Invariant n a -> Program Basic n ()
- Test.DejaFu.Conc: withSetup :: Program Basic n x -> (x -> Program Basic n a) -> Program (WithSetup x) n a
+ Test.DejaFu.Conc: withSetup :: forall (n :: Type -> Type) x a. Program Basic n x -> (x -> Program Basic n a) -> Program (WithSetup x) n a
- Test.DejaFu.Conc: withSetupAndTeardown :: Program Basic n x -> (x -> Either Condition y -> Program Basic n a) -> (x -> Program Basic n y) -> Program (WithSetupAndTeardown x y) n a
+ Test.DejaFu.Conc: withSetupAndTeardown :: forall (n :: Type -> Type) x y a. Program Basic n x -> (x -> Either Condition y -> Program Basic n a) -> (x -> Program Basic n y) -> Program (WithSetupAndTeardown x y) n a
- Test.DejaFu.Conc: withTeardown :: (x -> Either Condition y -> Program Basic n a) -> Program (WithSetup x) n y -> Program (WithSetupAndTeardown x y) n a
+ Test.DejaFu.Conc: withTeardown :: forall x y (n :: Type -> Type) a. (x -> Either Condition y -> Program Basic n a) -> Program (WithSetup x) n y -> Program (WithSetupAndTeardown x y) n a
- Test.DejaFu.Conc.Internal: CResult :: Context n g -> Ref n (Maybe (Either Condition a)) -> (Threads n -> n ()) -> SeqTrace -> Maybe (ThreadId, ThreadAction) -> CResult n g a
+ Test.DejaFu.Conc.Internal: CResult :: Context n g -> Ref n (Maybe (Either Condition a)) -> (Threads n -> n ()) -> SeqTrace -> Maybe (ThreadId, ThreadAction) -> CResult (n :: Type -> Type) g a
- Test.DejaFu.Conc.Internal: Context :: g -> IdSource -> Threads n -> WriteBuffer n -> Int -> InvariantContext n -> [Invariant n ()] -> ConcurrencyState -> Context n g
+ Test.DejaFu.Conc.Internal: Context :: g -> IdSource -> Threads n -> WriteBuffer n -> Int -> InvariantContext n -> [Invariant n ()] -> ConcurrencyState -> Context (n :: Type -> Type) g
- Test.DejaFu.Conc.Internal: Failed :: Condition -> What n g
+ Test.DejaFu.Conc.Internal: Failed :: Condition -> What (n :: Type -> Type) g
- Test.DejaFu.Conc.Internal: InvariantContext :: [Invariant n ()] -> [(Invariant n (), ([IORefId], [MVarId], [TVarId]))] -> InvariantContext n
+ Test.DejaFu.Conc.Internal: InvariantContext :: [Invariant n ()] -> [(Invariant n (), ([IORefId], [MVarId], [TVarId]))] -> InvariantContext (n :: Type -> Type)
- Test.DejaFu.Conc.Internal: Succeeded :: Context n g -> What n g
+ Test.DejaFu.Conc.Internal: Succeeded :: Context n g -> What (n :: Type -> Type) g
- Test.DejaFu.Conc.Internal: [cCState] :: Context n g -> ConcurrencyState
+ Test.DejaFu.Conc.Internal: [cCState] :: Context (n :: Type -> Type) g -> ConcurrencyState
- Test.DejaFu.Conc.Internal: [cCaps] :: Context n g -> Int
+ Test.DejaFu.Conc.Internal: [cCaps] :: Context (n :: Type -> Type) g -> Int
- Test.DejaFu.Conc.Internal: [cIdSource] :: Context n g -> IdSource
+ Test.DejaFu.Conc.Internal: [cIdSource] :: Context (n :: Type -> Type) g -> IdSource
- Test.DejaFu.Conc.Internal: [cInvariants] :: Context n g -> InvariantContext n
+ Test.DejaFu.Conc.Internal: [cInvariants] :: Context (n :: Type -> Type) g -> InvariantContext n
- Test.DejaFu.Conc.Internal: [cNewInvariants] :: Context n g -> [Invariant n ()]
+ Test.DejaFu.Conc.Internal: [cNewInvariants] :: Context (n :: Type -> Type) g -> [Invariant n ()]
- Test.DejaFu.Conc.Internal: [cSchedState] :: Context n g -> g
+ Test.DejaFu.Conc.Internal: [cSchedState] :: Context (n :: Type -> Type) g -> g
- Test.DejaFu.Conc.Internal: [cThreads] :: Context n g -> Threads n
+ Test.DejaFu.Conc.Internal: [cThreads] :: Context (n :: Type -> Type) g -> Threads n
- Test.DejaFu.Conc.Internal: [cWriteBuf] :: Context n g -> WriteBuffer n
+ Test.DejaFu.Conc.Internal: [cWriteBuf] :: Context (n :: Type -> Type) g -> WriteBuffer n
- Test.DejaFu.Conc.Internal: [finalContext] :: CResult n g a -> Context n g
+ Test.DejaFu.Conc.Internal: [finalContext] :: CResult (n :: Type -> Type) g a -> Context n g
- Test.DejaFu.Conc.Internal: [finalDecision] :: CResult n g a -> Maybe (ThreadId, ThreadAction)
+ Test.DejaFu.Conc.Internal: [finalDecision] :: CResult (n :: Type -> Type) g a -> Maybe (ThreadId, ThreadAction)
- Test.DejaFu.Conc.Internal: [finalRef] :: CResult n g a -> Ref n (Maybe (Either Condition a))
+ Test.DejaFu.Conc.Internal: [finalRef] :: CResult (n :: Type -> Type) g a -> Ref n (Maybe (Either Condition a))
- Test.DejaFu.Conc.Internal: [finalRestore] :: CResult n g a -> Threads n -> n ()
+ Test.DejaFu.Conc.Internal: [finalRestore] :: CResult (n :: Type -> Type) g a -> Threads n -> n ()
- Test.DejaFu.Conc.Internal: [finalTrace] :: CResult n g a -> SeqTrace
+ Test.DejaFu.Conc.Internal: [finalTrace] :: CResult (n :: Type -> Type) g a -> SeqTrace
- Test.DejaFu.Conc.Internal: [icActive] :: InvariantContext n -> [Invariant n ()]
+ Test.DejaFu.Conc.Internal: [icActive] :: InvariantContext (n :: Type -> Type) -> [Invariant n ()]
- Test.DejaFu.Conc.Internal: [icBlocked] :: InvariantContext n -> [(Invariant n (), ([IORefId], [MVarId], [TVarId]))]
+ Test.DejaFu.Conc.Internal: [icBlocked] :: InvariantContext (n :: Type -> Type) -> [(Invariant n (), ([IORefId], [MVarId], [TVarId]))]
- Test.DejaFu.Conc.Internal: data CResult n g a
+ Test.DejaFu.Conc.Internal: data CResult (n :: Type -> Type) g a
- Test.DejaFu.Conc.Internal: data Context n g
+ Test.DejaFu.Conc.Internal: data Context (n :: Type -> Type) g
- Test.DejaFu.Conc.Internal: data InvariantContext n
+ Test.DejaFu.Conc.Internal: data InvariantContext (n :: Type -> Type)
- Test.DejaFu.Conc.Internal: data What n g
+ Test.DejaFu.Conc.Internal: data What (n :: Type -> Type) g
- Test.DejaFu.Conc.Internal: fixContext :: MemType -> ThreadId -> ThreadAction -> What n g -> Context n g -> Context n g
+ Test.DejaFu.Conc.Internal: fixContext :: forall (n :: Type -> Type) g. MemType -> ThreadId -> ThreadAction -> What n g -> Context n g -> Context n g
- Test.DejaFu.Conc.Internal: stepThread :: forall n g. (MonadDejaFu n, HasCallStack) => Bool -> Bool -> Scheduler g -> MemType -> ThreadId -> Action n -> Context n g -> n (What n g, ThreadAction, Threads n -> n ())
+ Test.DejaFu.Conc.Internal: stepThread :: (MonadDejaFu n, HasCallStack) => Bool -> Bool -> Scheduler g -> MemType -> ThreadId -> Action n -> Context n g -> n (What n g, ThreadAction, Threads n -> n ())
- Test.DejaFu.Conc.Internal: unblockInvariants :: ThreadAction -> InvariantContext n -> InvariantContext n
+ Test.DejaFu.Conc.Internal: unblockInvariants :: forall (n :: Type -> Type). ThreadAction -> InvariantContext n -> InvariantContext n
- Test.DejaFu.Conc.Internal: unblockWaitingOn :: ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal: unblockWaitingOn :: forall (n :: Type -> Type). ThreadId -> Threads n -> Threads n
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ACommit :: ThreadId -> IORefId -> Action n
+ Test.DejaFu.Conc.Internal.Common: ACommit :: ThreadId -> IORefId -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ADelay :: Int -> Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: ADelay :: Int -> Action n -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AFork :: String -> ((forall b. ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AFork :: String -> ((forall b. () => ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AForkOS :: String -> ((forall b. ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AForkOS :: String -> ((forall b. () => ModelConc n b -> ModelConc n b) -> Action n) -> (ThreadId -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AGetMasking :: (MaskingState -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AGetMasking :: (MaskingState -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AGetNumCapabilities :: (Int -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AGetNumCapabilities :: (Int -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AIsBound :: (Bool -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AIsBound :: (Bool -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ALift :: n (Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ALift :: n (Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AMasking :: MaskingState -> ((forall b. ModelConc n b -> ModelConc n b) -> ModelConc n a) -> (a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AMasking :: MaskingState -> ((forall b. () => ModelConc n b -> ModelConc n b) -> ModelConc n a) -> (a -> Action n) -> Action (n :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AMyTId :: (ThreadId -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: AMyTId :: (ThreadId -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ANewIORef :: String -> a -> (ModelIORef n a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ANewIORef :: String -> a -> (ModelIORef n a -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ANewInvariant :: Invariant n () -> Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: ANewInvariant :: Invariant n () -> Action n -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ANewMVar :: String -> (ModelMVar n a -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ANewMVar :: String -> (ModelMVar n a -> Action n) -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: APopCatching :: Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: APopCatching :: Action n -> Action (n :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AReturn :: Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: AReturn :: Action n -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ASetNumCapabilities :: Int -> Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: ASetNumCapabilities :: Int -> Action n -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AStop :: n () -> Action n
+ Test.DejaFu.Conc.Internal.Common: AStop :: n () -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ASupportsBoundThreads :: (Bool -> Action n) -> Action n
+ Test.DejaFu.Conc.Internal.Common: ASupportsBoundThreads :: (Bool -> Action n) -> Action (n :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AThrow :: e -> Action n
+ Test.DejaFu.Conc.Internal.Common: AThrow :: e -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AThrowTo :: ThreadId -> e -> Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: AThrowTo :: ThreadId -> e -> Action n -> Action (n :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: AYield :: Action n -> Action n
+ Test.DejaFu.Conc.Internal.Common: AYield :: Action n -> Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: ICatch :: (e -> Invariant n a) -> Invariant n a -> (a -> IAction n) -> IAction n
+ Test.DejaFu.Conc.Internal.Common: ICatch :: (e -> Invariant n a) -> Invariant n a -> (a -> IAction n) -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: IInspectIORef :: ModelIORef n a -> (a -> IAction n) -> IAction n
+ Test.DejaFu.Conc.Internal.Common: IInspectIORef :: ModelIORef n a -> (a -> IAction n) -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: IInspectMVar :: ModelMVar n a -> (Maybe a -> IAction n) -> IAction n
+ Test.DejaFu.Conc.Internal.Common: IInspectMVar :: ModelMVar n a -> (Maybe a -> IAction n) -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: IInspectTVar :: ModelTVar n a -> (a -> IAction n) -> IAction n
+ Test.DejaFu.Conc.Internal.Common: IInspectTVar :: ModelTVar n a -> (a -> IAction n) -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: IStop :: n () -> IAction n
+ Test.DejaFu.Conc.Internal.Common: IStop :: n () -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: IThrow :: e -> IAction n
+ Test.DejaFu.Conc.Internal.Common: IThrow :: e -> IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: Invariant :: ((a -> IAction n) -> IAction n) -> Invariant n a
+ Test.DejaFu.Conc.Internal.Common: Invariant :: ((a -> IAction n) -> IAction n) -> Invariant (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: ModelIORef :: IORefId -> Ref n (Map ThreadId a, Integer, a) -> ModelIORef n a
+ Test.DejaFu.Conc.Internal.Common: ModelIORef :: IORefId -> Ref n (Map ThreadId a, Integer, a) -> ModelIORef (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: ModelMVar :: MVarId -> Ref n (Maybe a) -> ModelMVar n a
+ Test.DejaFu.Conc.Internal.Common: ModelMVar :: MVarId -> Ref n (Maybe a) -> ModelMVar (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: [ModelConc] :: ((a -> Action n) -> Action n) -> Program Basic n a
+ Test.DejaFu.Conc.Internal.Common: [ModelConc] :: forall a (n :: Type -> Type). ((a -> Action n) -> Action n) -> Program Basic n a
- Test.DejaFu.Conc.Internal.Common: [WithSetupAndTeardown] :: ModelConc n x -> (x -> ModelConc n y) -> (x -> Either Condition y -> ModelConc n a) -> Program (WithSetupAndTeardown x y) n a
+ Test.DejaFu.Conc.Internal.Common: [WithSetupAndTeardown] :: forall (n :: Type -> Type) x y a. ModelConc n x -> (x -> ModelConc n y) -> (x -> Either Condition y -> ModelConc n a) -> Program (WithSetupAndTeardown x y) n a
- Test.DejaFu.Conc.Internal.Common: [WithSetup] :: ModelConc n x -> (x -> ModelConc n a) -> Program (WithSetup x) n a
+ Test.DejaFu.Conc.Internal.Common: [WithSetup] :: forall (n :: Type -> Type) x a. ModelConc n x -> (x -> ModelConc n a) -> Program (WithSetup x) n a
- Test.DejaFu.Conc.Internal.Common: [iorefId] :: ModelIORef n a -> IORefId
+ Test.DejaFu.Conc.Internal.Common: [iorefId] :: ModelIORef (n :: Type -> Type) a -> IORefId
- Test.DejaFu.Conc.Internal.Common: [iorefRef] :: ModelIORef n a -> Ref n (Map ThreadId a, Integer, a)
+ Test.DejaFu.Conc.Internal.Common: [iorefRef] :: ModelIORef (n :: Type -> Type) a -> Ref n (Map ThreadId a, Integer, a)
- Test.DejaFu.Conc.Internal.Common: [mvarId] :: ModelMVar n a -> MVarId
+ Test.DejaFu.Conc.Internal.Common: [mvarId] :: ModelMVar (n :: Type -> Type) a -> MVarId
- Test.DejaFu.Conc.Internal.Common: [mvarRef] :: ModelMVar n a -> Ref n (Maybe a)
+ Test.DejaFu.Conc.Internal.Common: [mvarRef] :: ModelMVar (n :: Type -> Type) a -> Ref n (Maybe a)
- Test.DejaFu.Conc.Internal.Common: [runInvariant] :: Invariant n a -> (a -> IAction n) -> IAction n
+ Test.DejaFu.Conc.Internal.Common: [runInvariant] :: Invariant (n :: Type -> Type) a -> (a -> IAction n) -> IAction n
- Test.DejaFu.Conc.Internal.Common: data Action n
+ Test.DejaFu.Conc.Internal.Common: data Action (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: data IAction n
+ Test.DejaFu.Conc.Internal.Common: data IAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Common: data ModelIORef n a
+ Test.DejaFu.Conc.Internal.Common: data ModelIORef (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: data ModelMVar n a
+ Test.DejaFu.Conc.Internal.Common: data ModelMVar (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: data Program pty n a
+ Test.DejaFu.Conc.Internal.Common: data Program pty (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Common: lookahead :: Action n -> Lookahead
+ Test.DejaFu.Conc.Internal.Common: lookahead :: forall (n :: Type -> Type). Action n -> Lookahead
- Test.DejaFu.Conc.Internal.Common: newtype Invariant n a
+ Test.DejaFu.Conc.Internal.Common: newtype Invariant (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Memory: WriteBuffer :: Map (ThreadId, Maybe IORefId) (Seq (BufferedWrite n)) -> WriteBuffer n
+ Test.DejaFu.Conc.Internal.Memory: WriteBuffer :: Map (ThreadId, Maybe IORefId) (Seq (BufferedWrite n)) -> WriteBuffer (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Memory: [BufferedWrite] :: ThreadId -> ModelIORef n a -> a -> BufferedWrite n
+ Test.DejaFu.Conc.Internal.Memory: [BufferedWrite] :: forall (n :: Type -> Type) a. ThreadId -> ModelIORef n a -> a -> BufferedWrite n
- Test.DejaFu.Conc.Internal.Memory: [buffer] :: WriteBuffer n -> Map (ThreadId, Maybe IORefId) (Seq (BufferedWrite n))
+ Test.DejaFu.Conc.Internal.Memory: [buffer] :: WriteBuffer (n :: Type -> Type) -> Map (ThreadId, Maybe IORefId) (Seq (BufferedWrite n))
- Test.DejaFu.Conc.Internal.Memory: addCommitThreads :: WriteBuffer n -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Memory: addCommitThreads :: forall (n :: Type -> Type). WriteBuffer n -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Memory: data BufferedWrite n
+ Test.DejaFu.Conc.Internal.Memory: data BufferedWrite (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Memory: delCommitThreads :: Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Memory: delCommitThreads :: forall (n :: Type -> Type). Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Memory: emptyBuffer :: WriteBuffer n
+ Test.DejaFu.Conc.Internal.Memory: emptyBuffer :: forall (n :: Type -> Type). WriteBuffer n
- Test.DejaFu.Conc.Internal.Memory: newtype WriteBuffer n
+ Test.DejaFu.Conc.Internal.Memory: newtype WriteBuffer (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Program: SimpleSnapshot :: Context n () -> (Threads n -> n ()) -> ModelConc n a -> SimpleSnapshot n a
+ Test.DejaFu.Conc.Internal.Program: SimpleSnapshot :: Context n () -> (Threads n -> n ()) -> ModelConc n a -> SimpleSnapshot (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Program: [WSAT] :: SimpleSnapshot n a -> (Either Condition a -> ModelConc n y) -> Snapshot (WithSetupAndTeardown x a) n y
+ Test.DejaFu.Conc.Internal.Program: [WSAT] :: forall (n :: Type -> Type) a1 a x. SimpleSnapshot n a1 -> (Either Condition a1 -> ModelConc n a) -> Snapshot (WithSetupAndTeardown x a1) n a
- Test.DejaFu.Conc.Internal.Program: [WS] :: SimpleSnapshot n a -> Snapshot (WithSetup x) n a
+ Test.DejaFu.Conc.Internal.Program: [WS] :: forall (n :: Type -> Type) a x. SimpleSnapshot n a -> Snapshot (WithSetup x) n a
- Test.DejaFu.Conc.Internal.Program: [snapContext] :: SimpleSnapshot n a -> Context n ()
+ Test.DejaFu.Conc.Internal.Program: [snapContext] :: SimpleSnapshot (n :: Type -> Type) a -> Context n ()
- Test.DejaFu.Conc.Internal.Program: [snapNext] :: SimpleSnapshot n a -> ModelConc n a
+ Test.DejaFu.Conc.Internal.Program: [snapNext] :: SimpleSnapshot (n :: Type -> Type) a -> ModelConc n a
- Test.DejaFu.Conc.Internal.Program: [snapRestore] :: SimpleSnapshot n a -> Threads n -> n ()
+ Test.DejaFu.Conc.Internal.Program: [snapRestore] :: SimpleSnapshot (n :: Type -> Type) a -> Threads n -> n ()
- Test.DejaFu.Conc.Internal.Program: contextFromSnapshot :: Snapshot p n a -> Context n ()
+ Test.DejaFu.Conc.Internal.Program: contextFromSnapshot :: forall p (n :: Type -> Type) a. Snapshot p n a -> Context n ()
- Test.DejaFu.Conc.Internal.Program: data SimpleSnapshot n a
+ Test.DejaFu.Conc.Internal.Program: data SimpleSnapshot (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Program: data Snapshot pty n a
+ Test.DejaFu.Conc.Internal.Program: data Snapshot pty (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Program: fromSnapContext :: g -> Context n s -> Context n g
+ Test.DejaFu.Conc.Internal.Program: fromSnapContext :: forall g (n :: Type -> Type) s. g -> Context n s -> Context n g
- Test.DejaFu.Conc.Internal.Program: threadsFromSnapshot :: Snapshot p n a -> ([ThreadId], [ThreadId])
+ Test.DejaFu.Conc.Internal.Program: threadsFromSnapshot :: forall p (n :: Type -> Type) a. Snapshot p n a -> ([ThreadId], [ThreadId])
- Test.DejaFu.Conc.Internal.Program: wrap :: (((a -> Action n) -> Action n) -> (a -> Action n) -> Action n) -> ModelConc n a -> ModelConc n a
+ Test.DejaFu.Conc.Internal.Program: wrap :: forall a (n :: Type -> Type). (((a -> Action n) -> Action n) -> (a -> Action n) -> Action n) -> ModelConc n a -> 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 :: Type -> Type) a
- Test.DejaFu.Conc.Internal.STM: ModelTVar :: TVarId -> Ref n a -> ModelTVar n a
+ Test.DejaFu.Conc.Internal.STM: ModelTVar :: TVarId -> Ref n a -> ModelTVar (n :: Type -> Type) 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: SNew :: String -> a -> (ModelTVar n a -> STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SNew :: String -> a -> (ModelTVar n a -> STMAction n) -> STMAction (n :: Type -> Type)
- 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 :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: SRetry :: STMAction n
+ Test.DejaFu.Conc.Internal.STM: SRetry :: STMAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: SStop :: n () -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SStop :: n () -> STMAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: SThrow :: e -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: SThrow :: e -> STMAction (n :: Type -> Type)
- 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 :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: [runModelSTM] :: ModelSTM n a -> (a -> STMAction n) -> STMAction n
+ Test.DejaFu.Conc.Internal.STM: [runModelSTM] :: ModelSTM (n :: Type -> Type) a -> (a -> STMAction n) -> STMAction n
- Test.DejaFu.Conc.Internal.STM: [tvarId] :: ModelTVar n a -> TVarId
+ Test.DejaFu.Conc.Internal.STM: [tvarId] :: ModelTVar (n :: Type -> Type) a -> TVarId
- Test.DejaFu.Conc.Internal.STM: [tvarRef] :: ModelTVar n a -> Ref n a
+ Test.DejaFu.Conc.Internal.STM: [tvarRef] :: ModelTVar (n :: Type -> Type) a -> Ref n a
- Test.DejaFu.Conc.Internal.STM: data ModelTVar n a
+ Test.DejaFu.Conc.Internal.STM: data ModelTVar (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.STM: data STMAction n
+ Test.DejaFu.Conc.Internal.STM: data STMAction (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.STM: newtype ModelSTM n a
+ Test.DejaFu.Conc.Internal.STM: newtype ModelSTM (n :: Type -> Type) a
- Test.DejaFu.Conc.Internal.Threading: (~=) :: Thread n -> BlockedOn -> Bool
+ Test.DejaFu.Conc.Internal.Threading: (~=) :: forall (n :: Type -> Type). Thread n -> BlockedOn -> Bool
- Test.DejaFu.Conc.Internal.Threading: Handler :: MaskingState -> (e -> Action n) -> Handler n
+ Test.DejaFu.Conc.Internal.Threading: Handler :: MaskingState -> (e -> Action n) -> Handler (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Threading: Thread :: Action n -> Maybe BlockedOn -> [Handler n] -> MaskingState -> Maybe (BoundThread n (Action n)) -> Thread n
+ Test.DejaFu.Conc.Internal.Threading: Thread :: Action n -> Maybe BlockedOn -> [Handler n] -> MaskingState -> Maybe (BoundThread n (Action n)) -> Thread (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Threading: [_blocking] :: Thread n -> Maybe BlockedOn
+ Test.DejaFu.Conc.Internal.Threading: [_blocking] :: Thread (n :: Type -> Type) -> Maybe BlockedOn
- Test.DejaFu.Conc.Internal.Threading: [_bound] :: Thread n -> Maybe (BoundThread n (Action n))
+ Test.DejaFu.Conc.Internal.Threading: [_bound] :: Thread (n :: Type -> Type) -> Maybe (BoundThread n (Action n))
- Test.DejaFu.Conc.Internal.Threading: [_continuation] :: Thread n -> Action n
+ Test.DejaFu.Conc.Internal.Threading: [_continuation] :: Thread (n :: Type -> Type) -> Action n
- Test.DejaFu.Conc.Internal.Threading: [_handlers] :: Thread n -> [Handler n]
+ Test.DejaFu.Conc.Internal.Threading: [_handlers] :: Thread (n :: Type -> Type) -> [Handler n]
- Test.DejaFu.Conc.Internal.Threading: [_masking] :: Thread n -> MaskingState
+ Test.DejaFu.Conc.Internal.Threading: [_masking] :: Thread (n :: Type -> Type) -> MaskingState
- Test.DejaFu.Conc.Internal.Threading: block :: HasCallStack => BlockedOn -> ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: block :: forall (n :: Type -> Type). HasCallStack => BlockedOn -> ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: catching :: (Exception e, HasCallStack) => (e -> Action n) -> ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: catching :: forall e (n :: Type -> Type). (Exception e, HasCallStack) => (e -> Action n) -> ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: data Handler n
+ Test.DejaFu.Conc.Internal.Threading: data Handler (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Threading: data Thread n
+ Test.DejaFu.Conc.Internal.Threading: data Thread (n :: Type -> Type)
- Test.DejaFu.Conc.Internal.Threading: except :: HasCallStack => MaskingState -> Action n -> [Handler n] -> ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: except :: forall (n :: Type -> Type). HasCallStack => MaskingState -> Action n -> [Handler n] -> ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: goto :: HasCallStack => Action n -> ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: goto :: forall (n :: Type -> Type). HasCallStack => Action n -> ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: interruptible :: Thread n -> Bool
+ Test.DejaFu.Conc.Internal.Threading: interruptible :: forall (n :: Type -> Type). Thread n -> Bool
- Test.DejaFu.Conc.Internal.Threading: launch :: HasCallStack => ThreadId -> ThreadId -> ((forall b. ModelConc n b -> ModelConc n b) -> Action n) -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: launch :: forall (n :: Type -> Type). HasCallStack => ThreadId -> ThreadId -> ((forall b. () => ModelConc n b -> ModelConc n b) -> Action n) -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: launch' :: HasCallStack => MaskingState -> ThreadId -> ((forall b. ModelConc n b -> ModelConc n b) -> Action n) -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: launch' :: forall (n :: Type -> Type). HasCallStack => MaskingState -> ThreadId -> ((forall b. () => ModelConc n b -> ModelConc n b) -> Action n) -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: mask :: HasCallStack => MaskingState -> ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: mask :: forall (n :: Type -> Type). HasCallStack => MaskingState -> ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: mkthread :: Action n -> Thread n
+ Test.DejaFu.Conc.Internal.Threading: mkthread :: forall (n :: Type -> Type). Action n -> Thread n
- Test.DejaFu.Conc.Internal.Threading: propagate :: HasCallStack => SomeException -> ThreadId -> Threads n -> Maybe (Threads n)
+ Test.DejaFu.Conc.Internal.Threading: propagate :: forall (n :: Type -> Type). HasCallStack => SomeException -> ThreadId -> Threads n -> Maybe (Threads n)
- Test.DejaFu.Conc.Internal.Threading: type Threads n = Map ThreadId (Thread n)
+ Test.DejaFu.Conc.Internal.Threading: type Threads (n :: Type -> Type) = Map ThreadId Thread n
- Test.DejaFu.Conc.Internal.Threading: uncatching :: HasCallStack => ThreadId -> Threads n -> Threads n
+ Test.DejaFu.Conc.Internal.Threading: uncatching :: forall (n :: Type -> Type). HasCallStack => ThreadId -> Threads n -> Threads n
- Test.DejaFu.Conc.Internal.Threading: wake :: BlockedOn -> Threads n -> (Threads n, [ThreadId])
+ Test.DejaFu.Conc.Internal.Threading: wake :: forall (n :: Type -> Type). BlockedOn -> Threads n -> (Threads n, [ThreadId])
- Test.DejaFu.Internal: Settings :: Way -> Maybe LengthBound -> MemType -> Maybe (Either Condition a -> Maybe Discard) -> Maybe (a -> String) -> Maybe (String -> n ()) -> Bool -> Maybe (Either Condition a -> Bool) -> Maybe (a -> a -> Bool) -> Bool -> Bool -> Bool -> Settings n a
+ Test.DejaFu.Internal: Settings :: Way -> Maybe LengthBound -> MemType -> Maybe (Either Condition a -> Maybe Discard) -> Maybe (a -> String) -> Maybe (String -> n ()) -> Bool -> Maybe (Either Condition a -> Bool) -> Maybe (a -> a -> Bool) -> Bool -> Bool -> Bool -> Settings (n :: Type -> Type) a
- Test.DejaFu.Internal: [Randomly] :: RandomGen g => (g -> (Int, g)) -> g -> Int -> Way
+ Test.DejaFu.Internal: [Randomly] :: forall g. RandomGen g => (g -> (Int, g)) -> g -> Int -> Way
- Test.DejaFu.Internal: [_debugFatal] :: Settings n a -> Bool
+ Test.DejaFu.Internal: [_debugFatal] :: Settings (n :: Type -> Type) a -> Bool
- Test.DejaFu.Internal: [_debugPrint] :: Settings n a -> Maybe (String -> n ())
+ Test.DejaFu.Internal: [_debugPrint] :: Settings (n :: Type -> Type) a -> Maybe (String -> n ())
- Test.DejaFu.Internal: [_debugShow] :: Settings n a -> Maybe (a -> String)
+ Test.DejaFu.Internal: [_debugShow] :: Settings (n :: Type -> Type) a -> Maybe (a -> String)
- Test.DejaFu.Internal: [_discard] :: Settings n a -> Maybe (Either Condition a -> Maybe Discard)
+ Test.DejaFu.Internal: [_discard] :: Settings (n :: Type -> Type) a -> Maybe (Either Condition a -> Maybe Discard)
- Test.DejaFu.Internal: [_earlyExit] :: Settings n a -> Maybe (Either Condition a -> Bool)
+ Test.DejaFu.Internal: [_earlyExit] :: Settings (n :: Type -> Type) a -> Maybe (Either Condition a -> Bool)
- Test.DejaFu.Internal: [_equality] :: Settings n a -> Maybe (a -> a -> Bool)
+ Test.DejaFu.Internal: [_equality] :: Settings (n :: Type -> Type) a -> Maybe (a -> a -> Bool)
- Test.DejaFu.Internal: [_lengthBound] :: Settings n a -> Maybe LengthBound
+ Test.DejaFu.Internal: [_lengthBound] :: Settings (n :: Type -> Type) a -> Maybe LengthBound
- Test.DejaFu.Internal: [_memtype] :: Settings n a -> MemType
+ Test.DejaFu.Internal: [_memtype] :: Settings (n :: Type -> Type) a -> MemType
- Test.DejaFu.Internal: [_safeIO] :: Settings n a -> Bool
+ Test.DejaFu.Internal: [_safeIO] :: Settings (n :: Type -> Type) a -> Bool
- Test.DejaFu.Internal: [_showAborts] :: Settings n a -> Bool
+ Test.DejaFu.Internal: [_showAborts] :: Settings (n :: Type -> Type) a -> Bool
- Test.DejaFu.Internal: [_simplify] :: Settings n a -> Bool
+ Test.DejaFu.Internal: [_simplify] :: Settings (n :: Type -> Type) a -> Bool
- Test.DejaFu.Internal: [_way] :: Settings n a -> Way
+ Test.DejaFu.Internal: [_way] :: Settings (n :: Type -> Type) a -> Way
- Test.DejaFu.Internal: data Settings n a
+ Test.DejaFu.Internal: data Settings (n :: Type -> Type) a
- Test.DejaFu.Refinement: class () => Listable a
+ Test.DejaFu.Refinement: class Listable a
- Test.DejaFu.Refinement: type O a :: Type;
+ Test.DejaFu.Refinement: type O a;
- Test.DejaFu.Refinement: type X a :: Type;
+ Test.DejaFu.Refinement: type X a;
- Test.DejaFu.SCT.Internal: replay :: MonadDejaFu n => (forall x. Scheduler x -> x -> n (Either Condition a, x, Trace)) -> [(ThreadId, ThreadAction)] -> n (Either Condition a, [(ThreadId, ThreadAction)], Trace)
+ Test.DejaFu.SCT.Internal: replay :: MonadDejaFu n => (forall x. () => Scheduler x -> x -> n (Either Condition a, x, Trace)) -> [(ThreadId, ThreadAction)] -> n (Either Condition a, [(ThreadId, ThreadAction)], Trace)
- Test.DejaFu.SCT.Internal: sct' :: (MonadDejaFu n, HasCallStack) => Settings n a -> ConcurrencyState -> s -> (s -> Maybe t) -> (s -> t -> n (s, Maybe (Either Condition a, Trace))) -> (forall x. Scheduler x -> x -> n (Either Condition a, x, Trace)) -> ThreadId -> IORefId -> n [(Either Condition a, Trace)]
+ Test.DejaFu.SCT.Internal: sct' :: (MonadDejaFu n, HasCallStack) => Settings n a -> ConcurrencyState -> s -> (s -> Maybe t) -> (s -> t -> n (s, Maybe (Either Condition a, Trace))) -> (forall x. () => Scheduler x -> x -> n (Either Condition a, x, Trace)) -> ThreadId -> IORefId -> n [(Either Condition a, Trace)]
- Test.DejaFu.SCT.Internal: simplifyExecution :: (MonadDejaFu n, HasCallStack) => Settings n a -> ConcurrencyState -> (forall x. Scheduler x -> x -> n (Either Condition a, x, Trace)) -> ThreadId -> IORefId -> Either Condition a -> Trace -> n (Either Condition a, Trace)
+ Test.DejaFu.SCT.Internal: simplifyExecution :: (MonadDejaFu n, HasCallStack) => Settings n a -> ConcurrencyState -> (forall x. () => Scheduler x -> x -> n (Either Condition a, x, Trace)) -> ThreadId -> IORefId -> Either Condition a -> Trace -> n (Either Condition a, Trace)
- Test.DejaFu.Settings: data Settings n a
+ Test.DejaFu.Settings: data Settings (n :: Type -> Type) a
- Test.DejaFu.Settings: defaultSettings :: Applicative n => Settings n a
+ Test.DejaFu.Settings: defaultSettings :: forall (n :: Type -> Type) a. Applicative n => Settings n a
- Test.DejaFu.Settings: fromWayAndMemType :: Applicative n => Way -> MemType -> Settings n a
+ Test.DejaFu.Settings: fromWayAndMemType :: forall (n :: Type -> Type) a. Applicative n => Way -> MemType -> Settings n a
- Test.DejaFu.Settings: ldebugFatal :: Lens' (Settings n a) Bool
+ Test.DejaFu.Settings: ldebugFatal :: forall (n :: Type -> Type) a f. Functor f => (Bool -> f Bool) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: ldebugPrint :: Lens' (Settings n a) (Maybe (String -> n ()))
+ Test.DejaFu.Settings: ldebugPrint :: forall n a f. Functor f => (Maybe (String -> n ()) -> f (Maybe (String -> n ()))) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: ldebugShow :: Lens' (Settings n a) (Maybe (a -> String))
+ Test.DejaFu.Settings: ldebugShow :: forall (n :: Type -> Type) a f. Functor f => (Maybe (a -> String) -> f (Maybe (a -> String))) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: ldiscard :: Lens' (Settings n a) (Maybe (Either Condition a -> Maybe Discard))
+ Test.DejaFu.Settings: ldiscard :: forall (n :: Type -> Type) a f. Functor f => (Maybe (Either Condition a -> Maybe Discard) -> f (Maybe (Either Condition a -> Maybe Discard))) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: learlyExit :: Lens' (Settings n a) (Maybe (Either Condition a -> Bool))
+ Test.DejaFu.Settings: learlyExit :: forall (n :: Type -> Type) a f. Functor f => (Maybe (Either Condition a -> Bool) -> f (Maybe (Either Condition a -> Bool))) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lequality :: Lens' (Settings n a) (Maybe (a -> a -> Bool))
+ Test.DejaFu.Settings: lequality :: forall (n :: Type -> Type) a f. Functor f => (Maybe (a -> a -> Bool) -> f (Maybe (a -> a -> Bool))) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: llengthBound :: Lens' (Settings n a) (Maybe LengthBound)
+ Test.DejaFu.Settings: llengthBound :: forall (n :: Type -> Type) a f. Functor f => (Maybe LengthBound -> f (Maybe LengthBound)) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lmemtype :: Lens' (Settings n a) MemType
+ Test.DejaFu.Settings: lmemtype :: forall (n :: Type -> Type) a f. Functor f => (MemType -> f MemType) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lsafeIO :: Lens' (Settings n a) Bool
+ Test.DejaFu.Settings: lsafeIO :: forall (n :: Type -> Type) a f. Functor f => (Bool -> f Bool) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lshowAborts :: Lens' (Settings n a) Bool
+ Test.DejaFu.Settings: lshowAborts :: forall (n :: Type -> Type) a f. Functor f => (Bool -> f Bool) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lsimplify :: Lens' (Settings n a) Bool
+ Test.DejaFu.Settings: lsimplify :: forall (n :: Type -> Type) a f. Functor f => (Bool -> f Bool) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Settings: lway :: Lens' (Settings n a) Way
+ Test.DejaFu.Settings: lway :: forall (n :: Type -> Type) a f. Functor f => (Way -> f Way) -> Settings n a -> f (Settings n a)
- Test.DejaFu.Types: class MonadThrow m => MonadDejaFu m where {
+ Test.DejaFu.Types: class MonadThrow m => MonadDejaFu (m :: Type -> Type) where {
- Test.DejaFu.Types: type BoundThread m :: Type -> Type;
+ Test.DejaFu.Types: type BoundThread (m :: Type -> Type) :: Type -> Type;
- Test.DejaFu.Types: type Ref m :: Type -> Type;
+ Test.DejaFu.Types: type Ref (m :: Type -> Type) :: Type -> Type;
Files
- CHANGELOG.rst +12/−0
- dejafu.cabal +3/−3
CHANGELOG.rst view
@@ -7,6 +7,18 @@ .. _PVP: https://pvp.haskell.org/ +2.4.0.8 (2026-01-13)+--------------------++* Git: :tag:`dejafu-2.4.0.8`+* Hackage: :hackage:`dejafu-2.4.0.8`++Miscellaneous+~~~~~~~~~~~~~++* The upper bound on :hackage:`containers` is <0.9.++ 2.4.0.7 (2025-01-06) --------------------
dejafu.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: dejafu-version: 2.4.0.7+version: 2.4.0.8 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-2.4.0.7+ tag: dejafu-2.4.0.8 library exposed-modules: Test.DejaFu@@ -60,7 +60,7 @@ -- other-extensions: build-depends: base >=4.9 && <5 , concurrency >=1.11 && <1.12- , containers >=0.5 && <0.8+ , containers >=0.5 && <0.9 , contravariant >=1.2 && <1.6 , deepseq >=1.1 && <2 , exceptions >=0.7 && <0.11