plur: Plurality monad: Zero, one, or at least two.

[ bsd3, data, library ] [ Propose Tags ] [ Report a vulnerability ]

Often when counting you don't need an exact count, but only whether there are two things. Two examples:

When searching for inhabitants of a type (implementations of a program), you want to be able to tell whether there are (a) no possible inhabitants, (b) a unique inhabitant, or (c) multiple inhabitants.

When displaying the name of a variable, if there's exactly one variable of a given name ("a") you can just use that name, but if there are multiples you might use a unique id to disambiguate them ("a1" vs "a2").

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.2.0.0
Change log ChangeLog.md
Dependencies base (>=4.3 && <4.14), semigroups (>=0.18) [details]
Tested with ghc ==8.6.3
License BSD-3-Clause
Copyright (c) 2018-2019 Joel Burget
Author Joel Burget
Maintainer joelburget@gmail.com
Category Data
Uploaded by joelb at 2019-02-12T20:21:43Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1128 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-02-12 [all 1 reports]