@hackage / requirements

Abstraction to manage user defined Type Errors

Latest0.7.0.3

About

Metadata

  • Last updated , by jpgarcia
  • License GPL-3.0-only
  • Categories Development

  • Maintained by: jpgarcia@fing.edu.uy

  • Lottery factor: 1

Links

Installation

Readme

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.