diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/comonad/cofree.lux | 14 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/interval.lux | 24 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad/free.lux | 20 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 14 |
6 files changed, 40 insertions, 40 deletions
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 9fc2df11b..8a089c533 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -40,12 +40,12 @@ (def: #export test Test (<| (_.covering /._) - (_.with-cover [/.CoFree]) + (_.for [/.CoFree]) ($_ _.and - (_.with-cover [/.functor] - ($functor.spec ..injection ..comparison (: (Functor (/.CoFree Sequence)) - (/.functor sequence.functor)))) - (_.with-cover [/.comonad] - ($comonad.spec ..injection ..comparison (: (CoMonad (/.CoFree Sequence)) - (/.comonad sequence.functor)))) + (_.for [/.functor] + ($functor.spec ..injection ..comparison (: (Functor (/.CoFree Sequence)) + (/.functor sequence.functor)))) + (_.for [/.comonad] + ($comonad.spec ..injection ..comparison (: (CoMonad (/.CoFree Sequence)) + (/.comonad sequence.functor)))) ))) diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 0193773eb..95f62218c 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -37,8 +37,8 @@ (\ right = leftN rightN))))))]] (<| (_.covering /._) ($_ _.and - (_.with-cover [/.functor] - ($contravariant.spec equivalence n.equivalence /.functor)) + (_.for [/.functor] + ($contravariant.spec equivalence n.equivalence /.functor)) (_.cover [/.sum] (let [equivalence (/.sum n.equivalence i.equivalence)] (and (bit\= (\ n.equivalence = leftN leftN) diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 55ad4111d..a4e06fa3a 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -248,21 +248,21 @@ Test (<| (_.covering /._) ($_ _.and - (_.with-cover [/.equivalence] - ($equivalence.spec /.equivalence ..interval)) + (_.for [/.equivalence] + ($equivalence.spec /.equivalence ..interval)) ..types ..boundaries - (_.with-cover [/.union] - ..union) - (_.with-cover [/.intersection] - ..intersection) - (_.with-cover [/.complement] - ..complement) + (_.for [/.union] + ..union) + (_.for [/.intersection] + ..intersection) + (_.for [/.complement] + ..complement) ..location ..touch - (_.with-cover [/.nested?] - ..nested) - (_.with-cover [/.overlaps?] - ..overlap) + (_.for [/.nested?] + ..nested) + (_.for [/.overlaps?] + ..overlap) ))) diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 5cae8ef16..5f71df542 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -43,15 +43,15 @@ (def: #export test Test (<| (_.covering /._) - (_.with-cover [/.Free]) + (_.for [/.Free]) ($_ _.and - (_.with-cover [/.functor] - ($functor.spec ..injection ..comparison (: (Functor (/.Free List)) - (/.functor list.functor)))) - (_.with-cover [/.apply] - ($apply.spec ..injection ..comparison (: (Apply (/.Free List)) - (/.apply list.functor)))) - (_.with-cover [/.monad] - ($monad.spec ..injection ..comparison (: (Monad (/.Free List)) - (/.monad list.functor)))) + (_.for [/.functor] + ($functor.spec ..injection ..comparison (: (Functor (/.Free List)) + (/.functor list.functor)))) + (_.for [/.apply] + ($apply.spec ..injection ..comparison (: (Apply (/.Free List)) + (/.apply list.functor)))) + (_.for [/.monad] + ($monad.spec ..injection ..comparison (: (Monad (/.Free List)) + (/.monad list.functor)))) ))) diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 38479a79f..f45076a0c 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -34,8 +34,8 @@ (bit\= (\ leftO < left right) (\ rightO < left right))))))]]) ($_ _.and - (_.with-cover [/.functor] - ($contravariant.spec equivalence n.order /.functor)) + (_.for [/.functor] + ($contravariant.spec equivalence n.order /.functor)) (_.cover [/.Choice /.min /.max] (n.< (/.max n.order left right) (/.min n.order left right))) diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 502e1c845..47875a6c4 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -39,19 +39,19 @@ (def: (= left right) (bit\= (left sample) (right sample)))))]]) - (_.with-cover [/.Predicate]) + (_.for [/.Predicate]) ($_ _.and - (_.with-cover [/.functor] - ($contravariant.spec equivalence (multiple? 2) /.functor)) + (_.for [/.functor] + ($contravariant.spec equivalence (multiple? 2) /.functor)) (let [generator (: (Random (/.Predicate Nat)) (|> random.nat (random.filter (|>> (n.= 0) not)) (\ ! map multiple?)))] ($_ _.and - (_.with-cover [/.union] - ($monoid.spec equivalence /.union generator)) - (_.with-cover [/.intersection] - ($monoid.spec equivalence /.intersection generator)))) + (_.for [/.union] + ($monoid.spec equivalence /.union generator)) + (_.for [/.intersection] + ($monoid.spec equivalence /.intersection generator)))) (_.cover [/.none] (bit\= false (/.none sample))) |