Has anyone investigated monadic call-with-current-continuation in Haskell? Given this:
class (Monad m) => PeirceMonad m where
{
peirceM :: ((a -> m b) -> m a) -> m a;
};
...which Monads can be made PeirceMonads?
The corresponding non-monadic function:
peirce :: ((a -> b) -> a) -> a;
probably can't be defined.
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
