diff options
Diffstat (limited to 'bs5/server/fref')
| -rw-r--r-- | bs5/server/fref/FunctionReferences.ml | 5 | ||||
| -rw-r--r-- | bs5/server/fref/FunctionReferences.mli | 1 | ||||
| -rw-r--r-- | bs5/server/fref/dune | 3 |
3 files changed, 9 insertions, 0 deletions
diff --git a/bs5/server/fref/FunctionReferences.ml b/bs5/server/fref/FunctionReferences.ml new file mode 100644 index 0000000..e0da7c3 --- /dev/null +++ b/bs5/server/fref/FunctionReferences.ml @@ -0,0 +1,5 @@ +type t = (string, ReactServerDOM.server_function) Hashtbl.t + +let registry = Hashtbl.create 10 +let register = Hashtbl.add registry +let get = Hashtbl.find_opt registry diff --git a/bs5/server/fref/FunctionReferences.mli b/bs5/server/fref/FunctionReferences.mli new file mode 100644 index 0000000..74fa681 --- /dev/null +++ b/bs5/server/fref/FunctionReferences.mli @@ -0,0 +1 @@ +include ReactServerDOM.FunctionReferences diff --git a/bs5/server/fref/dune b/bs5/server/fref/dune new file mode 100644 index 0000000..7d7744d --- /dev/null +++ b/bs5/server/fref/dune @@ -0,0 +1,3 @@ +(library + (name function_references) + (libraries server-reason-react.reactDom)) |