Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: binary-search
Introduction
This package provides varieties of binary search functions.
c.f. Numeric.Search for the examples.
These search function can search for pure and monadic predicates, of type:
The predicates must satisfy that the domain range for any codomain value
is continuous; that is, ∀x≦y≦z. pred x == pred z ⇒ pred y == pred x .
For example, we can address the problem of finding the boundary
of an upward-closed set of integers, using a combination
of exponential and binary searches.
Variants are provided
for searching within bounded and unbounded intervals of
both Integer and bounded integral types.
The package was created by Ross Paterson, and extended
by Takayuki Muranushi, to be used together with SMT solvers.
The Module Structure
Numeric.Search provides the generic search combinator, to search for pure and monadic predicates.
Numeric.Search.Bounded , Numeric.Search.Integer , Numeric.Search.Range provides the various specialized searchers, which means less number of function arguments, and easier to use.
8 versions
Latest release: about 3 years ago
1 dependent package
10,197 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/binary-search
Dependent Repos 44
bzhkl/Spreadsheet Fork of b1g3ar5/Spreadsheet
My spreadsheet app using threepenny-gui- 0.1 cabal.config
Size: 7.25 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
signed/learning-haskell
- 1.0.0.3 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
dikmax/dikmax.name
See dikmax.name-ng repository for new version. My blog. It's written in Hakyll.- 0.1 cabal.config
Size: 625 MB - Last synced: about 1 year ago - Pushed: about 8 years ago
bholst/blog
The blog software written for a personal blog. While this has been written for my own blog, it may also be useful for other blogs.- 0.1 cabal.config
Size: 364 KB - Last synced: about 1 year ago - Pushed: about 8 years ago
Vicky3/Simple-Blogging-Page-with-Yesod
- 0.1 cabal.config
Size: 162 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
spwhitton/oso2pdf 📦
Better conversion of Oxford Scholarship Online material to PDF- 0.1 cabal.config
Size: 32.2 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago
etorreborre/producer-hs
Simple streaming library for Haskell- 1.0.0.3 cabal.config
Size: 39.1 KB - Last synced: 13 days ago - Pushed: over 6 years ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==1.0.0.3 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 6 days ago - Pushed: almost 4 years ago
querl.dox/linux/alpine_linux/aports
- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Last synced: 11 months ago
nshepperd/funn
Funn: Functional Neural Networks in Haskell- * funn.cabal
Size: 425 KB - Last synced: about 2 months ago - Pushed: about 5 years ago
tjunier/mlgsc
Maximum-likelihood general sequence classifier- 0.1 cabal.config
Size: 234 MB - Last synced: 7 months ago - Pushed: over 7 years ago
fatho/rot-2015
Sachen erstellt für und während der Sommerakademie 2015 in Rot an der Rot.- 0.1 code/cabal.config
Size: 463 KB - Last synced: 10 months ago - Pushed: over 8 years ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 352 MB - Last synced: about 16 hours ago - Pushed: about 19 hours ago
akimichi/functionaljs
「関数型プログラミングの基礎」サンプルコード- 0.1 cabal.config
Size: 7 MB - Last synced: 21 days ago - Pushed: 22 days ago
b1g3ar5/Spreadsheet
My spreadsheet app using threepenny-gui- 0.1 cabal.config
Size: 7.25 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
pbevin/jstype
Playing at writing a Javascript compiler- 0.1 cabal.config
Size: 628 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
TomShacham/haskell-template-project
- 0.1 cabal.config
Size: 137 KB - Last synced: 9 months ago - Pushed: almost 9 years ago
agrafix/fileplow
Haskell: Library to process and search large files or a collection of files- * fileplow.cabal
Size: 10.7 KB - Last synced: 20 days ago - Pushed: almost 7 years ago
varosi/cgraytrace
CG^2 demo ray-tracer- 0.1 cabal.config
Size: 2.28 MB - Last synced: over 1 year ago
melisaldiaz/exercism
My solutions to exercism.io- * haskell/binary-search/binary-search.cabal
Size: 2.3 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
elisehuard/game-in-haskell
- >0.1 cabal.config
Size: 3.35 MB - Last synced: 6 months ago - Pushed: over 5 years ago
SamProtas/composable-associations
Library providing polymorphic composition of serialized haskell data to reduce boilerplate.- 1.0.0.3 composable-associations/cabal.config
- 1.0.0.3 composable-associations-aeson/cabal.config
Size: 47.9 KB - Last synced: 19 days ago - Pushed: about 3 years ago
ianoc/HSFailureCase
- 0.1 cabal.config
Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
saturday06/YesodTemplate
- 0.1 cabal.config
Size: 133 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 1.0.0.3 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
bjpop/language-python-test
Code for testing the language-python library- 1.0.0.3 cabal.config
Size: 1.53 MB - Last synced: 11 days ago - Pushed: over 5 years ago
sumitraja/upnp-client
UPNP Client primarily targeted at getting content off a ContentDirectory- 1.0.0.3 cabal.config
Size: 4.57 MB - Last synced: over 1 year ago
jacobstern/hamilton
- 1.0.0.3 cabal.config
- 1.0.0.3 hamilton/cabal.config
Size: 856 KB - Last synced: over 1 year ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
teoc/haskell-constructible
A fork of Anders Kaseorg's constructible number library- >=0.0 constructible.cabal
Last synced: over 1 year ago
victorlcasilva/aports
- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
steshaw/intellij-haskell
IntelliJ plugin for Haskell- 1.0.0.3 src/main/resources/cabal/cabal.config
Last synced: over 1 year ago
marklnichols/Strat
Haskell library for strategy game AI- 1.0.0.3 cabal.config
Last synced: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 1.0.0.3 cabal.config
Last synced: over 1 year ago
glaubersp/MoodleUFOP
Programa para gerar CSVs de inscrição no Moodle.- 0.1 cabal.config
Size: 156 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
yairchu/hmm
Hidden Markov Models in Haskell- * hmmSparse.cabal
Size: 102 KB - Last synced: about 1 year ago - Pushed: over 14 years ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 408 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
bgamari/build-env
- 2.0.0 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 15 days ago - Pushed: about 1 year ago
qrilka/xlsx
Simple and incomplete Excel file parser/writer- * xlsx.cabal
Size: 29.7 MB - Last synced: 8 days ago - Pushed: 9 days ago
asarkar/exercism-haskell
https://exercism.org/tracks/haskell- * binary-search/binary-search.cabal
Size: 2.13 MB - Last synced: 14 days ago - Pushed: 11 months ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 383 MB - Last synced: 13 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 341 MB - Last synced: 24 days ago - Pushed: 25 days ago
0x28/exercism
My solutions for exercism.org- * haskell/binary-search/binary-search.cabal
Size: 764 KB - Last synced: 3 months ago - Pushed: 3 months ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
jcgentry/RubiksCube
- 1.0.0.3 cabal.config
Size: 11.8 MB - Last synced: 11 months ago - Pushed: over 6 years ago
bennypowers/exercism-kata
My solutions to various Exercism.io / coding interview kata.- * haskell/binary-search/binary-search.cabal
Size: 131 KB - Last synced: about 1 year ago - Pushed: over 4 years ago
onepunchtech/one-punch-linux
- 1.0.0.3 cabal.config
Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
monnef/youtube-tool
CLI tool for easy downloading and opening of videos from YouTube.- 1.0.0.3 cabal.config
Last synced: about 1 year ago
commercialhaskell/commercialhaskell.com
Codebase for commercialhaskell.com- 0.1 cabal.config
Size: 2.16 MB - Last synced: about 2 months ago - Pushed: over 8 years ago
Jacob-Holm-Mortensen/my-project
- 1.0.0.3 cabal.config
Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pnaranja/haskellbook
Exercises and notes while studying The Haskell Book - http://haskellbook.com/- 1.0.0.3 chp14/cabal.config
Size: 3.07 MB - Last synced: 24 days ago - Pushed: over 6 years ago
fritexvz/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.04 MB - Last synced: 10 months ago - Pushed: over 8 years ago
tetrapharmakon/exercism
- * haskell/binary-search/binary-search.cabal
Size: 4.22 MB - Last synced: about 1 year ago - Pushed: about 4 years ago
hi-ogawa/haskell-heroku-docker
- 1.0.0.3 cabal.config
Size: 21.5 KB - Last synced: 13 days ago - Pushed: almost 8 years ago
mikla/haskell-stack-setup
- 1.0.0.3 cabal.config
Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
josefs/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
chroth7/AoCHaskell
Advent of Code - teaching myself how to Haskell (experiments, ideas, testing...)- 1.0.0.3 cabal.config
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
nisardan/appel-compiler
Implementing a compiler for the tiger language- 0.1 ch1/cabal.config
- 0.1 ch2/cabal.config
Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
anhmiuhv/learn_haskell
- 1.0.0.3 median/cabal.config
Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
rubik/ghc-exactprint Fork of alanz/ghc-exactprint
GHC version of haskell-src-exts exactPrint- 0.1 cabal.config
Size: 2.65 MB - Last synced: 24 days ago - Pushed: over 8 years ago
hi-ogawa/yesod-experiment
- 1.0.0.3 cabal.config
Size: 56.6 KB - Last synced: 13 days ago - Pushed: almost 8 years ago
hi-ogawa/haskell-tools
- 1.0.0.3 cabal.config
Size: 15.6 KB - Last synced: 13 days ago - Pushed: almost 8 years ago
bitemyapp/haizod
An IRC bot on a Raspberry Pi 2- 0.1 cabal.config
Size: 40 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
kentaroh-momiyama/commercialhaskell.com Fork of commercialhaskell/commercialhaskell.com
Codebase for commercialhaskell.com- 0.1 cabal.config
Size: 2.01 MB - Last synced: 10 months ago - Pushed: over 8 years ago
rebeccaskinner/hgrep
- 0.1 cabal.config
Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
dnaumenko/learning_haskell
- 1.0.0.3 cabal.config
Size: 784 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
cocreature/HaRe Fork of RefactoringTools/HaRe
The Haskell Refactoring Tool- 0.1 cabal.config
Size: 40.6 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
katrinafyi/comp3400
Exercises and assignments for COMP3400 (Functional Programming).- * exercism/haskell/binary-search/binary-search.cabal
Size: 232 KB - Last synced: 21 days ago - Pushed: about 1 year ago
LukeWinikates/simple
- 1.0.0.3 cabal.config
Size: 60.5 KB - Last synced: 29 days ago - Pushed: almost 7 years ago
tmcdonell/hfx
Accelerated cross-correlation based identification of protein sequences- * hfx.cabal
Size: 23.5 MB - Last synced: about 1 year ago - Pushed: almost 12 years ago
Teaspot-Studio/model-gridizer
Cutting 3D model into many meshes fitted into grid- 1.0.0.3 cabal.config
Size: 109 KB - Last synced: about 1 year ago - Pushed: about 8 years ago
DylanHobbs/haskell-shapes
- 1.0.0.3 cabal.config
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
romue404/wildsow.hs 📦
A card game implemented in Haskell- 1.0.0.3 cabal.config
Size: 11 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
initdc/aports
- 2.0.0 testing/darcs/cabal.config
- 2.0.0 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
yannick-cw/para-search
searching with haskell- 1.0.0.3 cabal.config
Size: 23.4 KB - Last synced: 2 months ago - Pushed: almost 7 years ago
JaimeValdemoros/4th-year-project
Github repository for my 4th year project code- 1.0.0.3 compiler/cabal.config
Size: 375 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
poproulx/99haskell
- 1.0.0.3 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
HaskellCNOrg/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.04 MB - Last synced: about 2 months ago - Pushed: over 8 years ago
imalsogreg/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.06 MB - Last synced: 30 days ago - Pushed: over 8 years ago
kxxoling/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
begray/haskell-crawler-example
Wikipedia crawler in Haskell- 1.0.0.3 cabal.config
Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/wiki-crawlers
Wikipedia crawlers implemented in different languages- 1.0.0.3 haskell/cabal.config
Size: 85.9 KB - Last synced: about 1 year ago - Pushed: about 4 years ago
jmitchell/hl Fork of haskell-infra/hl
Haskell web site- 0.1 cabal.config
Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 8 years ago