| Safe Haskell | None |
|---|
Agda.Utils.Update
- data Change a
- class Monad m => MonadChange m where
- tellDirty :: m ()
- listenDirty :: m a -> m (a, Bool)
- runChange :: Change a -> (a, Bool)
- type Updater a = a -> Change a
- sharing :: Updater a -> Updater a
- runUpdater :: Updater a -> a -> (a, Bool)
- dirty :: Updater a
- ifDirty :: MonadChange m => m a -> (a -> m b) -> (a -> m b) -> m b
- class Traversable f => Updater1 f where
- class Updater2 f where
Documentation
The Change monad.
Instances
| Monad Change | |
| Functor Change | |
| Applicative Change | |
| MonadChange Change |
class Monad m => MonadChange m whereSource
The class of change monads.
Methods
Arguments
| :: m () | Mark computation as having changed something. |
listenDirty :: m a -> m (a, Bool)Source
Instances
| MonadChange Identity | A mock change monad. |
| MonadChange Change |
runChange :: Change a -> (a, Bool)Source
Run a Change computation, returning result plus change flag.
sharing :: Updater a -> Updater aSource
Replace result of updating with original input if nothing has changed.
runUpdater :: Updater a -> a -> (a, Bool)Source
Blindly run an updater.
ifDirty :: MonadChange m => m a -> (a -> m b) -> (a -> m b) -> m bSource