categories icon indicating copy to clipboard operation
categories copied to clipboard

Published 20 hours ago • verified publisher icon ekmett

Any instances for CoCCC?

Open Zemyla opened this issue 7 years ago • 1 comments

I'm trying to figure out if there are any possible instances for CoCCC, besides Dual k where k is an instance of CCC. (This requires instances for Dual for the various typeclass prerequisites.)

Zemyla avatar May 14 '17 17:05 Zemyla

It turns out there is one: the Kleisli arrow for Cont.

https://www.reddit.com/r/haskell/comments/qwklh/coexponentials/

Zemyla avatar Nov 08 '17 01:11 Zemyla