Idris2Doc : Idrall.ParserNew

Idrall.ParserNew

(source)
Definitions
RawExpr : Type
  Visibility: public export
parseExprNew : {default Nothing _ : OriginDesc} -> String -> Either String (RawExpr, Int)
  Visibility: public export