diff options
| author | Eduardo Julian | 2020-10-07 17:00:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-07 17:00:57 -0400 |
| commit | ce7614f00a134cb61b4a6f88cfea33461a7bf478 (patch) | |
| tree | fcd6fd7206ceef50db7687c6d4d8b71ff581d41b /stdlib/source/test/lux/data/identity.lux | |
| parent | de673c2adf9fdf848f8fff977a6cddc036cbfa9e (diff) | |
Test imports for circular dependencies.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/identity.lux | 26 |
1 files changed, 12 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 65d7d1a48..cc2ccf096 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -10,7 +10,8 @@ [/ ["$." functor (#+ Injection Comparison)] ["$." apply] - ["$." monad]]}] + ["$." monad] + ["$." comonad]]}] [data ["." text ("#@." monoid equivalence) ["%" format (#+ format)]]]] @@ -28,18 +29,15 @@ (def: #export test Test - (<| (_.context (%.name (name-of /.Identity))) + (<| (_.covering /._) + (_.with-cover [/.Identity]) ($_ _.and - ($functor.spec ..injection ..comparison /.functor) - ($apply.spec ..injection ..comparison /.apply) - ($monad.spec ..injection ..comparison /.monad) - - (let [(^open "/@.") /.comonad] - (_.test "CoMonad does not affect values." - (and (text@= "yololol" (/@unwrap "yololol")) - (text@= "yololol" (be /.comonad - [f text@compose - a "yolo" - b "lol"] - (f a b)))))) + (_.with-cover [/.functor] + ($functor.spec ..injection ..comparison /.functor)) + (_.with-cover [/.apply] + ($apply.spec ..injection ..comparison /.apply)) + (_.with-cover [/.monad] + ($monad.spec ..injection ..comparison /.monad)) + (_.with-cover [/.comonad] + ($comonad.spec ..injection ..comparison /.comonad)) ))) |