CurryInfo: curry-repl-1.2.0 / REPL.State.initReplState

definition: 
initReplState :: CCDescription -> IO ReplState
initReplState cd = do
  pid <- getPID
  let compilerid = filter isAlphaNum (ccName cd)
  mainmod <- getUnusedMod ("Main" ++ compilerid ++ show pid)
  return $ ReplState
    { compiler     = cd
    , usingOption  = ""
    , rcVars       = []
    , verbose      = 1
    , libPaths     = splitSearchPath (ccLibPath cd)
    , importPaths  = []
    , preludeName  = "Prelude"
    , currMod      = "Prelude"
    , addMods      = []
    , letBinds     = []
    , mainExpMod   = mainmod
    , prompt       = "%s> "
    , timeOut      = 0
    , showTime     = False
    , withEcho     = False
    , withShow     = False
    , showBindings = not (isLegacyFreeMode (ccFreeMode cd)) -- default=True unless legacy free mode is on
    , safeExec     = False
    , freeMode     = ccFreeMode cd
    , parseOpts    = ""
    , rtsArgs      = ""
    , cmpOpts      = map (\ (CCOption _ _ tags) -> head tags) (ccOpts cd)
    , quit         = False
    , exitStatus   = 0
    , sourceguis   = []
    }
 where
  getUnusedMod f = do
    ex <- doesFileExist (f ++ ".curry")
    if ex then getUnusedMod (f ++ "X")
          else return f
demand: 
no demanded arguments
deterministic: 
deterministic operation
documentation: 
--- Initial state of REPL w.r.t. a compiler description
failfree: 
<FAILING>
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{(_) |-> _}
name: 
initReplState
precedence: 
no precedence defined
result-values: 
_
signature: 
REPL.Compiler.CCDescription -> Prelude.IO ReplState
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term