[haskeline] #117: mapInputT

haskeline haskeline at projects.haskell.org
Tue Jan 3 22:14:50 GMT 2012


#117: mapInputT
------------------------+---------------------------------------------------
Reporter:  guest        |        Owner:     
    Type:  enhancement  |       Status:  new
Priority:  major        |    Milestone:     
 Version:               |   Resolution:     
Keywords:               |  
------------------------+---------------------------------------------------

Comment(by judah):

 Would it be enough to have a function like this?
 {{{
 mapInputT :: (forall b . m b -> n b) -> InputT m a -> InputT n a
 }}}

 Internally, it could be implemented using:
 {{{
 mapStateT :: (forall b . m b -> n b) -> StateT s m a -> StateT s n a
 mapStateT f (StateT m) = StateT (\s -> f (m s))
 }}}

-- 
Ticket URL: <http://trac.haskell.org/haskeline/ticket/117#comment:3>
haskeline <http://example.org/>
My example project


More information about the Haskeline mailing list