diff options
| author | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
| commit | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (patch) | |
| tree | 6c92c186525b6e73032ebea68765b791bcc27516 /stdlib/source/program/scriptum.lux | |
| parent | 17629d66062b88b040a2397032f6c08361a5f3a7 (diff) | |
Made program: specify its bindings the same way as syntax:.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
| -rw-r--r-- | stdlib/source/program/scriptum.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index 9128fdc60..ab4c2e787 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -93,7 +93,7 @@ (def: (prefix_lines prefix lines) (-> Text Text Text) (|> lines - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format prefix))) (text.join_with text.new_line))) @@ -372,7 +372,7 @@ (unravel_type_func nesting) (when> [(new> recursive_type? [])] [unrecurse_type]) (pprint_type_definition (dec nesting) [_name type_arguments] (maybe.else (list) tags) module interface? recursive_type?) - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (|>> (format " "))) (text.join_with text.new_line)) ")")))) @@ -399,7 +399,7 @@ md.empty) type_code))))) types)] - (in (list\fold (function.flip md.then) + (in (list\fold (function.flipped md.then) (md.heading/2 "Types") type_docs)))) @@ -415,7 +415,7 @@ (do maybe.monad [documentation (annotation.documentation def_annotations)] (in (md.code documentation)))))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2 "Macros")))) (template [<singular> <plural> <header>] @@ -443,7 +443,7 @@ _ md.empty) (<singular> module value_type))))) - (list\fold (function.flip md.then) + (list\fold (function.flipped md.then) (md.heading/2 <header>))))] [document_implementation document_implementations "Implementations"] @@ -453,7 +453,7 @@ (def: (enclose_lines pre+post block) (-> [Text Text] Text Text) (|> block - (text.split_all_with text.new_line) + (text.all_split_by text.new_line) (list\map (text.enclosed pre+post)) (text.join_with text.new_line))) |