The haltavista package

[Tags: gpl, program]

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]

Properties

Versions0.1, 0.1.0.1
Change logNone available
Dependenciesbase (==4.*), hint (>=0.3.2.3), process (>=1.0.1.3) [details]
LicenseGPL-2
CopyrightPaul Brauner and Jun Inoue
AuthorPaul Brauner Jun Inoue
Maintainerpolux2001@gmail.com
Stabilityalpha
CategoryDevelopment
Executableshaltavista
UploadedSun Sep 19 15:27:42 UTC 2010 by PaulBrauner
DistributionsNixOS:0.1.0.1
Downloads401 total (18 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
Last success reported on 2015-05-30 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for haltavista-0.1

Haltavista

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

Requirements

Hoogle has to be installed.

Usage

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 (><)

Credits

Under the hood, uses:

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

Todo