Commit 5f568e28 authored by Mart Lubbers's avatar Mart Lubbers

revert strictness annotations bifunctor for either

parent 1422b6a6
Pipeline #16896 passed with stage
in 2 minutes and 49 seconds
......@@ -27,6 +27,8 @@ instance Foldable (Either a)
instance Traversable (Either a)
instance Bifunctor Either
where
bifmap :: (a -> c) (b -> d) !(Either a b) -> Either c d
instance Alternative (Either m) | Monoid m
......
......@@ -70,6 +70,7 @@ where
instance Bifunctor Either
where
bifmap :: (a -> c) (b -> d) !(Either a b) -> Either c d
bifmap f _ (Left a) = Left (f a)
bifmap _ g (Right b) = Right (g b)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment