homepage: https://notabug.org/koz.ross/finitary-optics
changelog-type: markdown
hash: f198afd859f3f6995e77377787ab28c8baccc039b41f8c88678603d28fb5d562
test-bench-deps:
  optics-core: -any
  base: -any
  hspec: ^>=2.7.1
  hedgehog: ^>=1.0.2
  hspec-hedgehog: ^>=0.0.1.2
  finitary-optics: -any
maintainer: koz.ross@retro-freedom.nz
synopsis: Prisms and Isos between finitary types.
changelog: |
  # Revision history for finitary-optics

  ## 1.0.0.0 -- 2020-06-05

  * First version. Released on an unsuspecting world.
basic-deps:
  optics-core: ^>=0.3
  base: '>=4.12 && <5'
  finitary: ^>=2.0.0.0
  finite-typelits: ^>=0.1.4.2
all-versions:
- 1.0.0.0
author: Koz Ross
latest: 1.0.0.0
description-type: markdown
description: "# ``finitary-optics``\n\n## What's this all about, then?\n\nIf a type
  has an instance of ``Finitary``, we know the type's cardinality ``n``, and\ncan
  convert any (non-bottom) inhabitant to a value of ``Finite n``. We can use\nthis
  to inter-convert between these types. This can sometimes be useful.\n\nThis library
  provides some optics (specifically a ``Prism`` and an ``Iso``)\nwhich help us do
  this kind of conversion more conveniently. \n\n## Sounds good! Can I use it?\n\nWe've
  tested this library on GHCs 8.6.5, 8.8.3 and 8.10.1, on GNU/Linux x86_64.\nIf you
  use this library on any other platforms, let us know how it goes -\nespecially if
  something breaks!\n\n## License\n\nThis library is under the GNU General Public
  License, version 3 or later (SPDX\ncode ``GPL-3.0-or-later``). For more details,
  see the ``LICENSE.md`` file.\n"
license-name: GPL-3.0-or-later

Update from Hackage at 2020-06-06T00:10:30Z
Update from Hackage at 2020-06-06T00:10:30Z
