MagicHaskeller: Automatic inductive functional programmer by systematic search
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.
Modules
[Index] [Quick Jump]
- Control
- MagicHaskeller
- MagicHaskeller.Analytical
- MagicHaskeller.Classification
- MagicHaskeller.CoreLang
- MagicHaskeller.ExecuteAPI610
- MagicHaskeller.Expression
- MagicHaskeller.FastRatio
- MagicHaskeller.GetTime
- MagicHaskeller.Individual
- MagicHaskeller.Instantiate
- MagicHaskeller.LibExcel
- MagicHaskeller.LibTH
- MagicHaskeller.Minimal
- MagicHaskeller.MyCheck
- MagicHaskeller.Options
- MagicHaskeller.PolyDynamic
- MagicHaskeller.ProgGen
- MagicHaskeller.ProgGenSF
- MagicHaskeller.ProgGenSFIORef
- MagicHaskeller.ProgramGenerator
- MagicHaskeller.RunAnalytical
- MagicHaskeller.TICE
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
tfrandom | Use the tf-random package instead of the random package | Disabled |
ghcapi | Enable execution using the GHC API rather than the combinatory interpreter | Enabled |
ghcapicompat | Use GHC-API's compatibility helper. | Disabled |
readfile | Enable to read a component library file | Enabled |
readfileexts | Enable to read a component library file using haskell-src-exts | Disabled |
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 |
semigroup | Introduce Semigroup as the superclass of Monoid. | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- MagicHaskeller-0.9.7.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 |
---|---|
Change log | changelog.txt |
Dependencies | abstract-par, array, base (>=4 && <5), bytestring, cgi, containers, directory, extensible-exceptions, ghc, ghc-api-compat, ghc-paths, hashable, haskell-src, haskell-src-exts, hint, html, MagicHaskeller, monad-par, mtl, mueval, network (<3.0), network-uri, pretty, process, random, splitmix, syb, template-haskell, tf-random (<=0.3 || >=0.5), time, transformers, unix [details] |
Tested with | ghc ==7.6.3, ghc ==7.10.3, ghc ==8.0.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4 |
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 2022-06-02T06:21:17Z |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Executables | MagicHaskeller.cgi, MagicHaskeller |
Downloads | 15190 total (45 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2022-06-02 [all 1 reports] |