The MagicHaskeller package

[Tags:bsd3, library, program]

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
Change log changelog.txt
Dependencies abstract-par, array, base (==4.*), 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 BSD3
Author Susumu Katayama
Maintainer Susumu Katayama <skata@cs.miyazaki-u.ac.jp>
Stability experimental
Category Language
Home page http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
Bug tracker mailto:skata@cs.miyazaki-u.ac.jp
Uploaded Tue Aug 16 12:02:27 UTC 2016 by SusumuKatayama
Distributions NixOS:0.9.6.5
Downloads 2111 total (86 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-10-25 [all 3 reports]

Modules

  • Control
    • Monad
      • Search
        • Control.Monad.Search.Best
        • Control.Monad.Search.Combinatorial
  • 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

NameDescriptionDefaultType
tfrandomUse the tf-random package instead of the random packageEnabledAutomatic
ghcapiEnable execution using the GHC API rather than the combinatory interpreterEnabledAutomatic
readfileEnable to read a component library fileEnabledAutomatic
debugForce typechecking at each dynamic applicationDisabledAutomatic
networkuriFind Network.URI in network-uri rather than in network < 2.6 (This is a workaround for the changes made in those packages.)EnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees