fix ComonadEnv third law

ex: https://try.purescript.org/?gist=82aad3725f27216aafcdfc51a65fd3c0
purescript · Jul 10, 2024 · fed46ab · fed46ab
1 parent 1d03a99
commit fed46ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Control/Comonad/Env/Class.purs b/src/Control/Comonad/Env/Class.purs
@@ -32,7 +32,7 @@ asks f x = f (ask x)
 -- |
 -- | - `ask (local f x) = f (ask x)`
 -- | - `extract (local _ x) = extract a`
--- | - `extend g (local f x) = extend (g <<< local f) x`
+-- | - `extend g (local f x) = local f (extend (g <<< local f) x)`
 class ComonadAsk e w <= ComonadEnv e w | w -> e where
   local :: forall a. (e -> e) -> w a -> w a