From f4a59ed2811d4dca2daad58d083078c01488dd11 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 15:54:32 +0100 Subject: Added prosemirror deps --- editor/j/j.ml | 47 ----------------------------------------------- 1 file changed, 47 deletions(-) delete mode 100755 editor/j/j.ml (limited to 'editor/j/j.ml') diff --git a/editor/j/j.ml b/editor/j/j.ml deleted file mode 100755 index 96b22e0..0000000 --- a/editor/j/j.ml +++ /dev/null @@ -1,47 +0,0 @@ -type ('a, 'b) prop = Jv.prop' - -let prop - : string -> ('a, 'b) prop - = Jstr.of_string - -let get - : 'a -> ('a, 'b) prop -> 'b option - = fun obj prop -> - Jv.get' (Jv.Id.to_jv obj) prop - |> Jv.to_option Jv.Id.of_jv - -let set - : 'a -> ('a, 'b) prop -> 'b -> unit - = fun obj prop value -> - Jv.set' - (Jv.Id.to_jv obj) - prop - (Jv.Id.to_jv value) - -(* Objects *) - -type 'a constr = (Jstr.t * Jv.t) - -let c - : ('a, 'b) prop -> 'b -> 'a constr - = fun prop v -> - (prop, Jv.Id.to_jv v) - -let obj - : 'a constr Array.t -> 'a - = fun props -> - Jv.Id.of_jv @@ Jv.obj' props - -(* Arrays *) - -type 'a array = Jv.t - -let to_array - : 'a array -> 'a Array.t - = fun arr -> - Jv.to_array Jv.Id.of_jv arr - -let of_array - : 'a Array.t -> 'a array - = fun arr -> - Jv.of_array Jv.Id.to_jv arr -- cgit v1.2.3