idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.REPLParser

Documentation

parseCmd :: IState -> String -> String -> Result (Either String Command)Source