search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
79 stars 33 forks source link

Add Codensity delimited continuations #68

Closed alexfmpe closed 3 years ago

alexfmpe commented 3 years ago

Ported from Control-Monad-Trans-Cont Unlike callCC, these seem to work even with the universal quantifier. Curiously, it looks like similar functions work with Yoneda/lowerYoneda, though I'm not sure what those could be called.

alexfmpe commented 3 years ago

Bump

RyanGlScott commented 3 years ago

I've uploaded kan-extensions-5.2.3 to Hackage with these changes.