From 0b0a0e730fedf56a4ddafa9b6e4a03a6cfad3986 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 14 Jul 2016 08:54:06 -0700 Subject: Removed some redundant class constraints. --- src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Text/Pandoc/Readers') diff --git a/src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs b/src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs index ad71cf08d..fca2575c2 100644 --- a/src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs +++ b/src/Text/Pandoc/Readers/Odt/Arrows/Utils.hs @@ -432,21 +432,21 @@ a ^>>?^? f = a ^>> Left ^|||^ f a >>?! f = a >>> right f --- -(>>?%) :: (ArrowChoice a, Monoid f) +(>>?%) :: (ArrowChoice a) => FallibleArrow a x f (b,b') -> (b -> b' -> c) -> FallibleArrow a x f c a >>?% f = a >>?^ (uncurry f) --- -(^>>?%) :: (ArrowChoice a, Monoid f) +(^>>?%) :: (ArrowChoice a) => (x -> Either f (b,b')) -> (b -> b' -> c) -> FallibleArrow a x f c a ^>>?% f = arr a >>?^ (uncurry f) --- -(>>?%?) :: (ArrowChoice a, Monoid f) +(>>?%?) :: (ArrowChoice a) => FallibleArrow a x f (b,b') -> (b -> b' -> (Either f c)) -> FallibleArrow a x f c -- cgit v1.2.3