├── .gitignore ├── CHANGELOG.md ├── LICENSE.md ├── README.md ├── abelian.cabal └── src ├── Control ├── Commutative.hs └── Commutative │ └── Monad │ ├── Free.hs │ ├── List.hs │ └── Trans.hs └── Data ├── Functor ├── Comm.hs └── Contravariant │ └── Divisible │ └── Commutative.hs └── Semigroup └── Commutative.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- 1 | # 0 2 | 3 | * Repository initialized 4 | -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/README.md -------------------------------------------------------------------------------- /abelian.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/abelian.cabal -------------------------------------------------------------------------------- /src/Control/Commutative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Control/Commutative.hs -------------------------------------------------------------------------------- /src/Control/Commutative/Monad/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Control/Commutative/Monad/Free.hs -------------------------------------------------------------------------------- /src/Control/Commutative/Monad/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Control/Commutative/Monad/List.hs -------------------------------------------------------------------------------- /src/Control/Commutative/Monad/Trans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Control/Commutative/Monad/Trans.hs -------------------------------------------------------------------------------- /src/Data/Functor/Comm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Data/Functor/Comm.hs -------------------------------------------------------------------------------- /src/Data/Functor/Contravariant/Divisible/Commutative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Data/Functor/Contravariant/Divisible/Commutative.hs -------------------------------------------------------------------------------- /src/Data/Semigroup/Commutative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekmett/abelian/HEAD/src/Data/Semigroup/Commutative.hs --------------------------------------------------------------------------------