/usr/lib/ocaml/deriving/pickle.mli is in libderiving-ocaml-dev 0.1.1a-3build4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 | type id
(* representation of values of user-defined types *)
module Repr : sig
type t
val make : ?constructor:int -> id list -> t
end
(* Utilities for serialization *)
module Write : sig
type s
include Monad.Monad_state_type with type state = s
module Utils (T : Typeable.Typeable) (E : Eq.Eq with type a = T.a) : sig
val allocate : T.a -> (id -> unit m) -> id m
val store_repr : id -> Repr.t -> unit m
end
end
(* Utilities for deserialization *)
module Read : sig
type s
include Monad.Monad_state_type with type state = s
module Utils (T : Typeable.Typeable) : sig
val sum : (int * id list -> T.a m) -> (id -> T.a m)
val tuple : (id list -> T.a m) -> (id -> T.a m)
val record : (T.a -> id list -> T.a m) -> int -> (id -> T.a m)
end
end
exception UnpicklingError of string
exception UnknownTag of int * string
module type Pickle =
sig
type a
module T : Typeable.Typeable with type a = a
module E : Eq.Eq with type a = a
val pickle : a -> id Write.m
val unpickle : id -> a Read.m
val to_buffer : Buffer.t -> a -> unit
val to_string : a -> string
val to_channel : out_channel -> a -> unit
val from_stream : char Stream.t -> a
val from_string : string -> a
val from_channel : in_channel -> a
end
module Defaults
(S : sig
type a
module T : Typeable.Typeable with type a = a
module E : Eq.Eq with type a = a
val pickle : a -> id Write.m
val unpickle : id -> a Read.m
end) : Pickle with type a = S.a
module Pickle_unit : Pickle with type a = unit
module Pickle_bool : Pickle with type a = bool
module Pickle_int : Pickle with type a = int
module Pickle_char : Pickle with type a = char
module Pickle_float : Pickle with type a = float
module Pickle_num : Pickle with type a = Num.num
module Pickle_string : Pickle with type a = string
module Pickle_option (V0 : Pickle) : Pickle with type a = V0.a option
module Pickle_list (V0 : Pickle) : Pickle with type a = V0.a list
module Pickle_ref (S : Pickle) : Pickle with type a = S.a ref
module Pickle_from_dump
(P : Dump.Dump)
(E : Eq.Eq with type a = P.a)
(T : Typeable.Typeable with type a = P.a)
: Pickle with type a = P.a
|