MagicHaskeller

Re-exported modules

Setting up your synthesis

Class for program generator algorithms

class ProgramGenerator a

type ProgGenSFIORef

Functions for creating your program generator algorithm

updatePGXOptsFilt

data Opt a

Alternative way to create your program generator algorithm

Memoization depth

Time out

Defining functions automatically

type Everything

type Every a

type EveryIO a

Generating programs

Quick start

Incremental filtration

Expression generators

Utility to filter out equivalent expressions

Unility to get one value easily

Pretty printers

Internal data representation

class Filtrable a