MagicHaskeller: Automatic inductive functional programmer by systematic search
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Warnings:
- Exposed modules use unallocated top-level names: MagicHaskeller
MagicHaskeller is an inductive functional programming system for Haskell. This package contains the MagicHaskeller library, which can be used within GHCi or as an API for inductive program synthesis. It also contains the MagicHaskeller executable that is a standalone synthesis program which can be used interactively or as a backend server, and the MagicHaskeller.cgi executable that is a CGI frontend for providing the Web interface.
Properties
| Versions | 0.8.5, 0.8.6, 0.8.6.1, 0.8.6.2, 0.8.6.3, 0.9.1, 0.9.6.4.1, 0.9.6.4.2, 0.9.6.4.3, 0.9.6.4.4, 0.9.6.4.5, 0.9.6.4.6, 0.9.6.4.7, 0.9.6.5, 0.9.6.5, 0.9.6.6, 0.9.6.6.1, 0.9.6.7, 0.9.6.8, 0.9.6.9, 0.9.6.10, 0.9.7.0, 0.9.7.1 |
|---|---|
| Change log | changelog.txt |
| Dependencies | abstract-par, array, base (>=4 && <5), bytestring, cgi, containers, directory, extensible-exceptions, ghc, ghc-paths, hashable, haskell-src, hint, html, MagicHaskeller, monad-par, mtl, mueval, network, network-uri, pretty, process, random, syb, template-haskell, tf-random (<=0.3 || >=0.5), time, transformers, unix [details] |
| License | BSD-3-Clause |
| Author | Susumu Katayama |
| Maintainer | Susumu Katayama <skata@cs.miyazaki-u.ac.jp> |
| Category | Language |
| Home page | http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html |
| Bug tracker | mailto:skata@cs.miyazaki-u.ac.jp |
| Uploaded | by SusumuKatayama at 2016-08-16T11:57:54Z |
Modules
- Control
- Monad
- Search
- Control.Monad.Search.Best
- Control.Monad.Search.Combinatorial
- Search
- Monad
- MagicHaskeller
- MagicHaskeller.Analytical
- MagicHaskeller.Classification
- MagicHaskeller.ExecuteAPI610
- MagicHaskeller.Expression
- MagicHaskeller.FastRatio
- MagicHaskeller.GetTime
- MagicHaskeller.IOGenerator
- MagicHaskeller.LibExcel
- MagicHaskeller.LibTH
- MagicHaskeller.Minimal
- MagicHaskeller.Options
- MagicHaskeller.ProgGen
- MagicHaskeller.ProgGenSF
- MagicHaskeller.ProgGenSFIORef
- MagicHaskeller.RunAnalytical
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| tfrandom | Use the tf-random package instead of the random package | Enabled |
| ghcapi | Enable execution using the GHC API rather than the combinatory interpreter | Enabled |
| readfile | Enable to read a component library file | Enabled |
| debug | Force typechecking at each dynamic application | Disabled |
| networkuri | Find Network.URI in network-uri rather than in network < 2.6 (This is a workaround for the changes made in those packages.) | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- MagicHaskeller-0.9.6.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees