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 results 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