parameterized: Parameterized/indexed monoids and monads using only a single parameter type variable.

Parameterized/indexed monoids and monads using only a single parameter type variable.

[Skip to Readme]

Modules

For package maintainers and hackage trustees

Candidates

Versions [RSS]	0.1.0.0, 0.2.0.0, 0.3.0.0, 0.4.0.0, 0.5.0.0 (info)
Dependencies	base (>=4.7 && <5), data-diverse (>=2.0.0.0), transformers (>=0.5.2.0) [details]
Tested with	ghc ==8.0.2, ghc ==8.2.1
License	BSD-3-Clause
Copyright	2017 Louis Pan
Author	Louis Pan
Maintainer	louis@pan.me
Category	Control
Home page	https://github.com/louispan/parameterized#readme
Source repo	head: git clone https://github.com/louispan/parameterized
Uploaded	by louispan at 2017-12-17T03:49:38Z
Distributions	LTSHaskell:0.5.0.0, NixOS:0.5.0.0, Stackage:0.5.0.0
Reverse Dependencies	2 direct, 7 indirect [details]
Downloads	6094 total (40 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2017-12-17 [all 1 reports]

Parameterized/indexed monoids and monads using only a single parameter type variable.

Refer to ReaderSpec.hs and StateSpec.hs for example usages.

0.5.0.0
- Support data-diverse-2.0.0.0.
0.4.0.0
- Added PNullary and PUnary injective type families.
0.3.0.0
- PMonoid is now a class with a single instance (courtesy of georgew).
- added fixities for backtick versions of pmappend, pappend, papply and pbind
- added changingState constructor which sults in better type inference.
0.2.0.0
- Renamed Pempty to PEmpty.
- Added injective functional dependencies to PMEmpty, and PEmpty.
- TypeLevel is not exported by default
0.1.0.0
- Initial version with parameterized Semigroup, Monoid, Applicative, Alternative, Monad
- Added instances for OverlappingWhichReader, DistinctWhichReader, ManyReader, ManyState, and ChangingState