(.module:
  [lux #*
   [control
    [equivalence (#+ Equivalence)]
    [codec (#+ Codec)]
    hash]
   [data
    ["." text ("#;." monoid hash)]]])

## [Types]
## (type: Name
##   [Text Text])

## [Functions]
(template [<name> <side>]
  [(def: #export (<name> [module short])
     (-> Name Text)
     <side>)]

  [module module]
  [short  short]
  )

## [Structures]
(structure: #export equivalence (Equivalence Name)
  (def: (= [xmodule xname] [ymodule yname])
    (and (text;= xmodule ymodule)
         (text;= xname yname))))

(structure: #export codec (Codec Text Name)
  (def: (encode [module short])
    (case module
      "" short
      _ ($_ text;compose module "." short)))
  
  (def: (decode input)
    (if (text;= "" input)
      (#.Left (text;compose "Invalid format for Name: " input))
      (case (text.split-all-with "." input)
        (^ (list short))
        (#.Right ["" short])

        (^ (list module short))
        (#.Right [module short])

        _
        (#.Left (text;compose "Invalid format for Name: " input))))))

(structure: #export hash (Hash Name)
  (def: &equivalence ..equivalence)
  
  (def: (hash [module name])
    (n/+ (text;hash module) (text;hash name))))