diff options
| author | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
| commit | c5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch) | |
| tree | cd62d188403e9b3998ba293dc5308719a430f1fe /stdlib/source/program/aedifex/format.lux | |
| parent | e814f667aed509a70bd386dcd54628929134def4 (diff) | |
Updates to the Ruby compiler.
Diffstat (limited to 'stdlib/source/program/aedifex/format.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/format.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index d36d597b3..1933d2be0 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -68,7 +68,7 @@ (dictionary.empty text.hash)) (def: (on_maybe field value format aggregate) - (All [a] + (All (_ a) (-> Text (Maybe a) (Format a) Aggregate Aggregate)) (case value #.None @@ -78,7 +78,7 @@ (dictionary.has field (format value) aggregate))) (def: (on_list field value format aggregate) - (All [a] + (All (_ a) (-> Text (List a) (Format a) Aggregate Aggregate)) (case value #.End @@ -88,12 +88,12 @@ (dictionary.has field (` [(~+ (list\each format value))]) aggregate))) (def: (on_set field value format aggregate) - (All [a] + (All (_ a) (-> Text (Set a) (Format a) Aggregate Aggregate)) (..on_list field (set.list value) format aggregate)) (def: (on_dictionary field value key_format value_format aggregate) - (All [k v] + (All (_ k v) (-> Text (Dictionary k v) (Format k) (Format v) Aggregate Aggregate)) (if (dictionary.empty? value) aggregate |