monoid-subclasses: Subclasses of Monoid

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A hierarchy of subclasses of Monoid together with their instances for all data structures from base, containers, and text packages.


[Skip to Readme]

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.2, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.3.4.1, 0.3.5, 0.3.6, 0.3.6.1, 0.3.6.2, 0.4, 0.4.0.1, 0.4.0.2, 0.4.0.3, 0.4.0.4, 0.4.1, 0.4.1.1, 0.4.1.2, 0.4.2, 0.4.2.1, 0.4.3, 0.4.3.1, 0.4.3.2, 0.4.4, 0.4.5, 0.4.6, 0.4.6.1, 1.0, 1.0, 1.0.1, 1.1, 1.1.1, 1.1.2, 1.1.3, 1.2, 1.2.1, 1.2.2, 1.2.3, 1.2.4, 1.2.4.1, 1.2.5, 1.2.5.1
Change log CHANGELOG.md
Dependencies base (>=4.9 && <5), bytestring (>=0.9 && <1.0), containers (>=0.5.7.0 && <0.7), primes (>=0.2 && <0.3), text (>=0.11 && <1.3), vector (>=0.12 && <0.13) [details]
License BSD-3-Clause
Copyright (c) 2013-2018 Mario Blažević
Author Mario Blažević
Maintainer Mario Blažević <blamario@protonmail.com>
Category Data, Algebra, Text
Home page https://github.com/blamario/monoid-subclasses/
Bug tracker https://github.com/blamario/monoid-subclasses/issues
Source repo head: git clone https://github.com/blamario/monoid-subclasses
Uploaded by MarioBlazevic at 2019-10-08T03:42:23Z

Modules

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for monoid-subclasses-1.0

[back to package description]

monoid-subclasses

Subclasses of Semigroup and Monoid with a solid theoretical foundation and practical purposes

The monoid-subclasses package has been released on Hackage. The package defines several classes that are richer than semigroups and monoids but less demanding than groups:

That's the theoretical point of view. From the practical point of view, the main purpose of the monoid-subclasses package is similar to that of ListLike - to provide unifying abstractions for various monoidal data types in Haskell, primarily String, ByteString, and Text. All three types are already instances of the Monoid class. While that abstraction is useful for building sequences of data, it doesn't help with deconstructing them.

That being said, there are two major differences in the goals of ListLike and monoid-subclasses:

The incremental-parser package can serve as a compact example of a parser library that can be applied to different input types thanks to monoid-subclasses. There is also picoparsec, a fork of attoparsec, and the heavy-duty grammatical-parsers library.

A more thorough description of the library design can be found in the Haskell Symposium 2013 paper Adding Structure to Monoids