Feldspar.Core.Constructs.Binding

Interpretation of binding constructs

Documentation

module Language.Syntactic.Constructs.Binding

optimizeLambda

Arguments

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

=> (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

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

=> (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

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

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

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