finite

Release

A framework for capturing finite ranges with types, where the sizes of the ranges are not fixed statically at compile time, but instead are passed at run-time via implicit parameters. This is especially useful for objects of bounded size, e.g. finite automata, where the number of elements being part of the object, e.g. the number of states, is well-defined in the context of the object.

Hackage

Keywords
mit, types, Propose Tags , Finite, Finite.TH, implict parameters, Generics, Template Haskell
License
MIT
Install
cabal install finite

Stats

Dependent repositories
0
Total releases
0
Latest release
First release
SourceRank
3

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2021-01-25 10:46:37 UTC

Login to resync this project