packages feed

haltavista-0.1: haltavista.cabal

Name:                haltavista
Version:             0.1
Synopsis:            looks for functions given a set of example input/outputs
Stability:           alpha
Description:

  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.

License:             GPL-2
License-file:        LICENSE
Author:              Paul Brauner
                     Jun Inoue
Maintainer:          polux2001@gmail.com
Copyright:           Paul Brauner and Jun Inoue 
Category:            Development
Build-type:          Simple

Extra-source-files: README.md
Cabal-version:       >=1.4
Executable haltavista
  Main-is: Main.hs
  Build-depends: base >= 4 && <5, hint >= 0.3.2.3, process >= 1.0.1.3
  Other-modules: HaltaVista.Types
                 HaltaVista.TypeInference  
                 HaltaVista.Hoogle
                 HaltaVista.Match