diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/world/service/journal.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/world/service/journal.lux b/stdlib/source/lux/world/service/journal.lux index 1bd9c3fda..6a2e8ff90 100644 --- a/stdlib/source/lux/world/service/journal.lux +++ b/stdlib/source/lux/world/service/journal.lux @@ -7,9 +7,9 @@ ["!" capability (#+ capability:)]]] [data [error (#+ Error)] - ["." text ("#/." equivalence)]] + ["." text ("#;." equivalence)]] [time - ["." instant (#+ Instant) ("#/." equivalence)]]]) + ["." instant (#+ Instant) ("#;." equivalence)]]]) (type: #export (Entry a) {#what a @@ -29,14 +29,14 @@ (def: bottom start) (def: top end))) -(structure: #export (equivalence (^open "_/.")) +(structure: #export (equivalence (^open "_;.")) (All [a] (-> (Equivalence a) (Equivalence (Entry a)))) (def: (= reference sample) - (and (_/= (get@ #what reference) (get@ #what sample)) - (text/= (get@ #why reference) (get@ #why sample)) - (text/= (get@ #how reference) (get@ #how sample)) - (text/= (get@ #who reference) (get@ #who sample)) - (text/= (get@ #where reference) (get@ #where sample)) + (and (_;= (get@ #what reference) (get@ #what sample)) + (text;= (get@ #why reference) (get@ #why sample)) + (text;= (get@ #how reference) (get@ #how sample)) + (text;= (get@ #who reference) (get@ #who sample)) + (text;= (get@ #where reference) (get@ #where sample)) (instant/= (get@ #when reference) (get@ #when sample))))) (capability: #export (Can-Write ! a) |