definition module Sapl.Target.JS.Lifting import Sapl.SaplStruct from Data.Map import :: Map // Returns True if a term can be inlined, i.e. no separate statement is needed inline :: !SaplTerm -> Bool // First function: decide on strictness. See doStrictnessPropagation // Map: generated functions prepareFun :: (String Int Int -> Bool) !FuncType (Map String FuncType) -> (FuncType, Map String FuncType) prepareExpr :: (String Int Int -> Bool) !SaplTerm (Map String FuncType) -> (SaplTerm, Map String FuncType)