diff options
| author | Eduardo Julian | 2020-10-25 23:16:14 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-10-25 23:16:14 -0400 |
| commit | cb8f2b36352948108446c7e3b270faa97589bf7a (patch) | |
| tree | 25ebf796bbbd3ad31519745b7276d38f6c19726c /stdlib/source/spec | |
| parent | 72b4eecdc514387ab3b1c105cfd49436c9eb1e8d (diff) | |
Some small refactoring.
Diffstat (limited to 'stdlib/source/spec')
| -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) ))) |