diff options
| author | Eduardo Julian | 2022-06-13 01:55:22 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-13 01:55:22 -0400 |
| commit | 289f9de576a7980184339f380d5000f7d71f6d7e (patch) | |
| tree | e0ac1c14a496d6bf3139e1e3b600dde73decf208 /stdlib/source/polytypic | |
| parent | 32e730e93f0a88cc537622c854a48eb229419893 (diff) | |
New "format" hierarchy.
Diffstat (limited to 'stdlib/source/polytypic')
| -rw-r--r-- | stdlib/source/polytypic/lux/abstract/equivalence.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/polytypic/lux/abstract/functor.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/polytypic/lux/data/format/json.lux | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 1e882e32d..119142267 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -11,7 +11,7 @@ ["[0]" product] ["[0]" bit] ["[0]" text (.open: "[1]#[0]" monoid) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence] diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux index 310c3ff9a..3ad598a91 100644 --- a/stdlib/source/polytypic/lux/abstract/functor.lux +++ b/stdlib/source/polytypic/lux/abstract/functor.lux @@ -10,7 +10,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad monoid)]]] [macro diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index 23b959bc5..801a16e19 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -13,7 +13,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" sequence (.only sequence)] |