Skip to content

Commit

Permalink
wee -> we (#67)
Browse files Browse the repository at this point in the history
^

Signed-off-by: Beshoy Kamel <[email protected]>
Co-authored-by: Stanislav (Stanley) Modrak <[email protected]>
  • Loading branch information
bwkam and smith558 authored Sep 20, 2024
1 parent 28b607b commit 54b660c
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -303,7 +303,7 @@ instance Functor Maybe where
```

We imagine that `id` plays the role of the `f` parameter in the implementation.
We see that if wee `fmap id` over `Just x`, the result will be `Just (id x)`, and because `id` just returns its parameter, we can deduce that `Just (id x)` equals `Just x`.
We see that if we `fmap id` over `Just x`, the result will be `Just (id x)`, and because `id` just returns its parameter, we can deduce that `Just (id x)` equals `Just x`.
So now we know that if we map `id` over a `Maybe` value with a `Just` value constructor, we get that same value back.

Seeing that mapping `id` over a `Nothing` value returns the same value is trivial.
Expand Down

0 comments on commit 54b660c

Please sign in to comment.