@hackage requirements0.7.0.3

Abstraction to manage user defined Type Errors

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.