aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/licentia.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/licentia.lux')
-rw-r--r--stdlib/source/program/licentia.lux82
1 files changed, 0 insertions, 82 deletions
diff --git a/stdlib/source/program/licentia.lux b/stdlib/source/program/licentia.lux
deleted file mode 100644
index 896f74dab..000000000
--- a/stdlib/source/program/licentia.lux
+++ /dev/null
@@ -1,82 +0,0 @@
-## The licenses produced by this program are inspired by:
-## Apache License (Version 2.0): https://www.apache.org/licenses/LICENSE-2.0
-## Mozilla Public License (Version 2.0): https://www.mozilla.org/en-US/MPL/2.0/
-## MIT/Expat License: https://opensource.org/licenses/MIT
-## BSD licenses: https://en.wikipedia.org/wiki/BSD_licenses
-## Commons Clause: https://commonsclause.com/
-## Reciprocal Public License 1.5 (RPL-1.5): https://opensource.org/licenses/RPL-1.5
-## The Parity Public License: https://licensezero.com/licenses/parity
-## The Charity Public License: https://licensezero.com/licenses/charity
-## Lerna black-list: https://github.com/lerna/lerna/pull/1616
-## Common Public Attribution License Version 1.0 (CPAL-1.0): https://opensource.org/licenses/CPAL-1.0
-## Eclipse Public License v2.0: https://www.eclipse.org/legal/epl-2.0/
-
-(.module:
- [lux #*
- [host (#+ import:)]
- [abstract
- [monad (#+ do)]]
- [control
- [remember (#+ to-do)]
- ["." io (#+ IO) ("#\." monad)]
- ["." try (#+ Try)]
- ["." parser
- ["." cli (#+ program:)]
- ["<.>" json]]
- [security
- ["!" capability]]]
- [data
- ["." maybe]
- ["." text
- ["%" format (#+ format)]
- ["." encoding]]
- [format
- ["." json]]]
- [world
- ["." file (#+ Path File)]]]
- ["." / #_
- ["#." input]
- ["#." output]])
-
-(with-expansions [<expiry> "2021-04-01"]
- (to-do <expiry> "Replace _.work with _.covered-work or _.licensed-work")
- (to-do <expiry> "Create a short notice to add as a comment to each file in the _.work"))
-
-(import: java/lang/String
- ["#::."
- (trim [] java/lang/String)])
-
-(def: default-output-file "LICENSE")
-
-(def: (success-message output)
- (-> Path Text)
- (format "Your license has been made!" text.new-line
- "Check the file " output "."))
-
-(program: [{input (cli.named "--input" cli.any)}
- {output (parser.default ..default-output-file
- (cli.named "--output" cli.any))}]
- (do io.monad
- [?done (: (IO (Try Any))
- (do (try.with io.monad)
- [file (!.use (\ file.default file) [input])
- blob (!.use (\ file content) [])
- document (io\wrap (do {! try.monad}
- [raw-json (\ encoding.utf8 decode blob)
- json (|> raw-json
- (:coerce java/lang/String)
- java/lang/String::trim
- (:coerce Text)
- (\ json.codec decode))]
- (|> json
- (<json>.run /input.license)
- (\ ! map /output.license))))
- output-file (: (IO (Try (File IO)))
- (file.get-file io.monad file.default output))]
- (!.use (\ output-file over-write) (\ encoding.utf8 encode document))))]
- (wrap (log! (case ?done
- (#try.Success _)
- (success-message output)
-
- (#try.Failure message)
- message)))))