haltavista: looks for functions given a set of example input/outputs

Looks for functions in the local hoogle library given a set of example input/outputs. Requires hoogle.

Usage:

~$ haltavista
input_1_1 ... input_1_n output_1
...
input_m_1 ... input_m_n output_m
<EOF>

Example usage:

~$ haltavista
1 1 2
1 2 3
<EOF>

Prelude (+)

See README.md for more examples.

[Skip to Readme]

Downloads

For package maintainers and hackage trustees

Candidates

Versions [RSS]	0.1, 0.1.0.1
Dependencies	base (>=4 && <5), hint (>=0.3.2.3), process (>=1.0.1.3) [details]
License	GPL-2.0-only
Copyright	Paul Brauner and Jun Inoue
Author	Paul Brauner Jun Inoue
Maintainer	polux2001@gmail.com
Category	Development
Uploaded	by PaulBrauner at 2010-09-19T15:35:03Z
Distributions	NixOS:0.1.0.1
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	haltavista
Downloads	2111 total (13 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Last success reported on 2016-12-28 [all 8 reports]

Search for haskell functions in installed libraries by providing input/output examples.

Hoogle has to be installed.

Example session 1:

brauner@worf:~$ haltavista
2 2 4
<EOF>

Prelude (*)
Prelude (+)
Prelude (^)

Example session 2 (refining search 1):

brauner@worf:~$ haltavista
2 2 4
1 2 3
<EOF>

Prelude (+)

Example session 3 (higher-order functions):

brauner@worf:~$ haltavista 
(+1) (+2) (1,1) (2,3)
<EOF>

Data.Graph.Inductive.Query.Monad (><)

Under the hood, uses:

Hoogle calling facility has been copy-pasted (and later modified) from the Yi project.