aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/compositor/cli.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-02-05 14:51:37 -0400
committerEduardo Julian2022-02-05 14:51:37 -0400
commit54bb56a07e6d8f1e76bd447436fb721a74f09f66 (patch)
treefd3d5699ce5d7546a92f4328dee496ab6ca86aed /stdlib/source/program/compositor/cli.lux
parente4bc4d0e2cd14a955530160c4fc7859e6c46874e (diff)
Updated copyright notices.
Diffstat (limited to 'stdlib/source/program/compositor/cli.lux')
-rw-r--r--stdlib/source/program/compositor/cli.lux81
1 files changed, 0 insertions, 81 deletions
diff --git a/stdlib/source/program/compositor/cli.lux b/stdlib/source/program/compositor/cli.lux
deleted file mode 100644
index 1962569b3..000000000
--- a/stdlib/source/program/compositor/cli.lux
+++ /dev/null
@@ -1,81 +0,0 @@
-(.using
- [library
- [lux {"-" Module Source}
- [control
- [pipe {"+" case>}]
- ["<>" parser
- ["[0]" cli {"+" Parser}]]]
- [tool
- [compiler
- [meta
- [archive
- [module
- [descriptor {"+" Module}]]]]]]
- [world
- [file {"+" Path}]]]])
-
-(type: .public Source
- Path)
-
-(type: .public Host_Dependency
- Path)
-
-(type: .public Library
- Path)
-
-(type: .public Target
- Path)
-
-(type: .public Compilation
- [(List Source) (List Host_Dependency) (List Library) Target Module])
-
-(type: .public Export
- [(List Source) Target])
-
-(type: .public Service
- (Variant
- {#Compilation Compilation}
- {#Interpretation Compilation}
- {#Export Export}))
-
-(template [<name> <long> <type>]
- [(def: <name>
- (Parser <type>)
- (cli.named <long> cli.any))]
-
- [source_parser "--source" Source]
- [host_dependency_parser "--host_dependency" Host_Dependency]
- [library_parser "--library" Library]
- [target_parser "--target" Target]
- [module_parser "--module" Module]
- )
-
-(def: .public service
- (Parser Service)
- ($_ <>.or
- (<>.after (cli.this "build")
- ($_ <>.and
- (<>.some ..source_parser)
- (<>.some ..host_dependency_parser)
- (<>.some ..library_parser)
- ..target_parser
- ..module_parser))
- (<>.after (cli.this "repl")
- ($_ <>.and
- (<>.some ..source_parser)
- (<>.some ..host_dependency_parser)
- (<>.some ..library_parser)
- ..target_parser
- ..module_parser))
- (<>.after (cli.this "export")
- ($_ <>.and
- (<>.some ..source_parser)
- ..target_parser))
- ))
-
-(def: .public target
- (-> Service Target)
- (|>> (case> (^or {#Compilation [sources host_dependencies libraries target module]}
- {#Interpretation [sources host_dependencies libraries target module]}
- {#Export [sources target]})
- target)))