Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
composing a comonad with a copointed endofunctor yields a comonad given a distributive law
Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
composing a comonad with a copointed endofunctor yields a comonad given a distributive law