(.module:
  [lux (#- Name)
   [abstract
    [equivalence (#+ Equivalence)]
    ["." hash (#+ Hash)]]
   [data
    ["." text
     ["%" format (#+ Format)]]
    [collection
     ["." list ("#\." monoid)]]]
   [world
    ["." file (#+ Path)]
    [net
     ["." uri (#+ URI)]]]])

(type: #export Group
  Text)

(type: #export Name
  Text)

(type: #export Version
  Text)

(type: #export Artifact
  {#group Group
   #name Name
   #version Version})

(def: #export hash
  (Hash Artifact)
  ($_ hash.product
      text.hash
      text.hash
      text.hash
      ))

(def: #export equivalence
  (Equivalence Artifact)
  (\ ..hash &equivalence))

(template [<separator> <definition>]
  [(def: <definition>
     Text
     <separator>)]

  ["." group-separator]
  ["-" version-separator]
  [":" identity-separator]
  )

(def: #export (identity artifact)
  (-> Artifact Text)
  (%.format (get@ #name artifact)
            ..version-separator
            (get@ #version artifact)))

(def: #export (format value)
  (Format Artifact)
  (%.format (get@ #group value)
            ..identity-separator
            (..identity value)))

(def: (address separator artifact)
  (-> Text Artifact Text)
  (let [directory (%.format (|> artifact
                                (get@ #group)
                                (text.split-all-with ..group-separator)
                                (text.join-with separator))
                            separator
                            (get@ #name artifact)
                            separator
                            (get@ #version artifact))]
    (%.format directory
              separator
              (..identity artifact))))

(def: #export uri
  (-> Artifact URI)
  (..address uri.separator))

(def: #export (path system)
  (All [!] (-> (file.System !) Artifact Path))
  (..address (\ system separator)))

(def: #export (local artifact)
  (-> Artifact (List Text))
  (list\compose (|> artifact
                    (get@ #group)
                    (text.split-all-with ..group-separator))
                (list (get@ #name artifact)
                      (get@ #version artifact))))