Yi.Monad

Documentation

class Ref ref where

Methods

readRef :: MonadBase IO m => ref a -> m a

writeRef :: MonadBase IO m => ref a -> a -> m ()

modifyRef :: MonadBase IO m => ref a -> (a -> a) -> m ()

Instances

Ref MVar

Ref IORef

gets :: MonadState s m => (s -> a) -> m a

Gets specific component of the state, using a projection function supplied.

getsAndModify :: MonadState s m => (s -> (s, a)) -> m a

Combination of the Control.Monad.State modify and gets

maybeM :: Monad m => (x -> m ()) -> Maybe x -> m ()

modifiesRef :: (Ref ref, MonadReader r m, MonadBase IO m) => (r -> ref a) -> (a -> a) -> m ()

modifiesThenReadsRef :: (MonadReader r m, MonadBase IO m) => (r -> IORef a) -> (a -> a) -> m a

readsRef :: (Ref ref, MonadReader r m, MonadBase IO m) => (r -> ref a) -> m a

repeatUntilM :: Monad m => m (Bool, a) -> m [a]

Rerun the monad until the boolean result is false, collecting list of results.

whenM :: Monad m => m Bool -> m () -> m ()

with :: (MonadReader r m, MonadBase b m) => (r -> a) -> (a -> b c) -> m c

writesRef :: (MonadReader r m, MonadBase IO m) => (r -> IORef a) -> a -> m ()