search

ekmett / kan-extensions

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

Implement MonadError for `ContT e (Codensity m)` #60

Open Atry opened 4 years ago

Atry commented 4 years ago

It should be much faster than ExceptT, because it does not require to transform the whole stack for every operator.