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

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]

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").


Change log
Dependencies base (>=4.3 && <4.14), semigroups (>=0.18) [details]
License BSD-3-Clause
Copyright (c) 2018-2019 Joel Burget
Author Joel Burget
Category Data
Uploaded by joelb at 2019-02-12T20:20:54Z




Maintainer's Corner

For package maintainers and hackage trustees