{"id":243977,"name":"type-level","ecosystem":"hackage","description":"This library permits performing computations on the type-level. Type-level\nfunctions are implemented using functional dependencies of multi\nparameter type classes.\nTo date, Booleans and Numerals (Naturals and Positives) are\nsupported. With regard to Numerals, there is support for common\narithmetic operations (addition, substraction, multiplication,\ndivision, exponientation, logarithm, maximum, comparison, GCD)\nover natural numbers (using a decimal representation to make\ncompile-time errors friendlier).\nAlthough making use of type-level computations might seem devious and\nobfuscated at first sight, it is indeed useful in practice to implement\nlightweight dependent types such us number-parameterized types (e.g. an array\ntype parameterized by the array's size or a modular group type Zn\nparameterized by the modulus).\nHere is a tutorial on type-level numerals and how to use them to\nimplement numerically-parameterized vectors: https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec","homepage":"http://code.haskell.org/type-level","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/forsyde/type-level","keywords_array":["bsd3","data","library","Propose Tags"],"namespace":null,"versions_count":7,"first_release_published_at":"2008-02-28T03:59:02.000Z","latest_release_published_at":"2016-07-08T10:29:18.000Z","latest_release_number":"0.3.0","last_synced_at":"2026-09-26T01:52:20.823Z","created_at":"2022-04-06T03:07:15.703Z","updated_at":"2026-09-26T01:52:25.694Z","registry_url":"https://hackage.haskell.org/package/type-level","install_command":"cabal install type-level","documentation_url":null,"metadata":{},"repo_metadata":{"id":5989094,"uuid":"54404429","full_name":"forsyde/type-level","owner":"forsyde","description":null,"archived":false,"fork":false,"pushed_at":"2021-12-07T19:48:25.000Z","size":53,"stargazers_count":6,"open_issues_count":1,"forks_count":2,"subscribers_count":4,"default_branch":"master","last_synced_at":"2026-07-29T20:00:29.830Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/forsyde.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2016-03-21T16:17:46.000Z","updated_at":"2023-01-07T16:20:12.000Z","dependencies_parsed_at":"2022-09-22T06:11:28.076Z","dependency_job_id":null,"html_url":"https://github.com/forsyde/type-level","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/forsyde/type-level","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/forsyde%2Ftype-level","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/forsyde%2Ftype-level/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/forsyde%2Ftype-level/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/forsyde%2Ftype-level/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/forsyde","download_url":"https://codeload.github.com/forsyde/type-level/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/forsyde%2Ftype-level/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37695205,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-25T02:00:20.896Z","response_time":55,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"repo_metadata_updated_at":"2026-09-26T01:52:25.694Z","dependent_packages_count":2,"downloads":7864,"downloads_period":"total","dependent_repos_count":6,"rankings":{"downloads":19.338796270132804,"dependent_repos_count":23.41339361401526,"dependent_packages_count":7.171517377790336,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":16.641235753979466},"purl":"pkg:hackage/type-level","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/type-level","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/type-level","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/type-level/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/type-level/codemeta","maintainers":[{"uuid":"LennartAugustsson","login":"LennartAugustsson","name":null,"email":null,"url":null,"packages_count":30,"html_url":"https://hackage.haskell.org/user/LennartAugustsson","role":null,"created_at":"2022-11-14T20:13:03.769Z","updated_at":"2022-11-14T20:13:03.769Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/LennartAugustsson/packages"},{"uuid":"ugeorge","login":"ugeorge","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/ugeorge","role":null,"created_at":"2022-11-14T20:13:03.774Z","updated_at":"2022-11-14T20:13:03.774Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ugeorge/packages"},{"uuid":"ingo","login":"ingo","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/ingo","role":null,"created_at":"2022-11-14T20:13:03.778Z","updated_at":"2022-11-14T20:13:03.778Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ingo/packages"},{"uuid":"AlfonsoAcosta","login":"AlfonsoAcosta","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://hackage.haskell.org/user/AlfonsoAcosta","role":null,"created_at":"2022-11-14T20:13:03.752Z","updated_at":"2022-11-14T20:13:03.752Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AlfonsoAcosta/packages"},{"uuid":"HoseinAttarzadeh","login":"HoseinAttarzadeh","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://hackage.haskell.org/user/HoseinAttarzadeh","role":null,"created_at":"2022-11-14T20:13:03.764Z","updated_at":"2022-11-14T20:13:03.764Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/HoseinAttarzadeh/packages"}]}