Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. WillTryReadMVar :: MVarId -> Lookahead

    dejafu Test.DejaFu.Conc

    Will try to read from a MVar.

  2. cThreads :: Context (n :: Type -> Type) g -> Threads n

    dejafu Test.DejaFu.Conc.Internal

    No documentation available.

  3. killAllThreads :: (MonadDejaFu n, HasCallStack) => Context n g -> n ()

    dejafu Test.DejaFu.Conc.Internal

    Kill the remaining threads

  4. runThreads :: (MonadDejaFu n, HasCallStack) => Bool -> Scheduler g -> MemType -> Ref n (Maybe (Either Condition a)) -> Context n g -> n (CResult n g a)

    dejafu Test.DejaFu.Conc.Internal

    Run a collection of threads, until there are no threads left.

  5. stepThread :: (MonadDejaFu n, HasCallStack) => Bool -> Bool -> Scheduler g -> MemType -> ThreadId -> Action n -> Context n g -> n (What n g, ThreadAction, Threads n -> n ())

    dejafu Test.DejaFu.Conc.Internal

    Run a single thread one step, by dispatching on the type of Action. Each case looks very similar. This is deliberate, so that the essential differences between actions are more apparent, and not hidden by accidental differences in how things are expressed. Note: the returned snapshot action will definitely not do the right thing with relaxed memory.

  6. AReadIORef :: ModelIORef n a -> (a -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  7. AReadIORefCas :: ModelIORef n a -> (ModelTicket a -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  8. AReadMVar :: ModelMVar n a -> (a -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  9. ASupportsBoundThreads :: (Bool -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

  10. ATryReadMVar :: ModelMVar n a -> (Maybe a -> Action n) -> Action (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Common

    No documentation available.

Page 655 of many | Previous | Next