parameterized
Parameterized/indexed monoids and monads using only a single parameter type variable.
https://github.com/louispan/parameterized#readme
| LTS Haskell 24.17: | 0.5.0.0 |
| Stackage Nightly 2025-10-31: | 0.5.0.0 |
| Latest on Hackage: | 0.5.0.0 |
Maintained by [email protected]
This version can be pinned in stack with:
parameterized-0.5.0.0@sha256:880717fbb958de1bac015f0a375ab6636f162a72483d987a11e305da6fac6c97,1969Module documentation for 0.5.0.0
- Parameterized
- Parameterized.Control
- Parameterized.Control.Applicative
- Parameterized.Control.Monad
- Parameterized.Control.Monad.Trans
- Parameterized.Control.Monad.Trans.Reader
- Parameterized.Control.Monad.Trans.State
- Parameterized.Control.Monad.Trans
- Parameterized.Data
- Parameterized.TypeLevel
- Parameterized.Control
Depends on 3 packages(full list with versions):
Parameterized/indexed monoids and monads using only a single parameter type variable.
Refer to ReaderSpec.hs and StateSpec.hs for example usages.
Changelog
-
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