Group: fa.haskell · Group Profile · Search for oneshot in fa.haskell
Author: Claus Reinke
Date: May 29, 2007 15:40
I was wondering why, since IO is an instance of MonadFix [1], and therefore of ArrowLoop (Kleisli m), and since "The loop operator expresses computations in which an output value is fed back as input, even though the computation occurs only once." [2], the MonadFix or ArrowLoop class (through use of mfix or loop, respectively) doesn't appear in anyone's suggestion, where the top-level state
|