Commit a0d427c

committed

added: modify

1 parent 42f5f50 commit a0d427cCopy full SHA for a0d427c

File tree

-1

lines changed

-1

lines changed

Lines changed: 2 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@ class MonadTrans t where`
`11`	`11`	`class (MonadState s m) where`
`12`	`12`	`get :: m s`
`13`	`13`	`put :: s -> m ()`
	`14`	`+ modify :: (s -> s) -> m ()`
`14`	`15`
`15`	`16`	`instance Monad m => Functor (MyStateT s m) where`
`16`	`17`	`fmap = liftM`
`@@ -31,4 +32,4 @@ instance MonadTrans (MyStateT s) where`
`31`	`32`	`instance Monad m => MonadState s (MyStateT s m) where`
`32`	`33`	`get = MyStateT $ \ s -> return (s,s)`
`33`	`34`	`put s = MyStateT $ \ _ -> return ((),s)`
`34`		`-`
	`35`	`+ modify f = get >>= put . f`

Comments

(0)