Text.ILex.FS

Reexports

Definitions

appLast : (p : P1 q e a) -> PIx p -> PST p -> Maybe (PStep p) -> F1 q (Either e a)

  Tries to read the last token of an input stream and
  append it to the already accumulated list of tokens.

Totality: total
Visibility: export

streamParse : Has (ParseError e) es => ELift1 q f => (prs : P1 q (BoundedErr e) a) -> HasPosition (prs .state) => Origin -> 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 (ParseError e) es => ELift1 q f => Lazy a -> (prs : P1 q (BoundedErr e) a) -> HasPosition (prs .state) => HasBytes (prs .state) => Origin -> Stream f es ByteString -> Pull f o es a

Totality: total
Visibility: export