MagicHaskeller: Automatic inductive functional programmer by systematic search
Modules
- Control
- Monad
- Search
- Control.Monad.Search.Best
- Control.Monad.Search.Combinatorial
- Search
- Monad
- MagicHaskeller
- MagicHaskeller.Analytical
- MagicHaskeller.Classification
- MagicHaskeller.ExecuteAPI610
- MagicHaskeller.Expression
- MagicHaskeller.GetTime
- MagicHaskeller.IOGenerator
- MagicHaskeller.LibTH
- MagicHaskeller.Minimal
- MagicHaskeller.Options
- MagicHaskeller.ProgGen
- MagicHaskeller.ProgGenSF
- MagicHaskeller.RunAnalytical
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| ghcapi | Enable execution using the GHC API rather than the combinatory interpreter | Enabled |
| ghc7 | GHC API version 7.* | Enabled |
| readfile | Enable to read a component library file | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- MagicHaskeller-0.9.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 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.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 |
|---|---|
| Dependencies | array, base (>=4 && <5), bytestring, containers, directory, ghc (>=6.10), ghc-paths, haskell-src, html, mtl, network, old-time, pretty, random, syb, template-haskell [details] |
| Tested with | ghc ==6.12.1 |
| 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 2013-01-09T12:20:04Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 15572 total (28 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-22 [all 9 reports] |