diff options
Diffstat (limited to 'stdlib/source/lux/data/name.lux')
-rw-r--r-- | stdlib/source/lux/data/name.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/data/name.lux b/stdlib/source/lux/data/name.lux index 0129bc5cc..5ecea23ba 100644 --- a/stdlib/source/lux/data/name.lux +++ b/stdlib/source/lux/data/name.lux @@ -5,7 +5,7 @@ [codec (#+ Codec)] hash] [data - ["." text ("text/." Monoid<Text> Hash<Text>)]]]) + ["." text ("text/." monoid hash)]]]) ## [Types] ## (type: Name @@ -22,12 +22,12 @@ ) ## [Structures] -(structure: #export _ (Equivalence Name) +(structure: #export equivalence (Equivalence Name) (def: (= [xmodule xname] [ymodule yname]) (and (text/= xmodule ymodule) (text/= xname yname)))) -(structure: #export _ (Codec Text Name) +(structure: #export codec (Codec Text Name) (def: (encode [module short]) (case module "" short @@ -46,8 +46,8 @@ _ (#.Left (text/compose "Invalid format for Name: " input)))))) -(structure: #export _ (Hash Name) - (def: eq Equivalence<Name>) +(structure: #export hash (Hash Name) + (def: &equivalence ..equivalence) (def: (hash [module name]) (n/+ (text/hash module) (text/hash name)))) |