HERMIT.Dictionary.Function

Documentation

externals :: [External]

appArgM :: Monad m => Int -> CoreExpr -> m CoreExpr

Get the nth argument of an application. Arg 0 is the function being applied.

buildAppM :: MonadCatch m => CoreExpr -> CoreExpr -> m CoreExpr

Given expression for f and for x, build f x, figuring out the type arguments.

buildAppsM :: MonadCatch m => CoreExpr -> [CoreExpr] -> m CoreExpr

buildCompositionT :: (BoundVars c, HasHermitMEnv m, HasHscEnv m, MonadCatch m, MonadIO m, MonadThings m) => CoreExpr -> CoreExpr -> Transform c m x CoreExpr

Build composition of two functions.

buildFixT :: (BoundVars c, HasHscEnv m, HasHermitMEnv m, MonadCatch m, MonadIO m, MonadThings m) => CoreExpr -> Transform c m x CoreExpr

Given expression for f, build fix f.

buildIdT :: (BoundVars c, HasHscEnv m, HasHermitMEnv m, MonadCatch m, MonadIO m, MonadThings m) => Type -> Transform c m x CoreExpr

Build an expression that is the monomorphic id function for given type.

staticArgR :: (AddBindings c, ExtendPath c Crumb, HasEmptyContext c, ReadPath c Crumb, MonadCatch m, MonadUnique m) => Rewrite c m CoreDef

Traditional Static Argument Transformation

staticArgPosR :: (AddBindings c, ExtendPath c Crumb, HasEmptyContext c, ReadPath c Crumb, MonadCatch m, MonadUnique m) => [Int] -> Rewrite c m CoreDef

Static Argument Transformations which requires that arguments in the given position are static.

staticArgPredR

Arguments

:: (AddBindings c, ExtendPath c Crumb, HasEmptyContext c, ReadPath c Crumb, MonadCatch m, MonadUnique m)

=> ([(Int, Var)] -> m [Int])

given list of static args and positions, decided which to transform

-> Rewrite c m CoreDef

Generalized Static Argument Transformation, which allows static arguments to be filtered.

staticArgTypesR :: (AddBindings c, ExtendPath c Crumb, HasEmptyContext c, ReadPath c Crumb, MonadCatch m, MonadUnique m) => Rewrite c m CoreDef

Static Argument Transformation that only considers type arguments to be static.