aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/abstract.lux4
-rw-r--r--stdlib/source/test/lux/abstract/comonad/free.lux (renamed from stdlib/source/test/lux/abstract/comonad/cofree.lux)12
-rw-r--r--stdlib/source/test/lux/macro/local.lux2
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index 974778af5..b044876aa 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -6,7 +6,7 @@
["[1][0]" apply]
["[1][0]" codec]
["[1][0]" comonad (.only)
- ["[1]/[0]" cofree]]
+ ["[1]/[0]" free]]
["[1][0]" enum]
["[1][0]" equivalence]
["[1][0]" hash]
@@ -38,7 +38,7 @@
Test
(all _.and
/comonad.test
- /comonad/cofree.test
+ /comonad/free.test
))
(def: .public test
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/free.lux
index 2f2b7569b..9c84654c2 100644
--- a/stdlib/source/test/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/test/lux/abstract/comonad/free.lux
@@ -20,18 +20,18 @@
["[0]" /]])
(def: (injection value)
- (Injection (/.CoFree Stream))
+ (Injection (/.Free Stream))
[value (stream#each injection (stream.repeated value))])
(def: (interpret [head tail])
- (All (_ a) (-> (/.CoFree Stream a) (Stream a)))
+ (All (_ a) (-> (/.Free Stream a) (Stream a)))
(|> tail
(stream#each (at (/.comonad stream.functor) out))
[head]
//.pending))
(def: comparison
- (Comparison (/.CoFree Stream))
+ (Comparison (/.Free Stream))
(function (_ == left right)
(at (list.equivalence ==) =
(stream.first 100 (..interpret left))
@@ -40,12 +40,12 @@
(def: .public test
Test
(<| (_.covering /._)
- (_.for [/.CoFree])
+ (_.for [/.Free])
(all _.and
(_.for [/.functor]
- ($functor.spec ..injection ..comparison (is (Functor (/.CoFree Stream))
+ ($functor.spec ..injection ..comparison (is (Functor (/.Free Stream))
(/.functor stream.functor))))
(_.for [/.comonad]
- ($comonad.spec ..injection ..comparison (is (CoMonad (/.CoFree Stream))
+ ($comonad.spec ..injection ..comparison (is (CoMonad (/.Free Stream))
(/.comonad stream.functor))))
)))
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index 910ffe079..a38dc8be7 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.except)
+ [lux (.except with)
["_" test (.only Test)]
["[0]" meta]
[abstract