
Or... one could just use the exceptions that are already built into
the IO monad...
2010/6/10 Yitzchak Gale
Lennart Augustsson wrote:
I would not use the continuation monad just for early exit. Sounds like the error monad to me.
I.e., the Either/ErrorT monad. But the mtl/transformers packages have an orphan instance for Either that requires the exit type to be an instance of the Error class. If that doesn't work in your case, use the Exit monad:
http://www.haskell.org/haskellwiki/New_monads/MonadExit
Or use the Maybe monad written additively, i.e. mplus in place of >> (more or less).
Regards, Yitz _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe