Module REPL.State

The state of the REPL.

Author: Michael Hanus

Version: October 2021

Summary of exported operations:

initReplState :: CCDescription -> IO ReplState  Deterministic 
Initial state of REPL w.r.t.
mainExpFile :: ReplState -> String  Deterministic 
loadPaths :: ReplState -> [String]  Deterministic 
writeVerboseInfo :: ReplState -> Int -> String -> IO ()  Deterministic 
Show an info message for a given verbosity level

Exported datatypes:

ReplState

Constructors:

  • ReplState :: CCDescription -> String -> [(String,String)] -> Int -> [String] -> [String] -> String -> String -> [String] -> String -> String -> Int -> Bool -> Bool -> Bool -> Bool -> Bool -> String -> String -> [CCOptionImpl] -> Bool -> Int -> [(String,(String,Handle))] -> ReplState

    Fields:

    • compiler :: CCDescription
    • usingOption :: String
    • rcVars :: [(String,String)]
    • verbose :: Int
    • libPaths :: [String]
    • importPaths :: [String]
    • preludeName :: String
    • currMod :: String
    • addMods :: [String]
    • mainExpMod :: String
    • prompt :: String
    • timeOut :: Int
    • showTime :: Bool
    • withEcho :: Bool
    • withShow :: Bool
    • showBindings :: Bool
    • safeExec :: Bool
    • parseOpts :: String
    • rtsArgs :: String
    • cmpOpts :: [CCOptionImpl]
    • quit :: Bool
    • exitStatus :: Int
    • sourceguis :: [(String,(String,Handle))]

Exported operations:

initReplState :: CCDescription -> IO ReplState  Deterministic 

Initial state of REPL w.r.t. a compiler description

mainExpFile :: ReplState -> String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

loadPaths :: ReplState -> [String]  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

writeVerboseInfo :: ReplState -> Int -> String -> IO ()  Deterministic 

Show an info message for a given verbosity level