|
definition: |
parseSQL :: Bool -> Either String ParserInfo -> LangParser
parseSQL withrundb parserInfo pos code =
case parserInfo of
Left err -> return (throwPM pos err)
Right pi -> processCompilation withrundb pi pos code
|
|
demand: |
argument 2 |
|
deterministic: |
deterministic operation |
|
documentation: |
Converts a string representing SQL-requests into functions defined in the CDBI interface by calling the different stage of transformation. @param withrundb - decorate target code with `runWithDB` @param parserInfo - either the parser information or an error message @param pos - Position of the integrated SQL-String in the orginal file @param code - the SQL-request as string @return A String in Curry-Syntax (CDBI-functions). |
|
failfree: |
<FAILING> |
|
indeterministic: |
referentially transparent operation |
|
infix: |
no fixity defined |
|
iotype: |
{(_,{Left},_,_) |-> _ || (_,{Right},_,_) |-> _}
|
|
name: |
parseSQL |
|
precedence: |
no precedence defined |
|
result-values: |
_ |
|
signature: |
Prelude.Bool -> Prelude.Either String CPP.ICode.Parser.SQL.ParserInfoType.ParserInfo -> 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 |