From 5bc58409d87da0f4966d94224e6dd9c2a5a2a408 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 8 Jul 2018 00:56:39 -0400 Subject: - Moved LuxC's I/O to stdlib. - Improved "lux/world/file". --- new-luxc/source/luxc/io.jvm.lux | 121 ---------------------------------------- 1 file changed, 121 deletions(-) delete mode 100644 new-luxc/source/luxc/io.jvm.lux (limited to 'new-luxc/source/luxc') diff --git a/new-luxc/source/luxc/io.jvm.lux b/new-luxc/source/luxc/io.jvm.lux deleted file mode 100644 index c0c913772..000000000 --- a/new-luxc/source/luxc/io.jvm.lux +++ /dev/null @@ -1,121 +0,0 @@ -(.module: - lux - (lux (control monad - ["ex" exception #+ exception:]) - [io #+ Process] - (data ["e" error] - [text "text/" Eq] - text/format) - [macro] - [host] - (world [file #+ File] - [blob #+ Blob]))) - -(host.import: java/lang/String - (new [(Array byte)])) - -(def: host-extension Text ".jvm") -(def: lux-extension Text ".lux") - -(do-template [] - [(exception: #export ( {message Text}) - message)] - - [File-Not-Found] - [Module-Not-Found] - [Could-Not-Prepare-Module] - ) - -(def: sanitize - (-> Text Text) - (text.replace-all "/" file.separator)) - -(def: (find-source dirs path) - (-> (List File) Text (Process [Text File])) - (case dirs - #.Nil - (io.fail (ex.construct File-Not-Found path)) - - (#.Cons dir dirs') - (do io.Monad - [#let [file (format dir file.separator path)] - ? (file.exists? file)] - (if ? - (wrap [path file]) - (find-source dirs' path))))) - -(def: (either left right) - (All [a] (-> (Process a) (Process a) (Process a))) - (do io.Monad - [?output left] - (case ?output - (#e.Success output) - (wrap (#e.Success output)) - - (#e.Error error) - right))) - -(def: #export blob-to-text - (-> Blob Text) - (|>> [] String::new)) - -(def: #export (read dirs name) - (-> (List File) Text (Process [File Text])) - (do io.Monad - [[path file] (: (Process [Text File]) - ($_ either - (find-source dirs (format name host-extension lux-extension)) - (find-source dirs (format name lux-extension)) - (io.fail (ex.construct Module-Not-Found name)))) - blob (file.read file)] - (wrap [path (blob-to-text blob)]))) - -(def: #export (platform-target root-target) - (-> File File) - (format root-target "/" (for {"JVM" "jvm" - "JS" "js"}))) - -(def: #export (prepare-target target-dir) - (-> File (Process Bool)) - (do io.Monad - [_ (file.make-directory (sanitize target-dir))] - (file.make-directory (sanitize (platform-target target-dir))))) - -(def: #export (prepare-module target-dir module-name) - (-> File Text (Process Any)) - (do io.Monad - [#let [module-path (|> module-name - (format (platform-target target-dir) "/") - sanitize)] - module-exists? (file.exists? module-path) - made-dir? (if module-exists? - (wrap module-exists?) - (file.make-directory module-path))] - (if made-dir? - (wrap []) - (io.fail (ex.construct Could-Not-Prepare-Module - (format "Module: " module-name "\n" - "Target: " target-dir "\n")))))) - -(def: #export (write target name content) - (-> File Text Blob (Process Any)) - (|> name - (format (platform-target target) "/") - sanitize - (file.write content))) - -(def: #export (module target-dir module-dir) - (-> File File (Maybe Text)) - (case (text.split-with target-dir module-dir) - (#.Some ["" post]) - (let [raw (text.replace-all file.separator "/" post)] - (if (text.starts-with? "/" raw) - (text.clip' +1 raw) - (#.Some raw))) - - _ - #.None)) - -(def: #export (file target-dir file-name) - (-> File Text File) - (format target-dir file.separator (sanitize file-name))) -- cgit v1.2.3