diff options
Diffstat (limited to 'stdlib/source/lux/macro/poly/functor.lux')
-rw-r--r-- | stdlib/source/lux/macro/poly/functor.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux index bc80ba646..dda9112da 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/lux/macro/poly/functor.lux @@ -5,7 +5,7 @@ ["p" parser]) (data [text] text/format - (collection [list "L/" Monad<List> Monoid<List>]) + (collection [list ("list/" Monad<List> Monoid<List>)]) [product]) [macro] (macro [code] @@ -29,7 +29,7 @@ (function (_ unwrappedT) (if (n/= +1 num-vars) (` ((~! functor.Functor) (~ (poly.to-code *env* unwrappedT)))) - (let [paramsC (|> num-vars dec list.indices (L/map (|>> %n code.local-symbol)))] + (let [paramsC (|> num-vars dec list.indices (list/map (|>> %n code.local-symbol)))] (` (All [(~+ paramsC)] ((~! functor.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (poly.Poly Code)) @@ -45,10 +45,10 @@ [_ (wrap []) membersC (poly.variant (p.many (Arg<?> valueC)))] (wrap (` (case (~ valueC) - (~+ (L/join (L/map (function (_ [tag memberC]) - (list (` ((~ (code.nat tag)) (~ valueC))) - (` ((~ (code.nat tag)) (~ memberC))))) - (list.enumerate membersC)))))))) + (~+ (list/join (list/map (function (_ [tag memberC]) + (list (` ((~ (code.nat tag)) (~ valueC))) + (` ((~ (code.nat tag)) (~ memberC))))) + (list.enumerate membersC)))))))) ## Tuples (do p.Monad<Parser> [pairsCC (: (poly.Poly (List [Code Code])) @@ -60,11 +60,11 @@ [_ (wrap []) memberC (Arg<?> slotC)] (recur (inc idx) - (L/compose pairsCC (list [slotC memberC]))))) + (list/compose pairsCC (list [slotC memberC]))))) (wrap pairsCC)))))] (wrap (` (case (~ valueC) - [(~+ (L/map product.left pairsCC))] - [(~+ (L/map product.right pairsCC))])))) + [(~+ (list/map product.left pairsCC))] + [(~+ (list/map product.right pairsCC))])))) ## Functions (do @ [_ (wrap []) @@ -74,7 +74,7 @@ (Arg<?> outL)) #let [inC+ (|> (list.size inT+) dec (list.n/range +0) - (L/map (|>> %n (format "____________inC") code.local-symbol)))]] + (list/map (|>> %n (format "____________inC") code.local-symbol)))]] (wrap (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) |