12 May
2009
12 May
'09
10:11 p.m.
What is the difference between forall as in: runSThttp://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Mona...:: ( forall s. SThttp://www.haskell.org/ghc/docs/6.10-latest/html/libraries/base/Control-Mona...s a) -> a and the "=>" as in evalStateThttp://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.h...:: Monadhttp://www.haskell.org/ghc/docs/6.6/html/libraries/base/Control-Monad.html#t...m => StateThttp://www.haskell.org/ghc/docs/6.6/html/libraries/mtl/Control-Monad-State.h...s m a -> s -> m a thanks daryoush