requirements: Abstraction to manage user defined Type Errors

[ development, gpl, library ] [ Propose Tags ] [ Report a vulnerability ]

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

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, 0.7.0.3
Change log CHANGELOG.md
Dependencies base (>=4.20 && <4.21) [details]
License GPL-3.0-only
Author Juan García-Garland
Maintainer jpgarcia@fing.edu.uy
Category Development
Uploaded by jpgarcia at 2024-11-08T13:44:58Z
Distributions
Reverse Dependencies 2 direct, 5 indirect [details]
Downloads 591 total (13 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 2024-11-08 [all 2 reports]