{"id":165580,"name":"binary-search","ecosystem":"hackage","description":"Introduction\n\nThis package provides varieties of binary search functions.\nc.f.  Numeric.Search for the examples.\n\nThese search function can search for pure and monadic predicates, of type:\n\nThe predicates must satisfy that the domain range for any codomain value\nis continuous; that is, ∀x≦y≦z. pred x == pred z ⇒ pred y == pred x .\n\nFor example, we can address the problem of finding the boundary\nof an upward-closed set of integers, using a combination\nof exponential and binary searches.\n\nVariants are provided\nfor searching within bounded and unbounded intervals of\nboth Integer and bounded integral types.\n\nThe package was created by Ross Paterson, and extended\nby Takayuki Muranushi, to be used together with SMT solvers.\n\nThe Module Structure\n\nNumeric.Search provides the generic search combinator, to search for pure and monadic predicates.\n\nNumeric.Search.Bounded ,  Numeric.Search.Integer ,  Numeric.Search.Range provides the various specialized searchers, which means less number of function arguments, and easier to use.","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["algorithms","bsd3","library","Propose Tags"],"namespace":null,"versions_count":8,"first_release_published_at":"2008-03-18T14:27:49.000Z","latest_release_published_at":"2021-02-22T19:01:02.000Z","latest_release_number":"2.0.0","last_synced_at":"2026-03-29T06:07:07.658Z","created_at":"2022-04-05T18:10:35.704Z","updated_at":"2026-03-29T06:07:07.658Z","registry_url":"https://hackage.haskell.org/package/binary-search","install_command":"cabal install binary-search","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":1,"downloads":10964,"downloads_period":"total","dependent_repos_count":44,"rankings":{"downloads":14.275218988414807,"dependent_repos_count":7.951398700197795,"dependent_packages_count":10.471884713195818,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":10.899500800602807},"purl":"pkg:hackage/binary-search","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/binary-search","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/binary-search","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/binary-search/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/binary-search/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/binary-search/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/binary-search/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/binary-search/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/binary-search/codemeta","maintainers":[{"uuid":"TakayukiMuranushi","login":"TakayukiMuranushi","name":null,"email":null,"url":null,"packages_count":12,"html_url":"https://hackage.haskell.org/user/TakayukiMuranushi","role":null,"created_at":"2022-11-14T16:55:17.666Z","updated_at":"2022-11-14T16:55:17.666Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/TakayukiMuranushi/packages"},{"uuid":"RossPaterson","login":"RossPaterson","name":null,"email":null,"url":null,"packages_count":13,"html_url":"https://hackage.haskell.org/user/RossPaterson","role":null,"created_at":"2022-11-14T16:55:17.661Z","updated_at":"2022-11-14T16:55:17.661Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/RossPaterson/packages"},{"uuid":"Jappie","login":"Jappie","name":null,"email":null,"url":null,"packages_count":42,"html_url":"https://hackage.haskell.org/user/Jappie","role":null,"created_at":"2022-11-14T16:55:17.672Z","updated_at":"2022-11-14T16:55:17.672Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/Jappie/packages"}]}