diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index d4637711f..2c9ba91f1 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -12,7 +12,7 @@ ["[0]" text ["%" format {"+" [format]}]] [collection - ["[0]" list ("[1]\[0]" monad monoid)]]] + ["[0]" list ("[1]#[0]" monad monoid)]]] [macro [syntax {"+" [syntax:]}] ["[0]" code]] @@ -39,7 +39,7 @@ (function (_ unwrappedT) (if (n.= 1 num_vars) (` ((~! /.Functor) (~ (poly.code *env* unwrappedT)))) - (let [paramsC (|> num_vars -- list.indices (list\each (|>> %.nat code.local_identifier)))] + (let [paramsC (|> num_vars -- list.indices (list#each (|>> %.nat code.local_identifier)))] (` (All ((~ g!_) (~+ paramsC)) ((~! /.Functor) ((~ (poly.code *env* unwrappedT)) (~+ paramsC))))))))) Arg<?> (: (-> Code (<type>.Parser Code)) @@ -56,7 +56,7 @@ membersC (<type>.variant (p.many (Arg<?> valueC))) .let [last (-- (list.size membersC))]] (in (` (case (~ valueC) - (~+ (list\conjoint (list\each (function (_ [tag memberC]) + (~+ (list#conjoint (list#each (function (_ [tag memberC]) (if (n.= last tag) (list (` {(~ (code.nat (-- tag))) #1 (~ valueC)}) (` {(~ (code.nat (-- tag))) #1 (~ memberC)})) @@ -74,11 +74,11 @@ [_ (in []) memberC (Arg<?> slotC)] (recur (++ idx) - (list\composite pairsCC (list [slotC memberC]))))) + (list#composite pairsCC (list [slotC memberC]))))) (in pairsCC)))))] (in (` (case (~ valueC) - [(~+ (list\each product.left pairsCC))] - [(~+ (list\each product.right pairsCC))])))) + [(~+ (list#each product.left pairsCC))] + [(~+ (list#each product.right pairsCC))])))) ... Functions (do ! [_ (in []) @@ -88,7 +88,7 @@ (Arg<?> outL)) .let [inC+ (|> (list.size inT+) list.indices - (list\each (|>> %.nat (format "____________inC") code.local_identifier)))]] + (list#each (|>> %.nat (format "____________inC") code.local_identifier)))]] (in (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) |