/usr/lib/ocaml/reactiveData/reactiveData.mli is in libreactivedata-ocaml-dev 0.1-3build1.
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 73 74 75 76 77 | (* ReactiveData
* https://github.com/hhugo/reactiveData
* Copyright (C) 2014 Hugo Heuzard
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, with linking exception;
* either version 2.1 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*)
module type DATA = sig
type 'a data
type 'a patch
val merge : 'a patch -> 'a data -> 'a data
val map_patch : ('a -> 'b) -> 'a patch -> 'b patch
val map_data : ('a -> 'b) -> 'a data -> 'b data
val empty : 'a data
end
module type S = sig
type 'a data
type 'a patch
type 'a msg = Patch of 'a patch | Set of 'a data
type 'a handle
type 'a t
val empty : 'a t
val make : 'a data -> 'a t * 'a handle
val make_from : 'a data -> 'a msg React.E.t -> 'a t
val const : 'a data -> 'a t
val patch : 'a handle -> 'a patch -> unit
val set : 'a handle -> 'a data -> unit
val map_msg : ('a -> 'b) -> 'a msg -> 'b msg
val map : ('a -> 'b) -> 'a t -> 'b t
val value : 'a t -> 'a data
val fold : ('a -> 'b msg -> 'a) -> 'b t -> 'a -> 'a React.signal
val value_s : 'a t -> 'a data React.S.t
val event : 'a t -> 'a msg React.E.t
end
module Make(D : DATA) : S with type 'a data = 'a D.data
and type 'a patch = 'a D.patch
module RList :
sig
type 'a p =
I of int * 'a
| R of int
| U of int * 'a
| X of int * int
include S with type 'a data = 'a list
and type 'a patch = 'a p list
val nil : 'a t
val append : 'a -> 'a handle -> unit
val cons : 'a -> 'a handle -> unit
val insert : 'a -> int -> 'a handle -> unit
val remove : int -> 'a handle -> unit
val update : 'a -> int -> 'a handle -> unit
val move : int -> int -> 'a handle -> unit
val singleton : 'a -> 'a t
val singleton_s : 'a React.S.t -> 'a t
val concat : 'a t -> 'a t -> 'a t
val rev : 'a t -> 'a t
val sort : ('a -> 'a -> int) -> 'a t -> [`Not_implemented]
val filter : ('a -> unit) -> 'a t -> [`Not_implemented]
end
module RMap(M : Map.S) : S with type 'a data = 'a M.t
and type 'a patch = [ `Add of M.key * 'a | `Del of M.key ]
|