Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mvarId :: ModelMVar (n :: Type -> Type) a -> MVarIddejafu Test.DejaFu.Conc.Internal.Common No documentation available.
commitThreadId :: ThreadId -> Maybe IORefId -> ThreadIddejafu Test.DejaFu.Conc.Internal.Memory The ID of a commit thread.
tvarId :: ModelTVar (n :: Type -> Type) a -> TVarIddejafu Test.DejaFu.Conc.Internal.STM No documentation available.
_iorids :: IdSource -> (Int, [String])dejafu Test.DejaFu.Internal No documentation available.
_mvids :: IdSource -> (Int, [String])dejafu Test.DejaFu.Internal No documentation available.
_tids :: IdSource -> (Int, [String])dejafu Test.DejaFu.Internal No documentation available.
_tvids :: IdSource -> (Int, [String])dejafu Test.DejaFu.Internal No documentation available.
eidx :: HasCallStack => [a] -> Int -> adejafu Test.DejaFu.Internal (!!) but with a better error message if it fails. Use this only where it shouldn't fail!
-
dejafu Test.DejaFu.Internal The initial ID source.
nextIORId :: String -> IdSource -> (IdSource, IORefId)dejafu Test.DejaFu.Internal Get the next free IORefId.