File tree Expand file tree Collapse file tree 2 files changed +8
-8
lines changed Expand file tree Collapse file tree 2 files changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -95,11 +95,11 @@ Just f <*> Just x == Just (f x)
9595` Nothing ` values are left untouched:
9696
9797``` purescript
98- Just f <$ > Nothing == Nothing
99- Nothing <$ > Just x == Nothing
98+ Just f <* > Nothing == Nothing
99+ Nothing <* > Just x == Nothing
100100```
101101
102- Combining ` Functor ` 's' ` <$> ` with ` Apply ` 's ` <*> ` can be used transform a
102+ Combining ` Functor ` 's ` <$> ` with ` Apply ` 's ` <*> ` can be used transform a
103103pure function to take ` Maybe ` -typed arguments so ` f :: a -> b -> c `
104104becomes ` f :: Maybe a -> Maybe b -> Maybe c ` :
105105
@@ -131,7 +131,7 @@ pure x :: Maybe _ == Just x
131131return x :: Maybe _ == Just x
132132```
133133
134- Combining ` Functor ` 's' ` <$> ` with ` Apply ` 's ` <*> ` and ` Applicative ` 's
134+ Combining ` Functor ` 's ` <$> ` with ` Apply ` 's ` <*> ` and ` Applicative ` 's
135135` pure ` can be used to pass a mixture of ` Maybe ` and non-` Maybe ` typed
136136values to a function that does not usually expect them, by using ` pure `
137137for any value that is not already ` Maybe ` typed:
Original file line number Diff line number Diff line change @@ -68,11 +68,11 @@ instance functorMaybe :: Functor Maybe where
6868-- | `Nothing` values are left untouched:
6969-- |
7070-- | ``` purescript
71- -- | Just f <$ > Nothing == Nothing
72- -- | Nothing <$ > Just x == Nothing
71+ -- | Just f <* > Nothing == Nothing
72+ -- | Nothing <* > Just x == Nothing
7373-- | ```
7474-- |
75- -- | Combining `Functor`'s' `<$>` with `Apply`'s `<*>` can be used transform a
75+ -- | Combining `Functor`'s `<$>` with `Apply`'s `<*>` can be used transform a
7676-- | pure function to take `Maybe`-typed arguments so `f :: a -> b -> c`
7777-- | becomes `f :: Maybe a -> Maybe b -> Maybe c`:
7878-- |
@@ -101,7 +101,7 @@ instance applyMaybe :: Apply Maybe where
101101-- | return x :: Maybe _ == Just x
102102-- | ```
103103-- |
104- -- | Combining `Functor`'s' `<$>` with `Apply`'s `<*>` and `Applicative`'s
104+ -- | Combining `Functor`'s `<$>` with `Apply`'s `<*>` and `Applicative`'s
105105-- | `pure` can be used to pass a mixture of `Maybe` and non-`Maybe` typed
106106-- | values to a function that does not usually expect them, by using `pure`
107107-- | for any value that is not already `Maybe` typed:
You can’t perform that action at this time.
0 commit comments