diff options
Diffstat (limited to '')
| -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 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) |