aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/abstract/interval.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux126
1 files changed, 63 insertions, 63 deletions
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index a4e06fa3a..66d607ab8 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -73,10 +73,10 @@
(_.cover [/.between /.within?]
(and (/.within? interval bottom)
(/.within? interval top)))
- (_.cover [/.starts-with?]
- (/.starts-with? bottom interval))
- (_.cover [/.ends-with?]
- (/.ends-with? top interval))
+ (_.cover [/.starts_with?]
+ (/.starts_with? bottom interval))
+ (_.cover [/.ends_with?]
+ (/.ends_with? top interval))
(_.cover [/.borders?]
(and (/.borders? interval bottom)
(/.borders? interval top)))
@@ -85,61 +85,61 @@
(def: union
Test
(do random.monad
- [some-interval ..interval
- left-inner ..inner
- right-inner ..inner
- left-singleton ..singleton
- right-singleton ..singleton
- left-outer ..outer
- right-outer ..outer]
+ [some_interval ..interval
+ left_inner ..inner
+ right_inner ..inner
+ left_singleton ..singleton
+ right_singleton ..singleton
+ left_outer ..outer
+ right_outer ..outer]
($_ _.and
(_.test "The union of an interval to itself yields the same interval."
- (\= some-interval (/.union some-interval some-interval)))
+ (\= some_interval (/.union some_interval some_interval)))
(_.test "The union of 2 inner intervals is another inner interval."
- (/.inner? (/.union left-inner right-inner)))
+ (/.inner? (/.union left_inner right_inner)))
(_.test "The union of 2 outer intervals yields an inner interval when their complements don't overlap, and an outer when they do."
- (if (/.overlaps? (/.complement left-outer) (/.complement right-outer))
- (/.outer? (/.union left-outer right-outer))
- (/.inner? (/.union left-outer right-outer))))
+ (if (/.overlaps? (/.complement left_outer) (/.complement right_outer))
+ (/.outer? (/.union left_outer right_outer))
+ (/.inner? (/.union left_outer right_outer))))
)))
(def: intersection
Test
(do random.monad
- [some-interval ..interval
- left-inner ..inner
- right-inner ..inner
- left-singleton ..singleton
- right-singleton ..singleton
- left-outer ..outer
- right-outer ..outer]
+ [some_interval ..interval
+ left_inner ..inner
+ right_inner ..inner
+ left_singleton ..singleton
+ right_singleton ..singleton
+ left_outer ..outer
+ right_outer ..outer]
($_ _.and
(_.test "The intersection of an interval to itself yields the same interval."
- (\= some-interval (/.intersection some-interval some-interval)))
+ (\= some_interval (/.intersection some_interval some_interval)))
(_.test "The intersection of 2 inner intervals yields an inner interval when they overlap, and an outer when they don't."
- (if (/.overlaps? left-inner right-inner)
- (/.inner? (/.intersection left-inner right-inner))
- (/.outer? (/.intersection left-inner right-inner))))
+ (if (/.overlaps? left_inner right_inner)
+ (/.inner? (/.intersection left_inner right_inner))
+ (/.outer? (/.intersection left_inner right_inner))))
(_.test "The intersection of 2 outer intervals is another outer interval."
- (/.outer? (/.intersection left-outer right-outer)))
+ (/.outer? (/.intersection left_outer right_outer)))
)))
(def: complement
Test
(do random.monad
- [some-interval ..interval]
+ [some_interval ..interval]
($_ _.and
(_.test "The complement of a complement is the same as the original."
- (\= some-interval (|> some-interval /.complement /.complement)))
+ (\= some_interval (|> some_interval /.complement /.complement)))
(_.test "The complement of an interval does not overlap it."
- (not (/.overlaps? some-interval (/.complement some-interval))))
+ (not (/.overlaps? some_interval (/.complement some_interval))))
)))
(def: location
Test
(do {! random.monad}
[[l m r] (|> (random.set n.hash 3 random.nat)
- (\ ! map (|>> set.to-list
+ (\ ! map (|>> set.to_list
(list.sort n.<)
(case> (^ (list b t1 t2))
[b t1 t2]
@@ -161,20 +161,20 @@
Test
(do {! random.monad}
[[b t1 t2] (|> (random.set n.hash 3 random.nat)
- (\ ! map (|>> set.to-list
+ (\ ! map (|>> set.to_list
(list.sort n.<)
(case> (^ (list b t1 t2))
[b t1 t2]
_
(undefined)))))
- #let [int-left (/.between n.enum t1 t2)
- int-right (/.between n.enum b t1)]]
+ #let [int_left (/.between n.enum t1 t2)
+ int_right (/.between n.enum b t1)]]
($_ _.and
(_.cover [/.meets?]
- (/.meets? int-left int-right))
+ (/.meets? int_left int_right))
(_.cover [/.touches?]
- (/.touches? int-left int-right))
+ (/.touches? int_left int_right))
(_.cover [/.starts?]
(/.starts? (/.between n.enum b t2)
(/.between n.enum b t1)))
@@ -186,9 +186,9 @@
(def: nested
Test
(do {! random.monad}
- [some-interval ..interval
+ [some_interval ..interval
[x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat)
- (\ ! map (|>> set.to-list
+ (\ ! map (|>> set.to_list
(list.sort n.<)
(case> (^ (list x0 x1 x2 x3))
[x0 x1 x2 x3]
@@ -197,31 +197,31 @@
(undefined)))))]
($_ _.and
(_.test "Every interval is nested into itself."
- (/.nested? some-interval some-interval))
- (let [small-inner (/.between n.enum x1 x2)
- large-inner (/.between n.enum x0 x3)]
+ (/.nested? some_interval some_interval))
+ (let [small_inner (/.between n.enum x1 x2)
+ large_inner (/.between n.enum x0 x3)]
(_.test "Inner intervals can be nested inside one another."
- (and (/.nested? large-inner small-inner)
- (not (/.nested? small-inner large-inner)))))
- (let [small-outer (/.between n.enum x2 x1)
- large-outer (/.between n.enum x3 x0)]
+ (and (/.nested? large_inner small_inner)
+ (not (/.nested? small_inner large_inner)))))
+ (let [small_outer (/.between n.enum x2 x1)
+ large_outer (/.between n.enum x3 x0)]
(_.test "Outer intervals can be nested inside one another."
- (and (/.nested? small-outer large-outer)
- (not (/.nested? large-outer small-outer)))))
- (let [left-inner (/.between n.enum x0 x1)
- right-inner (/.between n.enum x2 x3)
+ (and (/.nested? small_outer large_outer)
+ (not (/.nested? large_outer small_outer)))))
+ (let [left_inner (/.between n.enum x0 x1)
+ right_inner (/.between n.enum x2 x3)
outer (/.between n.enum x0 x3)]
(_.test "Inners can be nested inside outers."
- (and (/.nested? outer left-inner)
- (/.nested? outer right-inner))))
+ (and (/.nested? outer left_inner)
+ (/.nested? outer right_inner))))
)))
(def: overlap
Test
(do {! random.monad}
- [some-interval ..interval
+ [some_interval ..interval
[x0 x1 x2 x3] (|> (random.set n.hash 4 random.nat)
- (\ ! map (|>> set.to-list
+ (\ ! map (|>> set.to_list
(list.sort n.<)
(case> (^ (list x0 x1 x2 x3))
[x0 x1 x2 x3]
@@ -230,18 +230,18 @@
(undefined)))))]
($_ _.and
(_.test "No interval overlaps with itself."
- (not (/.overlaps? some-interval some-interval)))
- (let [left-inner (/.between n.enum x0 x2)
- right-inner (/.between n.enum x1 x3)]
+ (not (/.overlaps? some_interval some_interval)))
+ (let [left_inner (/.between n.enum x0 x2)
+ right_inner (/.between n.enum x1 x3)]
(_.test "Inner intervals can overlap one another."
- (and (/.overlaps? left-inner right-inner)
- (/.overlaps? right-inner left-inner))))
- (let [left-inner (/.between n.enum x0 x2)
- right-inner (/.between n.enum x1 x3)
+ (and (/.overlaps? left_inner right_inner)
+ (/.overlaps? right_inner left_inner))))
+ (let [left_inner (/.between n.enum x0 x2)
+ right_inner (/.between n.enum x1 x3)
outer (/.between n.enum x1 x2)]
(_.test "Inners can overlap outers."
- (and (/.overlaps? outer left-inner)
- (/.overlaps? outer right-inner))))
+ (and (/.overlaps? outer left_inner)
+ (/.overlaps? outer right_inner))))
)))
(def: #export test
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-26 03:49:06 +0000