diff options
| author | Eduardo Julian | 2022-06-12 02:29:28 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 02:29:28 -0400 |
| commit | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (patch) | |
| tree | 525d0f841edfa94645317ac905cb69c8a7983a5c /stdlib/source/program/aedifex/artifact/time | |
| parent | b48ea68a83d01903554c7696c77eedaaf1035680 (diff) | |
Re-named the "poly" hierarchy to "polytypic".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/time.lux | 8 |
3 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index c702b10b4..73f170d55 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -6,13 +6,13 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["[0]" try (.only Try)] - ["<>" parser (.only) - ["<[0]>" text (.only Parser)]]] + ["<>" parser (.only)] + ["[0]" try (.only Try)]] [data ["[0]" product] - [text - ["%" format (.only Format)]]] + ["[0]" text + ["%" format (.only Format)] + ["<[1]>" \\parser (.only Parser)]]] [time ["[0]" instant (.only Instant)]]]] ["[0]" / diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 31a2f0f2a..85dee4278 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -5,13 +5,13 @@ [monad (.only do)] [equivalence (.only Equivalence)]] [control + ["<>" parser] ["[0]" try (.only Try)] - ["[0]" exception (.only exception:)] - ["<>" parser - ["<[0]>" text (.only Parser)]]] + ["[0]" exception (.only exception:)]] [data - [text - ["%" format]]] + ["[0]" text + ["%" format] + ["<[1]>" \\parser (.only Parser)]]] [math [number ["n" nat] diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index e890d0231..4b4936563 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["<>" parser (.only) - ["<[0]>" text (.only Parser)]]] + ["<>" parser (.only)]] [data - [text - ["%" format]]] + ["[0]" text + ["%" format] + ["<[1]>" \\parser (.only Parser)]]] [math [number ["n" nat]]]]] |