aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/compositor/cli.lux
blob: d3b61640b77600a6fd03c07778ebdf500ed24838 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
(.module:
  [library
   [lux (#- Module Source)
    [control
     [pipe (#+ case>)]
     ["<>" parser
      ["." cli (#+ Parser)]]]
    [tool
     [compiler
      [meta
       [archive
        [descriptor (#+ Module)]]]]]
    [world
     [file (#+ Path)]]]])

(type: #export Source
  Path)

(type: #export Library
  Path)

(type: #export Target
  Path)

(type: #export Compilation
  [(List Source) (List Library) Target Module])

(type: #export Export
  [(List Source) Target])

(type: #export Service
  (#Compilation Compilation)
  (#Interpretation Compilation)
  (#Export Export))

(template [<name> <long> <type>]
  [(def: <name>
     (Parser <type>)
     (cli.named <long> cli.any))]

  [^source "--source" Source]
  [^library "--library" Library]
  [^target "--target" Target]
  [^module "--module" Module]
  )

(def: #export service
  (Parser Service)
  ($_ <>.or
      (<>.after (cli.this "build")
                ($_ <>.and
                    (<>.some ..^source)
                    (<>.some ..^library)
                    ..^target
                    ..^module))
      (<>.after (cli.this "repl")
                ($_ <>.and
                    (<>.some ..^source)
                    (<>.some ..^library)
                    ..^target
                    ..^module))
      (<>.after (cli.this "export")
                ($_ <>.and
                    (<>.some ..^source)
                    ..^target))
      ))

(def: #export target
  (-> Service Target)
  (|>> (case> (^or (#Compilation [sources libraries target module])
                   (#Interpretation [sources libraries target module])
                   (#Export [sources target]))
              target)))