representable functors
Haskell
Latest commit 907ecfc Oct 23, 2013 @ekmett Merge pull request #2 from markwright/master
update for comonad 4.0 generalized cohoist
Permalink
Failed to load latest commit information.
src
.ghci
.gitignore
.travis.yml
.vim.custom
CHANGELOG.markdown
LICENSE
README.markdown
Setup.lhs
representable-functors.cabal

README.markdown

representable-functors

Build Status

This package provides representable functors for haskell. In category theory a representable functor (more pedantically a corepresentable functor) is one such that f a is isomorphic to x -> a. We choose the name Representable here because we are talking about haskell Functor instances, and they are all covariant, so this is the more natural notion of representability for Haskell.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett