diff options
author | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-12-02 19:33:00 -0400 |
commit | 94e5802f594a73245fce0fbd885103b8bf210d57 (patch) | |
tree | 65e5799c0be40f5f015b39bfa6c87c9c27fd9424 /stdlib/source/test/lux/meta/type/implicit.lux | |
parent | b491dfff00219d5206075ea65468e00ab657075d (diff) |
Added some simple time-series handling machinery.
Diffstat (limited to 'stdlib/source/test/lux/meta/type/implicit.lux')
-rw-r--r-- | stdlib/source/test/lux/meta/type/implicit.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/meta/type/implicit.lux b/stdlib/source/test/lux/meta/type/implicit.lux index 233c121ca..b4f5c2f2b 100644 --- a/stdlib/source/test/lux/meta/type/implicit.lux +++ b/stdlib/source/test/lux/meta/type/implicit.lux @@ -26,7 +26,7 @@ Test (<| (_.covering /._) (do [! random.monad] - [.let [digit (at ! each (n.% 10) random.nat)] + [.let [digit (of ! each (n.% 10) random.nat)] left digit right digit .let [start (n.min left right) @@ -38,9 +38,9 @@ (_.coverage [/.a/an /.a /.an] (let [first_order! (let [(open "list#[0]") (list.equivalence n.equivalence)] - (and (bit#= (at n.equivalence = left right) + (and (bit#= (of n.equivalence = left right) (/.a = left right)) - (list#= (at list.functor each ++ (enum.range n.enum start end)) + (list#= (of list.functor each ++ (enum.range n.enum start end)) (/.an each ++ (enum.range n.enum start end))))) second_order! @@ -57,9 +57,9 @@ third_order!))) (_.coverage [/.with] (/.with [n.addition] - (n.= (at n.addition composite left right) + (n.= (of n.addition composite left right) (/.a/an composite left right)))) (_.coverage [/.implicitly] - (n.= (at n.multiplication composite left right) + (n.= (of n.multiplication composite left right) (/.a/an composite left right))) )))) |