Control.Imperative.Var

Documentation

type MonadVar m = (MonadBase (BaseEff m) m, MVar (BaseEff m))

Useful constraint synonym for variable operation.

var :: MonadVar m => a -> m (Ref (BaseEff m) a)

Create a new mutable variable.