MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.ProgGen

Synopsis

Documentation

newtype ProgGen Source

The vanilla program generator corresponding to Version 0.7.*

Constructors

PG (MemoDeb (ClassLib CoreExpr) CoreExpr)

internal data representation

Instances

mkCL :: Common -> [Typed [CoreExpr]] -> ClassLib CoreExpr Source

newtype ClassLib e Source

Constructors

CL (MemoDeb (ClassLib e) e) 

mguPrograms :: Search m => Generator m CoreExpr Source