diff options
Diffstat (limited to 'stdlib/source/lux/data/name.lux')
| -rw-r--r-- | stdlib/source/lux/data/name.lux | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/stdlib/source/lux/data/name.lux b/stdlib/source/lux/data/name.lux index 20aa73d28..557ecf1ec 100644 --- a/stdlib/source/lux/data/name.lux +++ b/stdlib/source/lux/data/name.lux @@ -25,23 +25,13 @@ (and (text@= xmodule ymodule) (text@= xname yname)))) -(def: (name@< [moduleP shortP] [moduleS shortS]) - (-> Name Name Bit) - (if (text@= moduleP moduleS) - (:: text.order < shortP shortS) - (:: text.order < moduleP moduleS))) - -(structure: #export order (Order Name) +(structure: #export order + (Order Name) (def: &equivalence ..equivalence) - (def: < name@<) - (def: (<= parameter subject) - (or (:: ..equivalence = parameter subject) - (name@< parameter subject))) - (def: (> parameter subject) - (name@< subject parameter)) - (def: (>= parameter subject) - (or (:: ..equivalence = subject parameter) - (name@< subject parameter)))) + (def: (< [moduleP shortP] [moduleS shortS]) + (if (text@= moduleP moduleS) + (:: text.order < shortP shortS) + (:: text.order < moduleP moduleS)))) (structure: #export codec (Codec Text Name) (def: (encode [module short]) |