module LineShtream:Shtreams ofsig..end
Line.ts.
This module is the result of applying AnyShtream.Make to the
module LineShtream.LineElem.
Thus, shtreams handled by this module are compatible with the shtreams
of Shtream, StringShtream, and modules created by
AnyShtream.Make, but this module provides additional functions
for reading and writing 'a Line.t Shtream.ts.
This module specializes shtream-creating functions to store source
information in the resulting lines.
typesourced =< delim : Line.absent; fstab : Line.absent; group : Line.absent;
key_value : Line.absent; mailcap : Line.absent; passwd : Line.absent;
ps : Line.absent; seq : Line.present; source : Line.present;
stat : Line.absent >
AnyShtream.ELEM.initial type for LineShtream.
Shtreams of Line.ts.
This module is the result of applying AnyShtream.Make to the
module LineShtream.LineElem.
Thus, shtreams handled by this module are compatible with the shtreams
of Shtream, StringShtream, and modules created by
AnyShtream.Make, but this module provides additional functions
for reading and writing 'a Line.t Shtream.ts.
This module specializes shtream-creating functions to store source
information in the resulting lines.
module LineElem:AnyShtream.ELEMwith type 'a elem = 'a Line.t and type initial = sourced
include AnyShtream.ANYSHTREAM
LineShtream come from the
result of apply AnyShtream.Make.val line_reader : ?source:Line.source -> Reader.t -> Pervasives.in_channel -> initial elemLine.t reader from a record reader. This is like
AnyShtream.ANYSHTREAM.elem_reader, but allows specifying a
Line.source to store in the lines.val annotate : Line.source ->
< delim : 'a; fstab : 'b; group : 'c; key_value : 'd; mailcap : 'e;
passwd : 'f; ps : 'g; seq : 'h; source : 'i; stat : 'j >
Line.t t ->
< delim : 'a; fstab : 'b; group : 'c; key_value : 'd; mailcap : 'e;
passwd : 'f; ps : 'g; seq : Line.present; source : Line.present;
stat : 'j >
Line.t tseq or source fields, these are
rewritten to reflect the given Line.source and current sequence.