@hackage / MagicHaskeller

Automatic inductive functional programmer by systematic search

Latest0.9.7.1

About

Metadata

  • Last updated , by SusumuKatayama
  • License BSD-3-Clause

  • Maintained by: Susumu Katayama <skata@cs.miyazaki-u.ac.jp>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.8.4
  2. 8.6.5
  3. 8.4.4
  4. 8.0.2
  5. 7.10.3

Package Flags

Use the -f option with cabal commands to enable flags

    tfrandom (off by default)

    Use the tf-random package instead of the random package

    ghcapi (on by default)

    Enable execution using the GHC API rather than the combinatory interpreter

    ghcapicompat (off by default)

    Use GHC-API's compatibility helper.

    readfile (on by default)

    Enable to read a component library file

    readfileexts (off by default)

    Enable to read a component library file using haskell-src-exts

    debug (off by default)

    Force typechecking at each dynamic application

    networkuri (on by default)

    Find Network.URI in network-uri rather than in network < 2.6 (This is a workaround for the changes made in those packages.)

    semigroup (on by default)

    Introduce Semigroup as the superclass of Monoid.

Readme

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.