diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-11-26 05:05:51 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-11-26 05:05:51 +0100 |
| commit | bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb (patch) | |
| tree | 1c1672e74eedfcbf3425a77eb0a985a4f0dc1284 /ws2015 | |
| parent | bf2fafe5a3ce9128e3c24c35cbf7aa8f4c3ba5fc (diff) | |
| download | uni-bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb.tar uni-bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb.tar.gz uni-bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb.tar.bz2 uni-bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb.tar.xz uni-bbd61748ca02d9cc5fb3b8e9c939d154d8a7d3eb.zip | |
typo
Diffstat (limited to 'ws2015')
| -rw-r--r-- | ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs b/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs index f444ad0..7add816 100644 --- a/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs +++ b/ws2015/ffp/blaetter/06/FFP_U06_Monaden.hs | |||
| @@ -86,7 +86,7 @@ data Entweder a b = Eines a | Anderes b | |||
| 86 | 86 | ||
| 87 | instance Functor (Entweder a) where | 87 | instance Functor (Entweder a) where |
| 88 | fmap f (Anderes x) = Anderes $ f x | 88 | fmap f (Anderes x) = Anderes $ f x |
| 89 | fmap _ (Eines x) = Eines x -- Because x@(Either a b) is not (Either a c), even if we can prove that x is Left. | 89 | fmap _ (Eines x) = Eines x -- Because (Either a b) is not (Either a c), even if we can prove that it is Left. |
| 90 | 90 | ||
| 91 | instance Applicative (Entweder a) where | 91 | instance Applicative (Entweder a) where |
| 92 | pure = Anderes | 92 | pure = Anderes |