{"id":175143,"name":"decidable","ecosystem":"hackage","description":"This library provides combinators and typeclasses for working and manipulating\ntype-level predicates in Haskell, which are represented as matchable type-level\nfunctions k ~\u003e Type from the singletons library.  See Data.Type.Predicate\nfor a good starting point, and the documentation for Predicate on how to\ndefine predicates.","homepage":"https://github.com/mstksg/decidable#readme","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/mstksg/decidable","keywords_array":["bsd3","dependent-types","library","Propose Tags"],"namespace":null,"versions_count":12,"first_release_published_at":"2018-10-11T11:27:39.000Z","latest_release_published_at":"2024-02-28T01:25:15.000Z","latest_release_number":"0.3.1.1","last_synced_at":"2026-04-20T14:46:00.881Z","created_at":"2022-04-05T19:09:51.302Z","updated_at":"2026-04-20T14:47:27.080Z","registry_url":"https://hackage.haskell.org/package/decidable","install_command":"cabal install decidable","documentation_url":null,"metadata":{},"repo_metadata":{"id":59152010,"uuid":"138555839","full_name":"mstksg/decidable","owner":"mstksg","description":"Combinators for manipulating dependently-typed predicates.","archived":false,"fork":false,"pushed_at":"2024-07-05T17:27:13.000Z","size":2548,"stargazers_count":14,"open_issues_count":2,"forks_count":5,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-09-03T07:19:01.398Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://hackage.haskell.org/package/decidable","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mstksg.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-06-25T07:03:19.000Z","updated_at":"2025-08-22T10:10:14.000Z","dependencies_parsed_at":"2024-07-05T19:14:49.662Z","dependency_job_id":null,"html_url":"https://github.com/mstksg/decidable","commit_stats":{"total_commits":138,"total_committers":2,"mean_commits":69.0,"dds":0.007246376811594235,"last_synced_commit":"d7e5e204f869d53c9489591921684ee9338ea82e"},"previous_names":[],"tags_count":12,"template":false,"template_full_name":null,"purl":"pkg:github/mstksg/decidable","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mstksg","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":278477836,"owners_count":25993540,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-05T02:00:06.059Z","response_time":54,"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"},"owner_record":{"login":"mstksg","name":"Justin Le","uuid":"187815","kind":"user","description":"jle / mstksg / Lê Anh Khoa: Computational physicist \u0026 Haskeller, PhD","email":"","website":"https://blog.jle.im","location":"Orange, CA","twitter":"mstk","company":"@Anduril","icon_url":"https://avatars.githubusercontent.com/u/187815?u=71a8f03b1e6140be7d7d780947c9e7db6dc2324e\u0026v=4","repositories_count":274,"last_synced_at":"2025-09-29T10:58:38.630Z","metadata":{"has_sponsors_listing":true},"html_url":"https://github.com/mstksg","funding_links":["https://github.com/sponsors/mstksg"],"total_stars":1727,"followers":483,"following":68,"created_at":"2022-11-02T20:54:11.881Z","updated_at":"2025-09-29T10:58:38.630Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mstksg","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mstksg/repositories"},"tags":[{"name":"v0.3.1.1","sha":"20bc329733a0f9a5b50eb93a6d9fc3b7b66682b4","kind":"tag","published_at":"2024-02-28T01:22:51.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.3.1.1","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.3.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.3.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.1.1/manifests"},{"name":"v0.3.1.0","sha":"eee8a02191a0e395cb8cdce1a48ab137ad2e26c1","kind":"tag","published_at":"2023-07-04T08:39:14.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.3.1.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.3.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.3.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.1.0/manifests"},{"name":"v0.3.0.0","sha":"d7e5e204f869d53c9489591921684ee9338ea82e","kind":"tag","published_at":"2020-02-03T02:18:48.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.3.0.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.3.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.3.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.3.0.0/manifests"},{"name":"v0.2.1.0","sha":"e5ca8974fc010a3bc4161fe981678b496a4a90c6","kind":"tag","published_at":"2019-08-24T17:58:49.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.2.1.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.2.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.2.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.2.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.2.1.0/manifests"},{"name":"v0.2.0.0","sha":"15e2f1fa1378ca4acb206e43e90b3e03e9eefe22","kind":"tag","published_at":"2019-08-13T06:35:33.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.2.0.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.2.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.2.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.2.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.2.0.0/manifests"},{"name":"v0.1.5.0","sha":"1b5c4c7791ce9e64e0e8228e9f306399befe88e5","kind":"tag","published_at":"2019-03-06T17:09:30.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.5.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.5.0/manifests"},{"name":"v0.1.4.0","sha":"a1acb3f252a1a45dd1c35196aca2d0e099bb95b3","kind":"tag","published_at":"2018-10-30T04:59:45.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.4.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.4.0/manifests"},{"name":"v0.1.3.1","sha":"c37b2c86741ed40d26c569737d249c04a0354c1e","kind":"tag","published_at":"2018-10-27T01:55:13.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.3.1","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.3.1/manifests"},{"name":"v0.1.3.0","sha":"5ed30ad1e98627d7acbeebae7b76fc6830b28bd4","kind":"tag","published_at":"2018-10-25T05:44:41.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.3.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.3.0/manifests"},{"name":"v0.1.2.0","sha":"0a5746b2c25caef3913e32bf77d697f633bb6892","kind":"tag","published_at":"2018-10-14T07:26:02.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.2.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.2.0/manifests"},{"name":"v0.1.1.0","sha":"ca2b1dfd24fc1c6e52e3ccbe9e9150ea4557e185","kind":"tag","published_at":"2018-10-12T09:46:44.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.1.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.1.0/manifests"},{"name":"v0.1.0.0","sha":"53095d01ab57d1cf3557619deaa546e9c022b356","kind":"tag","published_at":"2018-10-11T22:24:32.000Z","download_url":"https://codeload.github.com/mstksg/decidable/tar.gz/v0.1.0.0","html_url":"https://github.com/mstksg/decidable/releases/tag/v0.1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mstksg/decidable@v0.1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/tags/v0.1.0.0/manifests"}]},"repo_metadata_updated_at":"2026-04-20T14:47:27.049Z","dependent_packages_count":1,"downloads":5088,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":32.5156974355965,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":19.541106742562057,"forks_count":14.770259961269879,"average":26.83762689982982},"purl":"pkg:hackage/decidable","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/decidable","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/decidable","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/decidable/dependencies","status":null,"funding_links":["https://github.com/sponsors/mstksg"],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-02T08:49:12.534Z","issues_count":1,"pull_requests_count":2,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":8890.0,"issues_closed_count":0,"pull_requests_closed_count":1,"pull_request_authors_count":2,"issue_authors_count":1,"avg_comments_per_issue":5.0,"avg_comments_per_pull_request":1.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/mstksg%2Fdecidable/issues","maintainers":[],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/decidable/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/decidable/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/decidable/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/decidable/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/decidable/codemeta","maintainers":[{"uuid":"jle","login":"jle","name":null,"email":null,"url":null,"packages_count":33,"html_url":"https://hackage.haskell.org/user/jle","role":null,"created_at":"2022-11-14T17:19:10.407Z","updated_at":"2022-11-14T17:19:10.407Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/jle/packages"}]}