flazz · July 21, 2010 22:17
diff --git a/state.hs b/state.hs
 newtype State s a = State { runState :: (s -> (a,s)) } 
 
 instance Monad (State s) where 
    return a        = State $ \s -> (a,s)
    (State x) >>= f = State $ \s -> let (v,s') = x s 
                                    in runState (f v) s'
	newtype State s a = State { runState :: (s -> (a,s)) }

	instance Monad (State s) where
	return a = State $ \s -> (a,s)
	(State x) >>= f = State $ \s -> let (v,s') = x s
	in runState (f v) s'