monoidal-containers

Containers with monoidal accumulation

http://github.com/bgamari/monoidal-containers

Version on this page:0.4.0.0@rev:1
LTS Haskell 23.21:0.6.6.0
Stackage Nightly 2025-05-06:0.6.6.0
Latest on Hackage:0.6.6.0

See all snapshots monoidal-containers appears in

BSD-3-Clause licensed by Ben Gamari
Maintained by [email protected]
This version can be pinned in stack with:monoidal-containers-0.4.0.0@sha256:4d7a7aac9fb565c0f5bfe485d714afccdef5c914709f51e0465acfed66c9a2a2,2166

Module documentation for 0.4.0.0

Used by 1 package in lts-14.13(full list with versions):
witherable

Containers with merging via monoidal accumulation. The Monoid instances provided by the containers and unordered-containers packages merge structures in a left-biased manner instead of using the underlying monoidal structure of the value.

This package wraps the types provided by these packages, but provides Monoid instances implemented in terms of the value type's mappend. For instance, the Monoid Map instance looks like,

instance (Ord k, Semigroup a) => Monoid (MonoidalMap k a)

Changes

Monoidal containers

0.4.0.0

General changes:

  • Added support for unordered-containers < 0.2.8
  • Added many more functions in Data.Map.[Strict.]Monoid

Weakened Monoid constraints to Semigroup whenever possible as enabled by the Semigroup-Monoid proposal. This includes,

  • the Monoid instance of MonoidalHashMap and MonoidalMap
  • the IsList instance of MonoidalHashMap and MonoidalMap
  • the modifyDef and mapKeys functions of MonoidalHashMap

0.3 and earlier

Pre-history