-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Get the total, put a single element
--   
--   Restrain your data modification to <i>insert</i> minimal amounts,
--   while allowing read access to the whole set.
@package sub-state
@version 0.0.0.1

module Control.Monad.State.Sub

-- | <pre>
--   lookup i =&lt;&lt; (putSingle x &gt;&gt; getTotal) ~ return (Just x)
--   </pre>
class MonadSubState i a s m
getTotal :: MonadSubState i a s m => m s
putSingle :: MonadSubState i a s m => a -> m ()
instance (Data.Set.Class.HasInsertWith i a s, Control.Monad.State.Class.MonadState s m, Control.Monad.Reader.Class.MonadReader i m) => Control.Monad.State.Sub.MonadSubState i a s m