Module Arm_cond.Io

Input/Output functions for the given datum.

val read : ?ver:string -> ?fmt:string -> string -> t

read ?ver ?fmt file reads datum from a file

val load : ?ver:string -> ?fmt:string -> Core_kernel.In_channel.t -> t

load ?ver ?fmt channel loads datum from the input channel

val load_all : ?ver:string -> ?fmt:string -> ?rev:bool -> Core_kernel.In_channel.t -> t list

read_all ?ver ?fmt ?rev channel reads a sequence of datums stored in the storage accessed via channel and returns it as a list. If rev is true (defaults to false) then a list will be reversed (slightly faster).

val scan : ?ver:string -> ?fmt:string -> Core_kernel.In_channel.t -> unit -> t option

scan ?ver ?fmt channel creates a stream of data, that are loaded consequently from the channel

val write : ?ver:string -> ?fmt:string -> string -> t -> unit

write ?ver ?fmt file datum writes the datum to the file

val save : ?ver:string -> ?fmt:string -> Core_kernel.Out_channel.t -> t -> unit

save ?ver ?fmt channel datum saves the datum to the channel

val save_all : ?ver:string -> ?fmt:string -> Core_kernel.Out_channel.t -> t list -> unit

save_all ?ver ?fmt data channel saves a list of data into a channel

val dump : ?ver:string -> ?fmt:string -> Core_kernel.Out_channel.t -> (unit -> t option) -> unit

dump ?ver ?fmt chan stream dumps a stream (represented by a next function) into channel.

val show : ?ver:string -> ?fmt:string -> t -> unit

show ?ver ?fmt datum saves datum to standard output channel, using a default_printer if fmt is not specified. Does nothing the printer is not set up.

val print : ?ver:string -> ?fmt:string -> Stdlib.Format.formatter -> t -> unit

print ?ver ?fmt ppf prints datum to a given formatter, using a default_printer if fmt is left unspecified.