diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/comonad.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux index 3dfda0bbf..e434f6ab1 100644 --- a/stdlib/source/spec/lux/abstract/comonad.lux +++ b/stdlib/source/spec/lux/abstract/comonad.lux @@ -51,11 +51,11 @@ (== (|> start _@split (_@map (|>> _@split (_@map increase) decrease))) (|> start _@split (_@map increase) _@split (_@map decrease)))))) -(def: #export (spec injection comparison monad) +(def: #export (spec injection comparison subject) (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (<| (_.with-cover [/.CoMonad]) ($_ _.and - (..left-identity injection monad) - (..right-identity injection comparison monad) - (..associativity injection comparison monad) + (..left-identity injection subject) + (..right-identity injection comparison subject) + (..associativity injection comparison subject) ))) |