|
definition:
|
parse :: String -> LangParser
parse showfun p s = do
x <- addVarsToSpecs p $ readExpression p s
return (bindPM (liftPM genString x)
(\y -> cleanPM ((++) (showfun++" (") y)))
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- The function parses and converts a String that is in the format of a C-like
--- printf expression into a Curry Expression that makes use of the
--- `Data.Format` library.
--- @param showfun - The operation to be applied to the formatted string result
--- @param pos - The position of the expression in the original file
--- @param exp - The expression which should be converted
--- @return A String in Curry Syntax matching exp using the `Data.Format`
--- library
|
|
failfree:
|
<FAILING>
|
|
indeterministic:
|
might be indeterministic
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_) |-> _}
|
|
name:
|
parse
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
String -> CPP.ICode.ParsePos.Pos -> String
-> Prelude.IO (CPP.ICode.ParseMonad.PM String)
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|