We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Buf_read.seq
1 parent 77d8810 commit 8ef76f0Copy full SHA for 8ef76f0
lib_eio/buf_read.mli
@@ -218,6 +218,13 @@ val seq : ?stop:bool parser -> 'a parser -> 'a Seq.t parser
218
It is not necessary to consume all the elements of the
219
sequence.
220
221
+ Example ([head 4] is a parser that takes 4 lines):
222
+
223
+ {[
224
+ let head n r =
225
+ r |> Buf_read.(seq line) |> Seq.take n |> List.of_seq
226
+ ]}
227
228
@param stop This is used before parsing each item.
229
The sequence ends if this returns [true].
230
The default is {!at_end_of_input}. *)
0 commit comments