aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository/local.lux
blob: b76833c34d98f6c0608ee93c6e0197069ecc324f (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
(.using
  [library
   [lux "*"
    [abstract
     [monad {"+" do}]]
    [control
     ["[0]" try]
     [concurrency
      ["[0]" async {"+" Async}]]]
    [data
     ["[0]" text
      ["%" format {"+" format}]]]
    [world
     [program {"+" Program}]
     ["[0]" file]
     [net
      ["[0]" uri {"+" URI}]]]]]
  ["[0]" //
   ["/[1]" // "_"
    ["[1][0]" local]
    ["[1][0]" metadata]]])

(def: (root program /)
  (-> (Program Async) Text file.Path)
  (|> ///local.repository
      (text.replaced uri.separator /)
      (format (# program home) /)))

(def: (path /)
  (-> Text (-> URI file.Path))
  (text.replaced uri.separator /))

(def: (absolute_path program /)
  (-> (Program Async) Text (-> URI file.Path))
  (|>> ///metadata.local_uri
       (..path /)
       (format (..root program /) /)))

(implementation: .public (repository program fs)
  (-> (Program Async) (file.System Async) (//.Repository Async))

  (def: description
    (..root program (# fs separator)))

  (def: download
    (|>> (..absolute_path program (# fs separator))
         (# fs read)))

  (def: (upload uri content)
    (do [! async.monad]
      [.let [absolute_path (..absolute_path program (# fs separator) uri)]
       ? (# fs file? absolute_path)
       _ (if ?
           (in [])
           (case (file.parent fs absolute_path)
             {.#Some parent}
             (file.make_directories async.monad fs parent)

             _
             (let [! (try.with async.monad)]
               (# ! in []))))]
      (# fs write content absolute_path))))