|
definition:
|
showJSExp :: JSExp -> String
showJSExp (JSString s) = "\"" ++ s ++ "\""
showJSExp (JSInt i) = show i
showJSExp (JSBool b) = if b then "true" else "false"
showJSExp (JSIVar i) = "x" ++ show i
showJSExp (JSIArrayIdx ai i) = "x" ++ show ai ++ "[" ++ show i ++ "]"
showJSExp (JSOp op e1 e2) =
"(" ++ showJSExp e1 ++ " " ++ op ++ " " ++ showJSExp e2 ++ ")"
showJSExp (JSFCall f args) =
f ++ "(" ++ intercalate "," (map showJSExp args) ++ ")"
showJSExp (JSApply f e) = showJSExp f ++ "(" ++ showJSExp e ++ ")"
showJSExp (JSLambda params body) =
"function(" ++ intercalate "," (map (showJSExp . JSIVar) params) ++
") {" ++ concatMap (showJSStat 1) body ++ "} "
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
------------------------------------------------------------------------------
--- Shows a JavaScript expression as a string in JavaScript syntax.
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({JSString}) |-> _ || ({JSInt}) |-> _ || ({JSBool}) |-> {:} || ({JSIVar}) |-> _ || ({JSIArrayIdx}) |-> _ || ({JSOp}) |-> _ || ({JSFCall}) |-> _ || ({JSApply}) |-> _ || ({JSLambda}) |-> _}
|
|
name:
|
showJSExp
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Language.JavaScript.Types.JSExp -> String
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|