Idris2Doc : Text.ILex.Runner

Text.ILex.Runner

(source)
Reexports
import public Text.ParseError
import public Text.FC
import public Text.ILex.Parser
Definitions
run : Parser1 e a -> IBuffer n -> Either e a
  Tries to parse a byte vector into a value.

  Totality: total
  Visibility: export
runString : Parser1 e a -> String -> Either e a
  Like `run` but processes a UTF-8 string instead.

  Totality: total
  Visibility: export
runBytes : Parser1 e a -> ByteString -> Either e a
  Like `run` but processes a `ByteString` instead.

  Totality: total
  Visibility: export
parse : Parser1 (BoundedErr e) a -> Origin -> IBuffer n -> Either (ParseError e) a
  Like `run` but fails with a proper parse error
  including error bounds and highlighting of
  the section where an error occurred.

  Totality: total
  Visibility: export
parseString : Parser1 (BoundedErr e) a -> Origin -> String -> Either (ParseError e) a
  Like `parse` but processes a UTF-8 string instead.

  Totality: total
  Visibility: export
parseBytes : Parser1 (BoundedErr e) a -> Origin -> ByteString -> Either (ParseError e) a
  Like `parse` but processes a `ByteString` instead.

  Totality: total
  Visibility: export