The MagicHaskeller package

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.

[maintain]

Warnings:

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

Versions0.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.7
Change logchangelog.txt
Dependenciesabstract-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]
LicenseBSD3
AuthorSusumu Katayama
MaintainerSusumu Katayama <skata@cs.miyazaki-u.ac.jp>
CategoryLanguage
Home pagehttp://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
Bug trackermailto:skata@cs.miyazaki-u.ac.jp
ExecutablesMagicHaskeller.cgi, MagicHaskeller
UploadedSat Aug 5 21:48:22 UTC 2017 by SusumuKatayama

Modules

[Index]

Flags

NameDescriptionDefaultType
tfrandom

Use the tf-random package instead of the random package

EnabledAutomatic
ghcapi

Enable execution using the GHC API rather than the combinatory interpreter

EnabledAutomatic
readfile

Enable to read a component library file

EnabledAutomatic
debug

Force typechecking at each dynamic application

DisabledAutomatic
networkuri

Find 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

Maintainers' corner

For package maintainers and hackage trustees