| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proof.Assistant.Idris
Synopsis
Documentation
callIdris2 :: InterpreterState IdrisSettings -> InterpreterRequest -> IO ByteString Source #
Call Idris 2 as CLI application. It prepares the CLI command, executes it and waits for response.
parseRequest :: ByteString -> Either ByteString (Either () IdrisCommand, ByteString) Source #
Parse command. It could be unknown command or IdrisCommand sub-command with its arguments
or even expression to evaluate.