diff options
| author | Joris | 2020-08-09 14:44:02 +0200 |
|---|---|---|
| committer | Joris | 2020-08-09 14:44:02 +0200 |
| commit | 225068497c5fd41da12030a6bbf58a0fc9c294d0 (patch) | |
| tree | a2432c1c8004a3e5897a4a9b445e256a3ca6c651 /src/Lib/File.ml | |
| parent | ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 (diff) | |
| download | map-225068497c5fd41da12030a6bbf58a0fc9c294d0.tar.gz map-225068497c5fd41da12030a6bbf58a0fc9c294d0.tar.bz2 map-225068497c5fd41da12030a6bbf58a0fc9c294d0.zip | |
Import from CSV
Diffstat (limited to 'src/Lib/File.ml')
| -rw-r--r-- | src/Lib/File.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Lib/File.ml b/src/Lib/File.ml index 0089001..d3597e7 100644 --- a/src/Lib/File.ml +++ b/src/Lib/File.ml @@ -10,3 +10,12 @@ let download filename content = let () = Element.append_child Document.body a in let () = Element.click a in Element.remove_child Document.body a + +external reader : unit -> Dom.element = "FileReader" + [@@bs.new] + +external read_as_text : Dom.element -> string -> unit = "readAsText" + [@@bs.send] + +external result : Dom.element -> string = "result" + [@@bs.get] |