Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
src/Data/ | H | 03-May-2022 | - | 375 | 206 | |
src-compat/Data/ | H | 03-May-2022 | - | 9 | 4 | |
tests/ | H | 09-Sep-2001 | - | 120 | 70 | |
.hlint.yaml | H A D | 09-Sep-2001 | 77 | 4 | 2 | |
.travis.yml | H A D | 09-Sep-2001 | 8.9 KiB | 179 | 177 | |
.vim.custom | H A D | 09-Sep-2001 | 767 | 32 | 23 | |
CHANGELOG.markdown | H A D | 09-Sep-2001 | 2 KiB | 79 | 62 | |
LICENSE | H A D | 09-Sep-2001 | 1.2 KiB | 27 | 21 | |
README.markdown | H A D | 09-Sep-2001 | 1.1 KiB | 33 | 20 | |
Setup.lhs | H A D | 09-Sep-2001 | 673 | 35 | 25 | |
Warning.hs | H A D | 09-Sep-2001 | 256 | 6 | 2 | |
config | H A D | 09-Sep-2001 | 646 | 17 | 15 | |
distributive.cabal | H A D | 03-May-2022 | 3.1 KiB | 123 | 104 | |
travis-cabal-apt-install | H A D | 09-Sep-2001 | 519 | 17 | 10 |
README.markdown
1distributive 2============ 3 4[![Hackage](https://img.shields.io/hackage/v/distributive.svg)](https://hackage.haskell.org/package/distributive) [![Build Status](https://secure.travis-ci.org/ekmett/distributive.png?branch=master)](http://travis-ci.org/ekmett/distributive) 5 6This package provides the notion that is categorically dual to `Traversable`. 7 8A `Distributive` `Functor` is one that you can push any functor inside of. 9 10```haskell 11distribute :: (Functor f, Distributive g) => f (g a) -> g (f a) 12``` 13 14Compare this with the corresponding Traversable notion, `sequenceA`. 15 16```haskell 17sequenceA :: (Applicative f, Traversable g) => g (f a) -> f (g a) 18``` 19 20This package includes instances for common types, and includes other methods similar to `traverse` which fuse the use of `fmap`. 21 22We only require `Functor` rather than some dual notion to `Applicative`, because the latter cannot meaningfully exist in Haskell 23since all comonoids there are trivial. 24 25Contact Information 26------------------- 27 28Contributions and bug reports are welcome! 29 30Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net. 31 32-Edward Kmett 33