homepage: ''
changelog-type: markdown
hash: a8ff54406839351c92124c4724dbe35735705f001c76a611d3686fb36d4bf236
test-bench-deps: {}
maintainer: jpgarcia@fing.edu.uy
synopsis: Abstraction to manage user defined Type Errors
changelog: |
  # Revision history for Require

  ## 0.5.3.0 -- YYYY-mm-dd

  * First version. Released on an unsuspecting world.
basic-deps:
  base: '>=4.11.0 && <4.15'
all-versions:
- 0.6.0.0
author: Juan García-Garland
latest: 0.6.0.0
description-type: haddock
description: Require framework, abstraction to manage user defined Type Errors
license-name: GPL-3.0-only

homepage: ''
changelog-type: markdown
hash: ce161eab6155a6a2c4bb1633d5e74f59d96d316bb614566f203593cbadb91f29
test-bench-deps: {}
maintainer: jpgarcia@fing.edu.uy
synopsis: Abstraction to manage user defined Type Errors
changelog: |
  # Revision history for Require

  ## 0.5.3.0 -- YYYY-mm-dd

  * First version. Released on an unsuspecting world.
basic-deps:
  base: '>=4.12 && <4.17'
all-versions:
- 0.6.0.0
- 0.7.0.0
author: Juan García-Garland
latest: 0.7.0.0
description-type: haddock
description: |-
  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.
license-name: GPL-3.0-only

Update from Hackage at 2022-05-09T14:14:09Z
Update from Hackage at 2022-05-09T14:14:09Z
