{"@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","codeRepository":"https://github.com/kleinreact/finite","issueTracker":"https://github.com/kleinreact/finite/issues","keywords":["library","mit","types","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"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","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/finite"],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":1}