Idris.REPL

Documentation

repl

Arguments

:: IState

The initial state

-> [FilePath]

The loaded modules

-> InputT Idris ()

Run the REPL

startServer :: IState -> [FilePath] -> Idris ()

Run the REPL server

processNetCmd :: IState -> IState -> Handle -> FilePath -> String -> IO (IState, FilePath)

runClient :: String -> IO ()

Run a command on the server on localhost

ideslaveStart :: IState -> [FilePath] -> Idris ()

Run the IdeSlave

ideslave :: IState -> [FilePath] -> Idris ()

ideslaveProcess :: FilePath -> Command -> Idris ()

mkPrompt :: [FilePath] -> [Char]

The prompt consists of the currently loaded modules, or Idris if there are none

lit :: FilePath -> Bool

Determine whether a file uses literate syntax

processInput :: String -> IState -> [FilePath] -> Idris (Maybe [FilePath])

resolveProof :: Name -> Idris Name

removeProof :: Name -> Idris ()

edit :: FilePath -> IState -> Idris ()

proofs :: IState -> Idris ()

insertScript :: String -> [String] -> [String]

process :: Handle -> FilePath -> Command -> Idris ()

classInfo :: ClassInfo -> Idris ()

dumpMethod :: (Name, (FnOpts, PTerm)) -> Idris ()

dumpDefaultInstance :: PDecl -> Idris ()

dumpInstance :: Name -> Idris ()

showTotal :: Totality -> IState -> String

showTotalN :: IState -> Name -> String

displayHelp :: [Char]

parseCodegen :: String -> Codegen

parseArgs :: [String] -> [Opt]

helphead :: [([[Char]], CmdArg, [Char])]

replSettings :: Maybe FilePath -> Settings Idris

idris :: [Opt] -> IO (Maybe IState)

loadInputs :: Handle -> [FilePath] -> Idris ()

idrisMain :: [Opt] -> Idris ()

execScript :: String -> Idris ()

fixColour :: Bool -> Doc -> Doc

Check if the coloring matches the options and corrects if necessary

getIdrisUserDataDir :: Idris FilePath

Get the platform-specific, user-specific Idris dir

getInitScript :: Idris FilePath

Locate the platform-specific location for the init script

initScript :: Idris ()

Run the initialisation script

getFile :: Opt -> Maybe String

getBC :: Opt -> Maybe String

getOutput :: Opt -> Maybe String

getIBCSubDir :: Opt -> Maybe String

getImportDir :: Opt -> Maybe String

getPkgDir :: Opt -> Maybe String

getPkg :: Opt -> Maybe (Bool, String)

getPkgClean :: Opt -> Maybe String

getPkgREPL :: Opt -> Maybe String

getPkgCheck :: Opt -> Maybe String

getCodegen :: Opt -> Maybe Codegen

getExecScript :: Opt -> Maybe String

getOutputTy :: Opt -> Maybe OutputType

getLanguageExt :: Opt -> Maybe LanguageExt

getTriple :: Opt -> Maybe String

getCPU :: Opt -> Maybe String

getOptLevel :: Opt -> Maybe Word

getColour :: Opt -> Maybe Bool

opt :: (Opt -> Maybe a) -> [Opt] -> [a]

ver :: [Char]

banner :: [Char]