| Safe Haskell | None |
|---|
Idris.REPL
- repl :: IState -> MVar IState -> [FilePath] -> InputT Idris ()
- startServer :: IState -> MVar IState -> [FilePath] -> Idris ()
- processNetCmd :: MVar IState -> IState -> IState -> Handle -> FilePath -> String -> IO (IState, FilePath)
- runClient :: String -> IO ()
- ideslaveStart :: IState -> [FilePath] -> Idris ()
- ideslave :: IState -> [FilePath] -> Idris ()
- ideslaveProcess :: FilePath -> Command -> Idris ()
- mkPrompt :: [FilePath] -> [Char]
- lit :: FilePath -> Bool
- processInput :: MVar IState -> 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 ()
- 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 ()
- loadInputs :: Handle -> [FilePath] -> Idris ()
- idrisMain :: [Opt] -> Idris ()
- execScript :: String -> Idris ()
- fixColour :: Bool -> Doc -> Doc
- getIdrisUserDataDir :: Idris FilePath
- getInitScript :: Idris FilePath
- initScript :: Idris ()
- 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
- 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 :: String
- banner :: [Char]
Documentation
Arguments
| :: IState | The initial state |
| -> MVar IState | Server's MVar |
| -> [FilePath] | The loaded modules |
| -> InputT Idris () |
Run the REPL
processNetCmd :: MVar IState -> IState -> IState -> Handle -> FilePath -> String -> IO (IState, FilePath)Source
ideslaveStart :: IState -> [FilePath] -> Idris ()Source
Run the IdeSlave
ideslaveProcess :: FilePath -> Command -> Idris ()Source
mkPrompt :: [FilePath] -> [Char]Source
The prompt consists of the currently loaded modules, or Idris if there are none
resolveProof :: Name -> Idris NameSource
removeProof :: Name -> Idris ()Source
insertScript :: String -> [String] -> [String]Source
dumpInstance :: Name -> Idris ()Source
showTotalN :: IState -> Name -> StringSource
displayHelp :: [Char]Source
parseCodegen :: String -> CodegenSource
replSettings :: Maybe FilePath -> Settings IdrisSource
loadInputs :: Handle -> [FilePath] -> Idris ()Source
execScript :: String -> Idris ()Source
fixColour :: Bool -> Doc -> DocSource
Check if the coloring matches the options and corrects if necessary
getIdrisUserDataDir :: Idris FilePathSource
Get the platform-specific, user-specific Idris dir
getInitScript :: Idris FilePathSource
Locate the platform-specific location for the init script
initScript :: Idris ()Source
Run the initialisation script
getIBCSubDir :: Opt -> Maybe StringSource
getImportDir :: Opt -> Maybe StringSource
getPkgClean :: Opt -> Maybe StringSource
getCodegen :: Opt -> Maybe CodegenSource
getExecScript :: Opt -> Maybe StringSource
getOutputTy :: Opt -> Maybe OutputTypeSource
getOptLevel :: Opt -> Maybe WordSource