diff options
author | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-30 21:25:53 -0400 |
commit | 8eb86ed366b2305751f2e831c7a081ffcca82c89 (patch) | |
tree | f8da5967f61d115414b3655dd9045cef370c8d5b /stdlib/source/library/lux/type/implicit.lux | |
parent | 4326d69ab717683449bf37bf8dd170c83455c0c0 (diff) |
De-sigil-ification: /
Diffstat (limited to 'stdlib/source/library/lux/type/implicit.lux')
-rw-r--r-- | stdlib/source/library/lux/type/implicit.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux index 19d3f17cf..5fde46588 100644 --- a/stdlib/source/library/lux/type/implicit.lux +++ b/stdlib/source/library/lux/type/implicit.lux @@ -176,7 +176,7 @@ (in (list#mix (function (_ [imported_module definitions] tail) (available_definitions sig_type imported_module this_module_name definitions tail)) {.#End} - (list.zipped/2 imported_modules accessible_definitions))))) + (list.zipped_2 imported_modules accessible_definitions))))) (def: (on_argument arg func) (-> Type Type (Check Type)) @@ -363,7 +363,7 @@ {.#Right [args _]} (do [! meta.monad] [labels (|> (macro.symbol "") (list.repeated (list.size args)) (monad.all !))] - (in (list (` (let [(~+ (|> args (list.zipped/2 labels) (list#each ..pair_list) list#conjoint))] + (in (list (` (let [(~+ (|> args (list.zipped_2 labels) (list#each ..pair_list) list#conjoint))] (..## (~ (code.symbol member)) (~+ labels))))))) )) @@ -381,7 +381,7 @@ body <code>.any]) (do meta.monad [g!implicit+ (implicit_bindings (list.size implementations))] - (in (list (` (let [(~+ (|> (list.zipped/2 g!implicit+ implementations) + (in (list (` (let [(~+ (|> (list.zipped_2 g!implicit+ implementations) (list#each (function (_ [g!implicit implementation]) (list g!implicit implementation))) list#conjoint))] @@ -390,7 +390,7 @@ (syntax: .public (implicit: [implementations ..implicits]) (do meta.monad [g!implicit+ (implicit_bindings (list.size implementations))] - (in (|> (list.zipped/2 g!implicit+ implementations) + (in (|> (list.zipped_2 g!implicit+ implementations) (list#each (function (_ [g!implicit implementation]) (` (def: .private (~ g!implicit) (~ implementation))))))))) |