Safe Haskell	None
Language	Haskell98

MagicHaskeller.ProgGen

Synopsis

Documentation

The vanilla program generator corresponding to Version 0.7.*

Constructors

internal data representation

Instances

ProgramGenerator ProgGen Source #
Methods mkTrie :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> ProgGen mkTrieOpt :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> [[Typed [CoreExpr]]] -> ProgGen matchingPrograms :: Search m => Type -> ProgGen -> m AnnExpr matchingProgramsWOAbsents :: Search m => Type -> ProgGen -> m AnnExpr unifyingPrograms :: Search m => Type -> ProgGen -> m AnnExpr

Constructors

CL (MemoDeb (ClassLib e) e)