diff options
| author | Eduardo Julian | 2020-10-24 09:08:00 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-24 09:08:00 -0400 |
| commit | 0ebabc6e307d161ac4ef837aa492066d4320f6a9 (patch) | |
| tree | 96e685c95eb4c99c6e6347521c35b70ad23d172e /stdlib/source/poly | |
| parent | bcd68d4691e7b2f6d56e0ab92b591c14d7a26a48 (diff) | |
Re-named some list functions.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 6 |
3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 0fec32a2d..69c2d24fb 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -123,7 +123,7 @@ (list (` [((~ (code.nat tag)) #0 (~ g!left)) ((~ (code.nat tag)) #0 (~ g!right))]) (` ((~ g!eq) (~ g!left) (~ g!right)))))) - (list.enumerate members)))) + (list.enumeration members)))) (~ g!_) #0)))))) ## Tuples @@ -135,7 +135,7 @@ g!rights (list@map (|>> nat@encode (text@compose "right") code.local-identifier) indices)]] (wrap (` (: (~ (@Equivalence inputT)) (function ((~ g!_) [(~+ g!lefts)] [(~+ g!rights)]) - (and (~+ (|> (list.zip3 g!eqs g!lefts g!rights) + (and (~+ (|> (list.zip/3 g!eqs g!lefts g!rights) (list@map (function (_ [g!eq g!left g!right]) (` ((~ g!eq) (~ g!left) (~ g!right))))))))))))) ## Type recursion diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 93d94e06b..d1219bf87 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -60,7 +60,7 @@ (` ((~ (code.nat (dec tag))) #1 (~ memberC)))) (list (` ((~ (code.nat tag)) #0 (~ valueC))) (` ((~ (code.nat tag)) #0 (~ memberC)))))) - (list.enumerate membersC)))))))) + (list.enumeration membersC)))))))) ## Tuples (do p.monad [pairsCC (: (<type>.Parser (List [Code Code])) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 1f9234a4d..1921ecd3a 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -180,7 +180,7 @@ (` ((~! /.json) [(~ (code.frac (..tag tag))) #0 ((~ g!encode) (~ g!input))]))))) - (list.enumerate members)))))))))) + (list.enumeration members)))))))))) (do @ [g!encoders (<type>.tuple (p.many codec//encode)) #let [g!_ (code.local-identifier "_______") @@ -191,7 +191,7 @@ (function ((~ g!_) [(~+ g!members)]) ((~! /.json) [(~+ (list@map (function (_ [g!member g!encode]) (` ((~ g!encode) (~ g!member)))) - (list.zip2 g!members g!encoders)))])))))) + (list.zip/2 g!members g!encoders)))])))))) ## Type recursion (do @ [[selfC non-recC] (<type>.recursive codec//encode) @@ -291,7 +291,7 @@ ((~! p.after) ((~! </>.boolean!) (~ (code.bit #0)))) ((~! p.after) ((~! </>.number!) (~ (code.frac (..tag tag))))) ((~! </>.array)))))) - (list.enumerate members)))))))) + (list.enumeration members)))))))) (do @ [g!decoders (<type>.tuple (p.many codec//decode))] (wrap (` (: (~ (@JSON//decode inputT)) |