MagicHaskeller.ProgGen

Documentation

newtype ProgGen

The vanilla program generator corresponding to Version 0.7.*

Constructors

PG (MemoDeb (ClassLib CoreExpr) CoreExpr)

internal data representation

Instances

ProgramGeneratorIO ProgGen

Methods

mkTrieIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> IO ProgGen

mkTrieOptIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> [[Typed [CoreExpr]]] -> IO ProgGen

matchingProgramsIO :: Type -> ProgGen -> RecompT IO AnnExpr

unifyingProgramsIO :: Type -> ProgGen -> RecompT IO AnnExpr

ProgramGenerator ProgGen

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

WithCommon ProgGen

Methods

extractCommon :: ProgGen -> Common

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

newtype ClassLib e

Constructors

CL (MemoDeb (ClassLib e) e)

mguPrograms :: Search m => Generator m CoreExpr