diff options
| author | Eduardo Julian | 2022-06-04 20:00:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 20:00:01 -0400 |
| commit | 75e8244fd7914d2ac0c3622d2277b84c4bfa7ffb (patch) | |
| tree | 317e26d0702e8c73669b9cef39979c0d2ed93b17 /stdlib/source/test | |
| parent | f9e33ae96aec4741385a576719786092c9e68043 (diff) | |
comonad/cofree => comonad/free
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract.lux | 4 | ||||
| -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.lux | 2 |
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 |