diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/macro/poly/functor.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux index a1d4e040d..837c36fde 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/lux/macro/poly/functor.lux @@ -9,7 +9,7 @@ ["." text format] [collection - ["." list ("#/." monad monoid)]]] + ["." list ("#;." monad monoid)]]] ["." macro ["." code] [syntax (#+ syntax: Syntax) @@ -31,7 +31,7 @@ (function (_ unwrappedT) (if (n/= 1 num-vars) (` ((~! functor.Functor) (~ (poly.to-code *env* unwrappedT)))) - (let [paramsC (|> num-vars dec list.indices (list/map (|>> %n code.local-identifier)))] + (let [paramsC (|> num-vars dec list.indices (list;map (|>> %n code.local-identifier)))] (` (All [(~+ paramsC)] ((~! functor.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (poly.Poly Code)) @@ -47,7 +47,7 @@ [_ (wrap []) membersC (poly.variant (p.many (Arg<?> valueC)))] (wrap (` (case (~ valueC) - (~+ (list/join (list/map (function (_ [tag memberC]) + (~+ (list;join (list;map (function (_ [tag memberC]) (list (` ((~ (code.nat tag)) (~ valueC))) (` ((~ (code.nat tag)) (~ memberC))))) (list.enumerate membersC)))))))) @@ -62,11 +62,11 @@ [_ (wrap []) memberC (Arg<?> slotC)] (recur (inc idx) - (list/compose pairsCC (list [slotC memberC]))))) + (list;compose pairsCC (list [slotC memberC]))))) (wrap pairsCC)))))] (wrap (` (case (~ valueC) - [(~+ (list/map product.left pairsCC))] - [(~+ (list/map product.right pairsCC))])))) + [(~+ (list;map product.left pairsCC))] + [(~+ (list;map product.right pairsCC))])))) ## Functions (do @ [_ (wrap []) @@ -76,7 +76,7 @@ (Arg<?> outL)) #let [inC+ (|> (list.size inT+) list.indices - (list/map (|>> %n (format "____________inC") code.local-identifier)))]] + (list;map (|>> %n (format "____________inC") code.local-identifier)))]] (wrap (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) |