dejafu-0.3.0.0: Overloadable primitives for testable, potentially non-deterministic, concurrency.
Test.DejaFu.Internal
Description
Dealing with mutable state.
Synopsis
data Ref n r m Source
Mutable references.
Constructors
Fields
refST :: (forall a. ST t a -> m a) -> Ref (ST t) (STRef t) m Source
Method dict for ST.
ST
refIO :: (forall a. IO a -> m a) -> Ref IO IORef m Source
Method dict for IO.
IO