Idris2Doc : Parser.Support

Parser.Support

(source)
Reexports
import public Libraries.Text.Lexer.Tokenizer
import public Libraries.Text.Lexer
import public Libraries.Text.Parser
import public Libraries.Text.PrettyPrint.Prettyprinter
import public Parser.Support.Escaping
Definitions
fromLitError : OriginDesc -> LiterateError -> Error
  Totality: total
  Visibility: export
fromLexError : OriginDesc -> (StopReason, (Int, (Int, String))) -> Error
  Totality: total
  Visibility: export
fromParsingErrors : (Show token, Pretty ann token) => OriginDesc -> List1 (ParsingError token) -> Error
  Totality: total
  Visibility: export
getCharLit : String -> Maybe Char
  Totality: total
  Visibility: export