hub.darcs.net :: ross -> transformers -> issue

#10ContT lacks a fail instance

ndmitchell

Should Monad ContT define fail as lift fail, much like ReaderT does?

• Ross PatersonFri Nov 20 12:30:42 UTC 2015

  That would require a Monad constraint, which is not otherwise needed. (ContT isn't a real monad transformer.)

• Ross PatersonWed Nov 25 13:24:29 UTC 2015

  I've added a MonadFail instance (for base >= 4.9) though

• ocharlesSat Jan 23 10:35:01 UTC 2016

  Could the documentation for ContT be improved to mention that it's not a real monad transformer, and what that means?

• Ross PatersonWed Feb 17 12:56:13 UTC 2016

  I've added some doc comments about the unusual nature of ContT

• Ross PatersonSat Jun 6 15:58:57 UTC 2020
  • status set to closed