requirements: Abstraction to manage user defined Type Errors

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]

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.

Properties

Versions 0.6.0.0, 0.7.0.0, 0.7.0.0, 0.7.0.1, 0.7.0.2
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.17) [details]
License GPL-3.0-only
Author Juan García-Garland
Maintainer jpgarcia@fing.edu.uy
Category Development
Uploaded by jpgarcia at 2022-05-09T14:24:08Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees