Monadic Call/CC?

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
Sat, 23 Feb 2002 15:55:19 +0000 (UTC)


Thu, 21 Feb 2002 19:36:13 -0800, Ashley Yakeley <ashley@semantic.org> pisze:

>     data ContMonad p a = MkContMonad ((a -> p) -> p);
[...]

It's in GHC in module MonadCont, together with a monad transformer
providing continuations and some instances.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^
QRCZAK