dejafu-0.3.0.0: Overloadable primitives for testable, potentially non-deterministic, concurrency.

Safe HaskellSafe
LanguageHaskell2010

Test.DejaFu.Internal

Description

Dealing with mutable state.

Synopsis

Documentation

data Ref n r m Source

Mutable references.

Constructors

Ref 

Fields

newRef :: forall a. a -> n (r a)
 
readRef :: forall a. r a -> n a
 
writeRef :: forall a. r a -> a -> n ()
 
liftN :: forall a. n a -> m a
 

refST :: (forall a. ST t a -> m a) -> Ref (ST t) (STRef t) m Source

Method dict for ST.

refIO :: (forall a. IO a -> m a) -> Ref IO IORef m Source

Method dict for IO.