Feldspar.Core.Constructs.Binding

Interpretation of binding constructs

Documentation

optimizeLambda

Arguments

:: (CLambda Type :<: dom, OptimizeSuper dom)

=> FeldOpts

-> (ASTF (dom :|| Typeable) b -> Opt (ASTF (Decor Info (dom :|| Typeable)) b))

Optimization of the body

-> Info a

-> CLambda Type (b :-> Full (a -> b))

-> Args (AST (dom :|| Typeable)) (b :-> Full (a -> b))

-> Opt (ASTF (Decor Info (dom :|| Typeable)) (a -> b))

optimizeFunction

Arguments

:: ((Variable :|| Type) :<: dom, CLambda Type :<: dom, Let :<: dom, OptimizeSuper dom)

=> FeldOpts

-> (ASTF (dom :|| Typeable) b -> Opt (ASTF (Decor Info (dom :|| Typeable)) b))

Optimization of the body

-> Info a

-> ASTF (dom :|| Typeable) (a -> b) -> Opt (ASTF (Decor Info (dom :|| Typeable)) (a -> b))

Assumes that the expression is a Lambda

subst

Arguments

:: forall dom a b . (Constrained dom, CLambda Type :<: dom, (Variable :|| Type) :<: dom)

=> VarId

Variable to be substituted

-> ASTF (dom :|| Typeable) a

Expression to substitute for

-> ASTF (dom :|| Typeable) b

Expression to substitute in

-> ASTF (dom :|| Typeable) b

betaReduce

Arguments

:: (Constrained dom, CLambda Type :<: dom, (Variable :|| Type) :<: dom)

=> ASTF (dom :|| Typeable) a

Argument

-> ASTF (dom :|| Typeable) (a -> b)

Function to be reduced

-> ASTF (dom :|| Typeable) b

prjLambda :: Project (CLambda Type) dom => dom sig -> Maybe (CLambda Type sig)

cLambda :: Type a => VarId -> CLambda Type (b :-> Full (a -> b))

reuseCLambda :: CLambda Type (b :-> Full (a -> b)) -> CLambda Type (c :-> Full (a -> c))

Allow an existing binding to be used with a body of a different type

collectLetBinders :: forall dom a. (Project Let dom, Project (CLambda Type) dom, ConstrainedBy dom Typeable) => ASTF dom a -> ([(VarId, ASTB dom Type)], ASTF dom a)

Collects the immediate let bindings in a list and returns the first non-let expression

This function can be useful when let bindings get in the way of pattern matching on a sub-expressions.