Question on `runState'

In this excerpt from the `StateArrow' page: runState :: Arrowhttp://hackage.haskell.org/packages/archive/base/4.2.0.2/doc/html/Control-Ar...a => StateArrowhttp://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-...s a *e* b -> a (e, s) (b, s)Sourcehttp://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/src/Cont... what's the significance of having written "StateArrow s a *e* b", instead of "StateArrow s a b c"? Thanks, -db

On 17 October 2011 23:59, Captain Freako
In this excerpt from the `StateArrow' page:
runState :: Arrow a => StateArrow s a e b -> a (e, s) (b, s)Source
what's the significance of having written "StateArrow s a e b", instead of "StateArrow s a b c"?
In the context of that page, do you think e might stand for something? btw. what's the URL? Conrad.

On Mon, Oct 17, 2011 at 5:32 PM, Conrad Parker
On 17 October 2011 23:59, Captain Freako
wrote: In this excerpt from the `StateArrow' page:
runState :: Arrow a => StateArrow s a e b -> a (e, s) (b, s)Source
what's the significance of having written "StateArrow s a e b", instead of "StateArrow s a b c"?
In the context of that page, do you think e might stand for something?
btw. what's the URL?
http://hackage.haskell.org/packages/archive/arrows/0.4.1.2/doc/html/Control-... I think maybe b is for beginning and e is for end?
participants (3)
-
Captain Freako
-
Conrad Parker
-
David Fox