aboutsummaryrefslogtreecommitdiff
path: root/editor/j/j.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-31 04:21:01 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:43:33 +0100
commitd17d17261faccb3eb42e91f88ca035e5b1730c66 (patch)
tree28424d286bda347aee77528ece79907026b2e35b /editor/j/j.mli
parent1961a9779b482cf9cbdb3365137c2e74423067c6 (diff)
Bindings to prosemirror
Diffstat (limited to 'editor/j/j.mli')
-rwxr-xr-xeditor/j/j.mli32
1 files changed, 32 insertions, 0 deletions
diff --git a/editor/j/j.mli b/editor/j/j.mli
new file mode 100755
index 0000000..796bb9d
--- /dev/null
+++ b/editor/j/j.mli
@@ -0,0 +1,32 @@
+(** The type properties *)
+type ('a, 'b) prop
+
+val prop
+ : string -> ('a, 'b) prop
+
+val get
+ : 'a -> ('a, 'b) prop -> 'b option
+
+val set
+ : 'a -> ('a, 'b) prop -> 'b -> unit
+
+
+(* Arrays *)
+
+type 'a array
+
+val to_array
+ : 'a array -> 'a Array.t
+
+val of_array
+ : 'a Array.t -> 'a array
+
+(* Object constructor *)
+
+type 'a constr
+
+val c
+ : ('a, 'b) prop -> 'b -> 'a constr
+
+val obj
+ : 'a constr Array.t -> 'a