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.


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,,
Change log
Dependencies base (>=4.12 && <4.18) [details]
License GPL-3.0-only
Author Juan García-Garland
Category Development
Uploaded by jpgarcia at 2022-07-02T00:16:37Z
Reverse Dependencies 2 direct, 5 indirect [details]
Downloads 468 total (17 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-07-02 [all 1 reports]