├── .gitignore ├── .ocamlformat ├── .ocamlformat-ignore ├── .vscode └── settings.json ├── README.md ├── dune-project ├── example ├── dune ├── example.ml ├── index.html └── worker.ml ├── idl ├── .ocamlformat-ignore ├── dune ├── idl.ml ├── js_top_worker_client.ml ├── js_top_worker_client.mli ├── rpc.ml ├── rpc.mli ├── rpcmarshal.ml ├── toplevel_api.ml └── toplevel_api_gen.ml ├── js_top_worker-client.opam ├── js_top_worker-rpc.opam ├── js_top_worker.opam ├── js_top_worker_rpc_def.opam └── lib ├── .ocamlformat-ignore ├── dune ├── uTop.ml ├── uTop.mli ├── uTop_complete.ml ├── uTop_complete.mli ├── uTop_lexer.mli ├── uTop_lexer.mll ├── uTop_token.ml └── worker.cppo.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | version=0.20.1 2 | -------------------------------------------------------------------------------- /.ocamlformat-ignore: -------------------------------------------------------------------------------- 1 | lib/worker.cppo.ml 2 | -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.9) 2 | (name js_top_worker) 3 | (version 0.0.1) 4 | 5 | -------------------------------------------------------------------------------- /example/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/example/dune -------------------------------------------------------------------------------- /example/example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/example/example.ml -------------------------------------------------------------------------------- /example/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/example/index.html -------------------------------------------------------------------------------- /example/worker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/example/worker.ml -------------------------------------------------------------------------------- /idl/.ocamlformat-ignore: -------------------------------------------------------------------------------- 1 | toplevel_api_gen.ml 2 | -------------------------------------------------------------------------------- /idl/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/dune -------------------------------------------------------------------------------- /idl/idl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/idl.ml -------------------------------------------------------------------------------- /idl/js_top_worker_client.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/js_top_worker_client.ml -------------------------------------------------------------------------------- /idl/js_top_worker_client.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/js_top_worker_client.mli -------------------------------------------------------------------------------- /idl/rpc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/rpc.ml -------------------------------------------------------------------------------- /idl/rpc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/rpc.mli -------------------------------------------------------------------------------- /idl/rpcmarshal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/rpcmarshal.ml -------------------------------------------------------------------------------- /idl/toplevel_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/toplevel_api.ml -------------------------------------------------------------------------------- /idl/toplevel_api_gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/idl/toplevel_api_gen.ml -------------------------------------------------------------------------------- /js_top_worker-client.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/js_top_worker-client.opam -------------------------------------------------------------------------------- /js_top_worker-rpc.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/js_top_worker-rpc.opam -------------------------------------------------------------------------------- /js_top_worker.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/js_top_worker.opam -------------------------------------------------------------------------------- /js_top_worker_rpc_def.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/js_top_worker_rpc_def.opam -------------------------------------------------------------------------------- /lib/.ocamlformat-ignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/.ocamlformat-ignore -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/uTop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop.ml -------------------------------------------------------------------------------- /lib/uTop.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop.mli -------------------------------------------------------------------------------- /lib/uTop_complete.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop_complete.ml -------------------------------------------------------------------------------- /lib/uTop_complete.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop_complete.mli -------------------------------------------------------------------------------- /lib/uTop_lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop_lexer.mli -------------------------------------------------------------------------------- /lib/uTop_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop_lexer.mll -------------------------------------------------------------------------------- /lib/uTop_token.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/uTop_token.ml -------------------------------------------------------------------------------- /lib/worker.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jonludlam/js_top_worker/HEAD/lib/worker.cppo.ml --------------------------------------------------------------------------------