# finite: Finite ranges via types

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.

[Skip to Readme]

## Downloads

- finite-1.4.1.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainer's Corner

For package maintainers and hackage trustees

Candidates

Versions [RSS] | 1.4.1.1, 1.4.1.2 |
---|---|

Dependencies | array (>=0.5 && <0.6), base (>=4.7 && <4.15), containers (>=0.5 && <0.7), hashable (>=1.2), QuickCheck, template-haskell (>=2.11) [details] |

License | MIT |

Author | Felix Klein <klein@react.uni-saarland.de> |

Maintainer | Felix Klein <klein@react.uni-saarland.de> |

Category | Types |

Source repo | head: git clone https://github.com/kleinreact/finite |

Uploaded | by kleinreact at 2021-01-25T12:02:07Z |

Distributions | NixOS:1.4.1.2 |

Downloads | 304 total (8 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2021-01-25 [all 1 reports] |