agreeing

Idiomatic data structure for agreement

https://github.com/jcranch/agreement#readme

Version on this page:0.2.1.0
LTS Haskell 22.22:0.2.2.0
Stackage Nightly 2024-05-21:0.2.2.0
Latest on Hackage:0.2.2.0

See all snapshots agreeing appears in

BSD-3-Clause licensed by James Cranch
Maintained by [email protected]
This version can be pinned in stack with:agreeing-0.2.1.0@sha256:4267cfd0db727a5e5dd1b97d7d5e665cfee257b91f5e4061839e055415080c5f,1649

Module documentation for 0.2.1.0

Depends on 1 package(full list with versions):
base

agreeing

A simple data structure helping us ask questions of the following sort: “does all this data have the same /BLANK/ and if so what is it?”

For example:

    doTheseHaveTheSameLength :: [String] -> String
    doTheseHaveTheSameLength l = case foldMap (Somebody . length) of
      Somebody n -> "They all have length " <> show n
      Nobody     -> "The lengths differ"
      Anybody    -> "You didn't give me any strings"

This can of course be done with Maybe (Maybe x) instead, but doing so runs the risk of getting confused: which is Nothing and which is Just Nothing?

Changes

Changelog for agreeing

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to the Haskell Package Versioning Policy.

0.2.1.0 - 2023-10-30

  • Eq, Ord, Show, Applicative and Monad instances

0.1.0.0 - 2023-03-15

Initial version