Hi Ken, 2007/7/1, Ken Takusagawa <[EMAIL PROTECTED]>:
I'd like to have a state monad with the feature that I can somehow annotate using the type system that some functions are only going to read the state and not modify it.
I would suggest declaring a MonadReader instance for State, and writing your read-only functions as f :: MonadReader s m => Param -> m Result Would that solve your problem? Best, - Benja _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
