We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 982fbbd commit feca0c8Copy full SHA for feca0c8
src/Control/Comonad/Env/Class.purs
@@ -15,7 +15,7 @@ class Comonad w <= ComonadAsk e w | w -> e where
15
ask :: forall a. w a -> e
16
17
-- | Get a value which depends on the environment.
18
-asks :: forall e1 e2 w. ComonadEnv e1 w => (e1 -> e2) -> w e1 -> e2
+asks :: forall e1 e2 w a. ComonadAsk e1 w => (e1 -> e2) -> w a -> e2
19
asks f x = f (ask x)
20
21
-- | The `ComonadEnv` type class extends `ComonadAsk` with a function
0 commit comments