diff options
| -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 |
