{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/finite","name":"finite","description":"A framework for capturing finite ranges with\ntypes, where the sizes of the ranges are not\nfixed statically at compile time, but instead\nare passed at run-time via implicit parameters.\n\nThis is especially useful for objects of bounded\nsize, e.g. finite automata, where the number of\nelements being part of the object, e.g. the number\nof states, is well-defined in the context of the\nobject.","version":"1.5.0.0","softwareVersion":"1.5.0.0","license":"https://spdx.org/licenses/MIT","keywords":["library","mit","types","Propose Tags"],"maintainer":[{"@type":"Person","name":"kleinreact"}],"author":[{"@type":"Person","name":"kleinreact"}],"copyrightHolder":[{"@type":"Person","name":"kleinreact"}],"dateCreated":"2021-01-25","dateModified":"2025-06-10","datePublished":"2025-06-10","copyrightYear":2021,"downloadUrl":"https://hackage.haskell.org/package/finite-1.5.0.0/finite-1.5.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/finite"]}