search is:package
Not on Stackage, so not searched.
Infinite search in finite time with Hilbert's epsilon
Common graph search algorithms
Library containing common graph search algorithms, including
depth-first and breadth-first searches, Dijkstra's algorithm, and A*
Fast searching, splitting and replacing of ByteStrings
Binary and exponential searches
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:
pred :: Eq b => a -> b
pred :: (Eq b, Monad m) => a -> m b
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
Not on Stackage, so not searched.
Amazon Elasticsearch Service SDK.
Not on Stackage, so not searched.
A search and indexing engine.
Not on Stackage, so not searched.
Amazon CloudSearch SDK.
Not on Stackage, so not searched.
Amazon CloudSearch Domain SDK.
Not on Stackage, so not searched.
In-memory full text search engine
Not on Stackage, so not searched.
ElasticSearch scribe for the Katip logging framework.
Not on Stackage, so not searched.
Search cabal packages by name
Not on Stackage, so not searched.
A search and indexing engine.
Not on Stackage, so not searched.
Amazon OpenSearch Service SDK.
Not on Stackage, so not searched.
Amazon OpenSearch Service Serverless SDK.
Not on Stackage, so not searched.
Search forward or backward for certain kinds of items in brick list
Not on Stackage, so not searched.
dmenu script for searching the web with customizable search engines.
Not on Stackage, so not searched.
Push metrics to elasticsearch
Not on Stackage, so not searched.
Serialization of Elasticsearch requests and responses
Not on Stackage, so not searched.
PostgreSQL full text search for Esqueleto
Google CustomSearch SDK.
Searches over a website or collection of websites
Warning: This is an experimental prototype/preview release
which is still under exploratory development and not intended for
public use, caveat emptor!
This library is compatible with version v1 of the API.
Google DoubleClick Search SDK.
Reports and modifies your advertising data in DoubleClick Search (for
example, campaigns, ad groups, keywords, and conversions).
Warning: This is an experimental prototype/preview release
which is still under exploratory development and not intended for
public use, caveat emptor!
This library is compatible with version v2 of the API.
Not on Stackage, so not searched.
Google Freebase Search SDK.
Google Knowledge Graph Search SDK.
Searches the Google Knowledge Graph for entities.
Warning: This is an experimental prototype/preview release
which is still under exploratory development and not intended for
public use, caveat emptor!
This library is compatible with version v1 of the API.
Not on Stackage, so not searched.
EDSL for Google and GMail search expressions
Not on Stackage, so not searched.
Exhaustively searchable infinite sets.