homepage: ''
changelog-type: ''
hash: a0cd615fc3bfc0f8715afde6316cecff34b65b1b7873e64a0eb8f875c271d134
test-bench-deps:
  invert: -any
  base: '>=4.12 && <4.15'
  criterion: ^>=1.5
maintainer: ''
synopsis: Automatically generate a function's inverse
changelog: ''
basic-deps:
  base: ^>=4.12 || ^>=4.13 || ^>=4.14
  unordered-containers: ^>=0.2
  generic-deriving: ^>=1.14
  containers: ^>=0.6
  hashable: ^>=1.3
  vector: ^>=0.12
all-versions:
- '1.0'
author: ''
latest: '1.0'
description-type: haddock
description: |-
  This library deals with computing a function's inverse.
  This is, of course, not possible in general, so the
  applicability of this library comes with some caveats:

  * The function's domain must be enumerable, and
  preferably rather small. We provide a few suggestions
  and utilities for how to enumerate the domain.
  * The function's codomain must belong to the @Eq@ class.
  An @Ord@ or @Hashable@ instance is also nice, to
  accommodate a data structure for efficient lookups.
  * The functions for inverting injections, surjections,
  and bijections require some care to use correctly,
  because the library does not verify these properties.

  The main purpose of this library is to provide documentation
  and convenience. It does not contain a great quantity of code,
  so a user hesitant to incur a dependency on the package might
  well choose only to read and borrow its techniques.
license-name: Apache-2.0

Update from Hackage at 2021-02-09T21:49:18Z
Update from Hackage at 2021-02-09T21:49:18Z
