diff options
| author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
| commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
| tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /stdlib/source/poly | |
| parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) | |
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'stdlib/source/poly')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/equivalence.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/poly/lux/data/format/json.lux | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 895c8d1a5..805576e18 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -45,7 +45,7 @@ (`` (do {! <>.monad} [.let [g!_ (code.local_identifier "_____________")] *env* <type>.env - inputT <type>.peek + inputT <type>.next .let [@Equivalence (: (-> Type Code) (function (_ type) (` ((~! /.Equivalence) (~ (poly.code *env* type))))))]] diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index 842c4b66c..db011ca27 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -30,7 +30,7 @@ funcC (code.local_identifier "____________funcC") inputC (code.local_identifier "____________inputC")] *env* <type>.env - inputT <type>.peek + inputT <type>.next [polyC varsC non_functorT] (<type>.local (list inputT) (<type>.polymorphic <type>.any)) .let [num_vars (list.size varsC)] diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 3146804e5..a77ef5980 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -127,7 +127,7 @@ .let [@JSON\encode (: (-> Type Code) (function (_ type) (` (-> (~ (poly.code *env* type)) /.JSON))))] - inputT <type>.peek] + inputT <type>.next] ($_ <>.either <basic> <time> @@ -250,7 +250,7 @@ .let [@JSON\decode (: (-> Type Code) (function (_ type) (` (</>.Parser (~ (poly.code *env* type))))))] - inputT <type>.peek] + inputT <type>.next] ($_ <>.either <basic> <time> |