requirements: Abstraction to manage user defined Type Errors

[ development, gpl, library ] [ Propose Tags ]

requirements is a framework to build user-defined type errors. Users condense the arguments of functions that can raise a domain-specific error into a curried data type, the operator. The Require constraint predicates over operators. Ill-formed operators require the Error operator.

Modules

[Last Documentation]

  • Data
    • Type
      • Data.Type.Require

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.6.0.0, 0.7.0.0, 0.7.0.1, 0.7.0.2
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.18) [details]
License GPL-3.0-only
Author Juan García-Garland
Maintainer jpgarcia@fing.edu.uy
Revised Revision 1 made by jpgarcia at 2022-05-26T19:35:39Z
Category Development
Uploaded by jpgarcia at 2022-05-09T14:04:57Z
Distributions
Reverse Dependencies 2 direct, 5 indirect [details]
Downloads 457 total (22 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2022-05-09 [all 2 reports]