aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/poly
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/poly/lux/abstract/equivalence.lux4
-rw-r--r--stdlib/source/poly/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/poly/lux/data/format/json.lux6
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 15795ffcf..1f414e197 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -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.zip/3 g!eqs g!lefts g!rights)
+ (and (~+ (|> (list.zipped/3 g!eqs g!lefts g!rights)
(list\map (function (_ [g!eq g!left g!right])
(` ((~ g!eq) (~ g!left) (~ g!right)))))))))))))
## Type recursion
@@ -163,6 +163,6 @@
<type>.recursive_call
## If all else fails...
(|> <type>.any
- (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") <>.fail))
+ (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
(\ ! join))
))))
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index fbd3e2519..363b43b8a 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -103,7 +103,7 @@
[_ _ outputC] (: (<type>.Parser [Code (List Code) Code])
(p.either (<type>.polymorphic
(Arg<?> inputC))
- (p.fail (format "Cannot create Functor for: " (%.type inputT)))))]
+ (p.failure (format "Cannot create Functor for: " (%.type inputT)))))]
(wrap (` (: (~ (@Functor inputT))
(implementation
(def: ((~' map) (~ funcC) (~ inputC))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 5c63c58e1..1aa793323 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -194,7 +194,7 @@
(function ((~ g!_) [(~+ g!members)])
((~! /.json) [(~+ (list\map (function (_ [g!member g!encode])
(` ((~ g!encode) (~ g!member))))
- (list.zip/2 g!members g!encoders)))]))))))
+ (list.zipped/2 g!members g!encoders)))]))))))
## Type recursion
(do !
[[selfC non_recC] (<type>.recursive encode)
@@ -220,7 +220,7 @@
<type>.parameter
<type>.recursive_call
## If all else fails...
- (<>.fail (format "Cannot create JSON encoder for: " (type.format inputT)))
+ (<>.failure (format "Cannot create JSON encoder for: " (type.format inputT)))
))))
(poly: decode
@@ -322,7 +322,7 @@
<type>.parameter
<type>.recursive_call
## If all else fails...
- (<>.fail (format "Cannot create JSON decoder for: " (type.format inputT)))
+ (<>.failure (format "Cannot create JSON decoder for: " (type.format inputT)))
))))
(syntax: #export (codec inputT)