diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/interval.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/control/interval.lux b/stdlib/source/lux/control/interval.lux index 16a78e282..90addfe19 100644 --- a/stdlib/source/lux/control/interval.lux +++ b/stdlib/source/lux/control/interval.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux (control [eq #+ Eq] [order] @@ -6,7 +6,7 @@ ## Signatures (sig: #export (Interval a) - {#;doc "A representation of top and bottom boundaries for an ordered type."} + {#.doc "A representation of top and bottom boundaries for an ordered type."} (: (Enum a) enum) @@ -72,14 +72,14 @@ (def: #export (union left right) (All [a] (-> (Interval a) (Interval a) (Interval a))) (struct (def: enum (get@ #enum right)) - (def: bottom (order;min (:: right order) (:: left bottom) (:: right bottom))) - (def: top (order;max (:: right order) (:: left top) (:: right top))))) + (def: bottom (order.min (:: right order) (:: left bottom) (:: right bottom))) + (def: top (order.max (:: right order) (:: left top) (:: right top))))) (def: #export (intersection left right) (All [a] (-> (Interval a) (Interval a) (Interval a))) (struct (def: enum (get@ #enum right)) - (def: bottom (order;max (:: right order) (:: left bottom) (:: right bottom))) - (def: top (order;min (:: right order) (:: left top) (:: right top))))) + (def: bottom (order.max (:: right order) (:: left bottom) (:: right bottom))) + (def: top (order.min (:: right order) (:: left top) (:: right top))))) (def: #export (complement interval) (All [a] (-> (Interval a) (Interval a))) |