From fed46ab6537c47c792abdb798d1fadfa02c4088d Mon Sep 17 00:00:00 2001 From: worldmaker Date: Wed, 10 Jul 2024 21:45:28 +0800 Subject: [PATCH] fix ComonadEnv third law ex: https://try.purescript.org/?gist=82aad3725f27216aafcdfc51a65fd3c0 --- src/Control/Comonad/Env/Class.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Control/Comonad/Env/Class.purs b/src/Control/Comonad/Env/Class.purs index f033ada..8053977 100644 --- 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