dejafu-0.3.1.1: 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