Text.ILex.FS

Reexports

Definitions

streamParseErr : Has ex es => ELift1 q f => (e -> ex) -> P1 q e a -> Pull f ByteString es x -> Pull f a es x

  Converts a stream of byte strings to a list of tokens of
  type `a`.
  
  This can be used with any non-backtracking parsers, but for large
  amounts of data, the mutable parser stack must accumulate completely
  parsed values and emit them after every chunk of bytes has been
  processed in order not to overflow system memory.

Totality: total
Visibility: export

streamParseFrom : Has (ByteError e) es => ELift1 q f => Origin -> P1 q (ByteBounded e) a -> Pull f ByteString es x -> Pull f a es x

  Like `streamParseErr`, where the parse error is converted to
  an error of type `ByteError e`.

Totality: total
Visibility: export

streamParse : Has e es => ELift1 q f => P1 q e a -> Pull f ByteString es x -> Pull f a es x

  Converts a stream of byte strings to a list of tokens of
  type `a`.
  
  This can be used with any non-backtracking parsers, but for large
  amounts of data, the mutable parser stack must accumulate completely
  parsed values and emit them after every chunk of bytes has been
  processed.

Totality: total
Visibility: export

streamValErr : Has ex es => ELift1 q f => (e -> ex) -> Lazy a -> P1 q e a -> Stream f es ByteString -> Pull f o es a

  Runs a non-streaming parser to completion, emitting
  the last (and only) emitted value or the given default value.

Totality: total
Visibility: export

streamValFrom : Has (ByteError e) es => ELift1 q f => Origin -> Lazy a -> P1 q (ByteBounded e) a -> Stream f es ByteString -> Pull f o es a

Totality: total
Visibility: export

streamVal : Has e es => ELift1 q f => Lazy a -> P1 q e a -> Stream f es ByteString -> Pull f o es a

Totality: total
Visibility: export

locError : PollH e => Has Errno es => Has (ByteError x) es => AsyncPull e o es a -> AsyncPull e o es a

  Streams again the origin (if any) of a parsing error,
  adding the content to the error in order to provide an
  exact error location.
  
  Attention: This will try and read the whole content of the
  origin into memory! If you are streaming a truly huge file,
  you will be better off with just accepting the less precise
  error message with only the byte bounds of the erroneous token.

Totality: total
Visibility: export