search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

MonadState implementation for ParserT? #37

Closed colin-adams closed 8 years ago

colin-adams commented 8 years ago

Would it be possible to add an implementation of MonadState for ParserT?

I took a look at the implementation for Monad, and just blinked. I'm not sure I'm up to defining this myself.

colin-adams commented 8 years ago

MonadTrans too (then MonadState would be simple)

ziman commented 8 years ago

Fixed in 21be4b3c3521f37d557ea05123ad8ffa7fa121d3.