aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/identity.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-12-12 18:55:00 -0400
committerEduardo Julian2022-12-12 18:55:00 -0400
commit549cb9623c560fec165b9e88f112a406614f598e (patch)
treed085b6dddf0a7ff5078c19e0f13b48d82bee55d0 /stdlib/source/test/lux/data/identity.lux
parentfe9a58dfcd5732ef0c5e5c4b7e85370cdc0db45a (diff)
Added accumulation/distribution oscillator.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/data/identity.lux10
1 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index a27cc32f7..f18f69c41 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -3,9 +3,11 @@
[lux (.except)
[abstract
[monad (.only do)]
+ ["[0]" functor
+ ["[1]T" \\test (.only Injection Comparison)]]
+ ["[0]" apply
+ ["[1]T" \\test]]
[\\specification
- ["$[0]" functor (.only Injection Comparison)]
- ["$[0]" apply]
["$[0]" monad]
["$[0]" comonad]]]
[test
@@ -28,9 +30,9 @@
(_.for [/.Identity])
(all _.and
(_.for [/.functor]
- ($functor.spec ..injection ..comparison /.functor))
+ (functorT.spec ..injection ..comparison /.functor))
(_.for [/.apply]
- ($apply.spec ..injection ..comparison /.apply))
+ (applyT.spec ..injection ..comparison /.apply))
(_.for [/.monad]
($monad.spec ..injection ..comparison /.monad))
(_.for [/.comonad]