MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

MagicHaskeller.Expression

Documentation

data AnnExpr Source

Constructors

AE CoreExpr Dynamic 

Instances

data MemoExpr Source

Constructors

ME CoreExpr Dynamic Dynamic 

aeToME :: TyConLib -> RTrie -> Type -> AnnExpr -> MemoExpr Source

meToAE :: MemoExpr -> AnnExpr Source

class (Ord e, Show e) => Expression e where Source

Minimal complete definition

mkHead, toCE, fromCE, mapCE, aeAppErr, appEnv, toAnnExpr, toAnnExprWind, toAnnExprWindWind, fromAnnExpr, reorganize, reorganize', reorganizeId, replaceVars'

Methods

mkHead :: (Integral i, Integral j) => (CoreExpr -> Dynamic) -> i -> j -> CoreExpr -> e Source

toCE :: e -> CoreExpr Source

fromCE :: (CoreExpr -> Dynamic) -> CoreExpr -> e Source

mapCE :: (CoreExpr -> CoreExpr) -> e -> e Source

aeAppErr :: String -> e -> e -> e Source

appEnv :: Int8 -> e -> e -> e Source

toAnnExpr :: (CoreExpr -> Dynamic) -> e -> AnnExpr Source

toAnnExprWind :: (CoreExpr -> Dynamic) -> Type -> e -> AnnExpr Source

toAnnExprWindWind :: (CoreExpr -> Dynamic) -> Type -> e -> AnnExpr Source

fromAnnExpr :: AnnExpr -> e Source

reorganize :: Monad m => ([Type] -> m [e]) -> [Type] -> m [e] Source

reorganize' :: Monad m => ([Type] -> m [e]) -> [Type] -> m [e] Source

reorganizeId :: ([Type] -> [e]) -> [Type] -> [e] Source

replaceVars' :: Int8 -> e -> [Int8] -> e Source

reorganizeId' :: Functor m => ([Type] -> m e) -> [Type] -> m e Source

Instances

(<$>) :: Expression e => e -> e -> e Source

mkHeadAE :: (CoreExpr -> Dynamic) -> Int8 -> Int8 -> CoreExpr -> AnnExpr Source

windType :: Type -> CoreExpr -> CoreExpr Source

dynSn :: Int8 -> Dynamic Source

getDyn :: Int8 -> Int8 -> Dynamic Source

mkDyn :: Int8 -> Int8 -> Dynamic Source

dynss :: [[Dynamic]] Source

x :: Integral i => i -> Dynamic Source

finiteDynar :: Array (Int8, Int8) Dynamic Source

finiteDynarr :: Array (Int8, Int8, Int8) Dynamic Source

finiteDynss :: [[Dynamic]] Source

finiteDynsss :: [[[Dynamic]]] Source

getDyn_LambdaBoundHead :: Int8 -> Int8 -> Int8 -> Dynamic Source

mkDyn_LambdaBoundHead :: Int8 -> Int8 -> Int8 -> Dynamic Source

dynsss :: [[[Dynamic]]] Source

dynBK :: Dynamic Source

reorganizer :: Monad m => ([Type] -> m [CoreExpr]) -> [Type] -> m [CoreExpr] Source

reorganizerId :: ([Type] -> [CoreExpr]) -> [Type] -> [CoreExpr] Source

replaceVars :: Int8 -> CoreExpr -> [[Int8]] -> [CoreExpr] Source

cvtAvails :: [Type] -> ([Type], [[Int8]]) Source

tkr10 :: [(Type, a)] -> [(Type, [a])] Source

annotate :: [Type] -> [(Type, Int8)] Source

reorganizeCE' :: Monad m => ([Type] -> m [CoreExpr]) -> [Type] -> m [CoreExpr] Source

replaceVarsCE' :: Int8 -> CoreExpr -> [Int8] -> CoreExpr Source

cvtAvails' :: [Type] -> ([Int8], [Type]) Source

uniqSorter :: Expression e => [(e, Int)] -> [(e, Int)] Source

uniqSortPatAVL :: Expression e => [(e, Int)] -> [(e, Int)] Source

uniqSort :: Ord a => [a] -> [a] Source

uniqSortAVL :: Ord a => [a] -> [a] Source

swapUniqSort :: (Ord a, Ord b) => [(a, b)] -> [(a, b)] Source

see :: Int8 -> Int8 -> String Source

seeType :: Int8 -> Int8 -> CoreExpr Source

sees :: Int8 -> Int8 -> Int8 -> String Source

seesType :: Int8 -> Int8 -> Int8 -> CoreExpr Source

e2THE :: CoreExpr -> Exp Source

printTables :: IO () Source

printTable :: IO () Source

pprintType :: Type -> String Source

mkVName :: Char -> Int -> Q Name Source

mkVNames :: Char -> Int -> Q [Name] Source

mkEs :: Int -> Q [Name] Source

mkAs :: Int -> Q [Name] Source

mkXs :: Int -> Q [Name] Source

mkHd :: Q Name Source

hdmnTHEQ :: Int8 -> Int8 -> ExpQ Source

aimnTHEQ :: Int8 -> Int8 -> Int8 -> ExpQ Source

hdmnTHE :: Int8 -> Int8 -> Exp Source

aimnTHE :: Int8 -> Int8 -> Int8 -> Exp Source

hdmnty :: Int8 -> Int8 -> Type Source

aimnty :: Int8 -> Int8 -> Int8 -> Type Source

mkTV :: TyVar -> Type Source

tvrs :: [Type] Source

tvas :: [Type] Source

tvr :: Type Source

maxArity :: Int8 Source

maxLenavails :: Int8 Source

maxDebindex :: Int8 Source

mkCE Source

Arguments

:: Int8

length of avails

-> Int8

arity of the head function

-> CoreExpr 

mkCE_LambdaBoundHead :: Int8 -> Int8 -> Int8 -> CoreExpr Source

data CoreExpr Source

Instances