The representable-functors package

[Tags: bsd3, deprecated, library]

Deprecated in favor of adjunctions

Representable functors


[Skip to ReadMe]

Properties

Versions0.1.0, 0.1.0.1, 0.1.0.2, 0.2.0, 0.3.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.5.0, 1.8.0, 2.0, 2.0.0.1, 2.0.0.3, 2.0.0.4, 2.0.0.5, 2.0.1, 2.0.2, 2.1, 2.1.2, 2.2, 2.2.1, 2.2.1.1, 2.4, 2.4.0.1, 2.4.0.2, 2.5, 3.0, 3.0.0.1, 3.0.0.2, 3.0.0.3, 3.0.1, 3.1, 3.2.0.1, 3.2.0.2
Change logCHANGELOG.markdown
Dependenciesarray (>=0.3.0.2 && <0.6), base (==4.*), comonad (==3.*), comonad-transformers (==3.*), comonads-fd (==3.*), containers (>=0.3 && <0.6), contravariant (>=0.4.1 && <1), distributive (>=0.2.2 && <1), free (==3.*), keys (==3.*), mtl (>=2.0.1.0 && <2.2), semigroupoids (==3.*), semigroups (>=0.8.3.1 && <1), transformers (>=0.2 && <0.4) [details]
LicenseBSD3
CopyrightCopyright (C) 2011-2013 Edward A. Kmett
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryMonads, Functors, Data Structures
Home pagehttp://github.com/ekmett/representable-functors/
Bug trackerhttp://github.com/ekmett/representable-functors/issues
Source repositoryhead: git clone git://github.com/ekmett/representable-functors.git
UploadedMon Oct 7 17:25:12 UTC 2013 by EdwardKmett
UpdatedThu Jan 8 08:33:44 UTC 2015 by HerbertValerioRiedel to revision 1
DistributionsDebian:2.4.0.2, NixOS:3.2.0.2
Downloads5815 total (267 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for representable-functors-3.2.0.1

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