Test.DejaFu.Internal

Dealing with mutable state. This module is NOT considered to form part of the public interface of this library.

Documentation

data Ref n r m

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

Method dict for ST.

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

Method dict for IO.