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 b20386e commit 655765cCopy full SHA for 655765c
src/Control/Applicative.purs
@@ -26,9 +26,9 @@ import Data.Unit (Unit, unit)
26
-- | laws:
27
-- |
28
-- | - Identity: `(pure id) <*> v = v`
29
--- | - Composition: `(pure <<<) <*> f <*> g <*> h = f <*> (g <*> h)`
+-- | - Composition: `pure (<<<) <*> f <*> g <*> h = f <*> (g <*> h)`
30
-- | - Homomorphism: `(pure f) <*> (pure x) = pure (f x)`
31
--- | - Interchange: `u <*> (pure y) = (pure ($ y)) <*> u`
+-- | - Interchange: `u <*> (pure y) = (pure (_ $ y)) <*> u`
32
class Apply f <= Applicative f where
33
pure :: forall a. a -> f a
34
0 commit comments