diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/library/lux/data/name.lux | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/name.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/data/name.lux b/stdlib/source/library/lux/data/name.lux index 86f813cf7..1e35dc237 100644 --- a/stdlib/source/library/lux/data/name.lux +++ b/stdlib/source/library/lux/data/name.lux @@ -7,7 +7,7 @@ [order {"+" [Order]}] [codec {"+" [Codec]}]] [data - ["[0]" text ("[1]\[0]" equivalence monoid)] + ["[0]" text ("[1]#[0]" equivalence monoid)] ["[0]" product]]]]) ... (type: Name @@ -28,16 +28,16 @@ (def: .public equivalence (Equivalence Name) - (\ ..hash &equivalence)) + (# ..hash &equivalence)) (implementation: .public order (Order Name) (def: &equivalence ..equivalence) (def: (< [moduleP shortP] [moduleS shortS]) - (if (text\= moduleP moduleS) - (\ text.order < shortP shortS) - (\ text.order < moduleP moduleS)))) + (if (text#= moduleP moduleS) + (# text.order < shortP shortS) + (# text.order < moduleP moduleS)))) (def: separator ".") @@ -48,7 +48,7 @@ (def: (encoded [module short]) (case module "" short - _ ($_ text\composite module ..separator short))) + _ ($_ text#composite module ..separator short))) (def: (decoded input) (case (text.all_split_by ..separator input) @@ -59,4 +59,4 @@ {.#Right [module short]} _ - {.#Left (text\composite "Invalid format for Name: " input)}))) + {.#Left (text#composite "Invalid format for Name: " input)}))) |