Idris2Doc : Text.ILex.FS

Text.ILex.FS

(source)
Reexports
import public FS
import public Text.ILex
Definitions
streamParse : Has (BBErr e) es => ELift1 q f => P1 q (BBErr 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
streamVal : Has (BBErr e) es => ELift1 q f => Lazy a -> P1 q (BBErr e) a -> Stream f es ByteString -> Pull f o es a
  Totality: total
  Visibility: export