parameterized

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

https://github.com/louispan/parameterized#readme

LTS Haskell 22.14:0.5.0.0
Stackage Nightly 2024-03-28:0.5.0.0
Latest on Hackage:0.5.0.0

See all snapshots parameterized appears in

BSD-3-Clause licensed by Louis Pan
Maintained by [email protected]
This version can be pinned in stack with:parameterized-0.5.0.0@sha256:880717fbb958de1bac015f0a375ab6636f162a72483d987a11e305da6fac6c97,1969

Module documentation for 0.5.0.0

Hackage Build Status

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