clash-finite: A class for types with only finitely many inhabitants

[ hardware, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

Finite is a class for types with only finitely many inhabitants and can be considered a more hardware-friendly alternative to Bounded and Enum, utilizing Index instead of Int and vectors instead of lists.

Modules

[Index] [Quick Jump]

  • Clash
    • Class
      • Clash.Class.Finite
        • Clash.Class.Finite.Internal
          • Clash.Class.Finite.Internal.Evidence
          • Clash.Class.Finite.Internal.TH

Flags

Manual Flags

NameDescriptionDefault
test

You can disable tests via `-f-test`.

Enabled
large-tuples

Generate Finite class instances for tuples up to and including 62 elements

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0.0.0
Change log CHANGELOG.md
Dependencies base (>=4.11 && <5), clash-prelude (>=1.8 && <1.10), constraints (>=0.9 && <1.0), ghc-typelits-extra (>=0.4 && <0.5), ghc-typelits-knownnat (>=0.7.2 && <0.8), ghc-typelits-natnormalise (>=0.7.2 && <0.8), singletons (>=2.0 && <3.1), template-haskell (>=2.12.0.0 && <2.23) [details]
License MIT
Copyright Copyright © 2024-2025, Felix Klein
Author Felix Klein
Maintainer felix@qbaylogic.com
Category Hardware
Home page https://github.com/kleinreact/clash-finite
Source repo head: git clone https://github.com/kleinreact/clash-finite
Uploaded by kleinreact at 2025-03-09T01:54:17Z
Distributions
Downloads 0 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]