CurryInfo: currypp-3.2.0 / CPP.ICode.Parser.SQL.Translator.translate

translate :: PM [Statement] -> Bool -> String -> Pos -> PM String
translate (PM (WM (Errors err) ws)) _ _ _ = PM $ WM (throwPR err) ws
translate (PM (WM (OK stats) ws)) withrundb mModel pos =
  let (PM (WM resPR warns)) = sequencePM (map (transStatement pos mModel) stats)
  in liftPM showFunction (PM $ WM resPR (warns++ws))
 where
  -- The list of CExpr representing the statements is concatenated and pretty
  -- printed. To obtain a single-line translation, line feeds are replaced by
  -- space characters and indentation is removed
  showFunction stats0 =
    let finExpr = if withrundb
                    then applyF (mCDBI, "runWithDB")
                                [constF (mModel, "sqliteDBFile"),
                                 concatStatements stats0]
                    else concatStatements stats0
        finStr = (pPrint (ppCExpr defaultOptions finExpr))
        newLines = splitOn ['\n'] finStr
    in '(' : removeIndents (intercalate [' '] newLines) ++ ")"

argument 1

deterministic operation

--- Invokes the translation of the AST into a string of curry code
--- in case a valid AST is given, does nothing otherwise.

<FAILING>

referentially transparent operation

no fixity defined

{({PM},_,_,_) |-> _}

translate

no precedence defined

_

CPP.ICode.ParseMonad.PM [CPP.ICode.Parser.SQL.AST.Statement] -> Prelude.Bool
-> String -> CPP.ICode.ParsePos.Pos -> CPP.ICode.ParseMonad.PM String

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term