-get :: Monad m => ParserStateReader a s r m s
-get = lift State.get
-
-put :: Monad m => s -> ParserStateReader a s r m ()
-put = lift . State.put
-
-modify :: Monad m => (s -> s) -> ParserStateReader a s r m ()
-modify = lift . State.modify
-
-modifyM :: Monad m => (s -> m s) -> ParserStateReader a s r m ()
-modifyM f = do
- old <- lift State.get
- new <- lift $ lift $ lift $ f old
- lift $ State.put new
-
-ask :: Monad m => ParserStateReader a s r m r
-ask = lift $ lift Reader.ask
-