module LineShtream:Shtreams ofsig
..end
Line.t
s.
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.t
s.
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.t
s.
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.t
s.
This module specializes shtream-creating functions to store source
information in the resulting lines.
module LineElem:AnyShtream.ELEM
with 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 elem
Line.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 t
seq
or source
fields, these are
rewritten to reflect the given Line.source
and current sequence.