Control.Monad.Ology.Data.Ref

Documentation

data Ref m a

A reference of a monad (as in StateT).

Constructors

MkRef

Fields

• refGet :: m a
• refPut :: a -> m ()

Instances

Functor m => Invariant (Ref m)

Defined in Control.Monad.Ology.Data.Ref

Methods

invmap :: (a -> b) -> (b -> a) -> Ref m a -> Ref m b

Applicative m => Productable (Ref m)

Defined in Control.Monad.Ology.Data.Ref

Methods

rUnit :: Ref m ()

(<***>) :: Ref m a -> Ref m b -> Ref m (a, b)

(***>) :: Ref m () -> Ref m a -> Ref m a

(<***) :: Ref m a -> Ref m () -> Ref m a

refModify :: Monad m => Ref m a -> (a -> a) -> m ()

refModifyM :: Monad m => Ref m a -> (a -> m a) -> m ()

refRestore :: MonadException m => Ref m a -> m --> m

Restore the original value of this reference after the operation.

lensMapRef :: forall m a b. Monad m => Lens' a b -> Ref m a -> Ref m b

liftRef :: (MonadTrans t, Monad m) => Ref m --> Ref (t m)

stateRef :: Monad m => Ref (StateT s m) s

refRunState :: Monad m => Ref m s -> StateT s m --> m

Run a state monad over this reference.

ioRef :: IORef a -> Ref IO a

strictSTRef :: STRef s a -> Ref (ST s) a

lazySTRef :: STRef s a -> Ref (ST s) a

refParam :: forall m a. MonadException m => Ref m a -> Param m a

Use a reference as a parameter.

refProd :: forall m a. (MonadException m, Monoid a) => Ref m a -> Prod m a

Use a reference as a product.