diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/collection/list.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/data/collection/list.lux b/stdlib/source/lux/data/collection/list.lux index d35df1b53..62e8a417d 100644 --- a/stdlib/source/lux/data/collection/list.lux +++ b/stdlib/source/lux/data/collection/list.lux @@ -302,7 +302,7 @@ #1 [(#.Cons x xs') (#.Cons y ys')] - (and (:: Equivalence<a> = x y) + (and (\ Equivalence<a> = x y) (= xs' ys')) [_ _] @@ -313,7 +313,7 @@ (All [a] (-> (Hash a) (Hash (List a)))) (def: &equivalence - (..equivalence (:: super &equivalence))) + (..equivalence (\ super &equivalence))) (def: (hash value) (case value @@ -322,7 +322,7 @@ (#.Cons head tail) ($_ n.* 3 - (n.+ (:: super hash head) + (n.+ (\ super hash head) (hash tail))) ))) @@ -395,7 +395,7 @@ (All [a] (-> (Equivalence a) (List a) a Bit)) (case xs #.Nil #0 - (#.Cons x' xs') (or (:: eq = x x') + (#.Cons x' xs') (or (\ eq = x x') (member? eq xs' x)))) (template [<name> <output> <side> <doc>] @@ -571,14 +571,14 @@ (def: #export (concat xss) (All [a] (-> (List (List a)) (List a))) - (:: ..monad join xss)) + (\ ..monad join xss)) (structure: #export (with monad) (All [M] (-> (Monad M) (Monad (All [a] (M (List a)))))) (def: &functor (functor.compose (get@ #monad.&functor monad) ..functor)) - (def: wrap (|>> (:: ..monad wrap) (:: monad wrap))) + (def: wrap (|>> (\ ..monad wrap) (\ monad wrap))) (def: (join MlMla) (do {! monad} @@ -592,7 +592,7 @@ (def: #export (lift monad) (All [M a] (-> (Monad M) (-> (M a) (M (List a))))) - (:: monad map (:: ..monad wrap))) + (\ monad map (\ ..monad wrap))) (def: #export (enumeration xs) {#.doc "Pairs every element in the list with its index, starting at 0."} |