aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/abstract/interval.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/abstract/interval.lux')
-rw-r--r--stdlib/source/lux/abstract/interval.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/abstract/interval.lux b/stdlib/source/lux/abstract/interval.lux
index b1b026440..fbe3a4c8a 100644
--- a/stdlib/source/lux/abstract/interval.lux
+++ b/stdlib/source/lux/abstract/interval.lux
@@ -63,14 +63,14 @@
(let [(^open ".") interval]
(= <limit> elem)))]
- [starts-with? bottom]
- [ends-with? top]
+ [starts_with? bottom]
+ [ends_with? top]
)
(def: #export (borders? interval elem)
(All [a] (-> (Interval a) a Bit))
- (or (starts-with? elem interval)
- (ends-with? elem interval)))
+ (or (starts_with? elem interval)
+ (ends_with? elem interval)))
(def: #export (union left right)
(All [a] (-> (Interval a) (Interval a) (Interval a)))
@@ -125,15 +125,15 @@
(or (meets? reference sample)
(meets? sample reference)))
-(template [<name> <eq-side> <ineq> <ineq-side>]
+(template [<name> <eq_side> <ineq> <ineq_side>]
[(def: #export (<name> reference sample)
(All [a] (-> (Interval a) (Interval a) Bit))
(let [(^open ",\.") reference]
- (and (,\= (\ reference <eq-side>)
- (\ sample <eq-side>))
+ (and (,\= (\ reference <eq_side>)
+ (\ sample <eq_side>))
(<ineq> ,\&order
- (\ reference <ineq-side>)
- (\ sample <ineq-side>)))))]
+ (\ reference <ineq_side>)
+ (\ sample <ineq_side>)))))]
[starts? ,\bottom order.<= ,\top]
[finishes? ,\top order.>= ,\bottom]