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.

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

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

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