Safe Haskell	None
Language	Haskell2010

MagicHaskeller.ProgGen

Synopsis

Documentation

The vanilla program generator corresponding to Version 0.7.*

Constructors

internal data representation

Instances details

ProgramGeneratorIO ProgGen Source #
Instance details Defined in MagicHaskeller.ProgGen Methods mkTrieIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> IO ProgGen Source # mkTrieOptIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> [[Typed [CoreExpr]]] -> IO ProgGen Source # matchingProgramsIO :: Type -> ProgGen -> RecompT IO AnnExpr Source # unifyingProgramsIO :: Type -> ProgGen -> RecompT IO AnnExpr Source #
ProgramGenerator ProgGen Source #
Instance details Defined in MagicHaskeller.ProgGen Methods mkTrie :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> ProgGen Source # mkTrieOpt :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> [[Typed [CoreExpr]]] -> ProgGen Source # matchingPrograms :: Search m => Type -> ProgGen -> m AnnExpr Source # matchingProgramsWOAbsents :: Search m => Type -> ProgGen -> m AnnExpr Source # unifyingPrograms :: Search m => Type -> ProgGen -> m AnnExpr Source #
WithCommon ProgGen Source #
Instance details Defined in MagicHaskeller.ProgGen Methods extractCommon :: ProgGen -> Common Source #

Constructors

CL (MemoDeb (ClassLib e) e)