Startseite Erkunden Hilfe
Anmelden
sheaf
/
finitary-optics
geforkt von koz.ross/finitary-optics
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien

Convenience Iso and Prism for finitary types.

Branch: master
Branches Tags
finitary-opt...
ZIP TAR.GZ
sheaf c3868a3a2c Ensure GHC 9.0 compatibility vor 3 Jahren
src c3868a3a2c Ensure GHC 9.0 compatibility vor 3 Jahren
test 977bf0f0fa Init vor 4 Jahren
.gitignore 977bf0f0fa Init vor 4 Jahren
.nvimrc 977bf0f0fa Init vor 4 Jahren
CHANGELOG.md 977bf0f0fa Init vor 4 Jahren
LICENSE.md 977bf0f0fa Init vor 4 Jahren
README.md 663685d1c2 Fix README vor 4 Jahren
Setup.hs 977bf0f0fa Init vor 4 Jahren
finitary-optics.cabal c3868a3a2c Ensure GHC 9.0 compatibility vor 3 Jahren

README.md

finitary-optics

What's this all about, then?

If a type has an instance of Finitary, we know the type's cardinality n, and can convert any (non-bottom) inhabitant to a value of Finite n. We can use this to inter-convert between these types. This can sometimes be useful.

This library provides some optics (specifically a Prism and an Iso) which help us do this kind of conversion more conveniently.

Sounds good! Can I use it?

We've tested this library on GHCs 8.6.5, 8.8.3 and 8.10.1, on GNU/Linux x86_64. If you use this library on any other platforms, let us know how it goes - especially if something breaks!

License

This library is under the GNU General Public License, version 3 or later (SPDX code GPL-3.0-or-later). For more details, see the LICENSE.md file.