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. addCommitThreads :: forall (n :: Type -> Type) . WriteBuffer n -> Threads n -> Threads n

    dejafu Test.DejaFu.Conc.Internal.Memory

    Add phantom threads to the thread list to commit pending writes.

  2. commitThreadId :: ThreadId -> Maybe IORefId -> ThreadId

    dejafu Test.DejaFu.Conc.Internal.Memory

    The ID of a commit thread.

  3. delCommitThreads :: forall (n :: Type -> Type) . Threads n -> Threads n

    dejafu Test.DejaFu.Conc.Internal.Memory

    Remove phantom threads.

  4. tryReadFromMVar :: MonadDejaFu n => ModelMVar n a -> (Maybe a -> Action n) -> ThreadId -> Threads n -> n (Bool, Threads n, [ThreadId], n ())

    dejafu Test.DejaFu.Conc.Internal.Memory

    Try to read from a MVar, not blocking if empty.

  5. threadsFromSnapshot :: forall p (n :: Type -> Type) a . Snapshot p n a -> ([ThreadId], [ThreadId])

    dejafu Test.DejaFu.Conc.Internal.Program

    Get the threads which exist in a snapshot, partitioned into runnable and not runnable.

  6. SRead :: ModelTVar n a -> (a -> STMAction n) -> STMAction (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.STM

    No documentation available.

  7. module Test.DejaFu.Conc.Internal.Threading

    Operations and types for threads. This module is NOT considered to form part of the public interface of this library.

  8. data Thread (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Threading

    All the state of a thread.

  9. Thread :: Action n -> Maybe BlockedOn -> [Handler n] -> MaskingState -> Maybe (BoundThread n (Action n)) -> Thread (n :: Type -> Type)

    dejafu Test.DejaFu.Conc.Internal.Threading

    No documentation available.

  10. type Threads (n :: Type -> Type) = Map ThreadId Thread n

    dejafu Test.DejaFu.Conc.Internal.Threading

    Threads are stored in a map index by ThreadId.

Page 656 of many | Previous | Next