| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.REPL
Description
- idemodeStart :: Bool -> IState -> [FilePath] -> Idris ()
- startServer :: PortNumber -> IState -> [FilePath] -> Idris ()
- runClient :: Maybe PortNumber -> String -> IO ()
- process :: FilePath -> Command -> Idris ()
- replSettings :: Maybe FilePath -> Settings Idris
- repl :: IState -> [FilePath] -> FilePath -> InputT Idris ()
- proofs :: IState -> Idris ()