Module REPL.State

Exported Datatypes

Constructors:

• ReplState :: CCDescription -> String -> [(String, String)] -> Int -> [String] -> [String] -> String -> String -> [String] -> [String] -> String -> String -> Int -> Bool -> Bool -> Bool -> Bool -> Bool -> String -> String -> FreeMode -> [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]
  • letBinds :: [String]
  • mainExpMod :: String
  • prompt :: String
  • timeOut :: Int
  • showTime :: Bool
  • withEcho :: Bool
  • withShow :: Bool
  • showBindings :: Bool
  • safeExec :: Bool
  • parseOpts :: String
  • rtsArgs :: String
  • freeMode :: FreeMode
  • cmpOpts :: [CCOptionImpl]
  • quit :: Bool
  • exitStatus :: Int
  • sourceguis :: [(String, (String, Handle))]

Exported Functions

initReplState :: CCDescription -> IO ReplState   

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

mainExpFile :: ReplState -> String   

Further infos:

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

loadPaths :: ReplState -> [String]   

Further infos:

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

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

Show an info message for a given verbosity level