@@ -432,21 +432,21 @@ a ^>>?^? f = a ^>> Left ^|||^ f
432a >>?! f = a >>> right f
432a >>?! f = a >>> right f
435−(>>?%) :: (ArrowChoice a, Monoid f)
435+(>>?%) :: (ArrowChoice a)
436 => FallibleArrow a x f (b,b')
436 => FallibleArrow a x f (b,b')
437 -> (b -> b' -> c)
437 -> (b -> b' -> c)
438 -> FallibleArrow a x f c
438 -> FallibleArrow a x f c
439a >>?% f = a >>?^ (uncurry f)
439a >>?% f = a >>?^ (uncurry f)
442−(^>>?%) :: (ArrowChoice a, Monoid f)
442+(^>>?%) :: (ArrowChoice a)
443 => (x -> Either f (b,b'))
443 => (x -> Either f (b,b'))
444 -> (b -> b' -> c)
444 -> (b -> b' -> c)
445 -> FallibleArrow a x f c
445 -> FallibleArrow a x f c
446a ^>>?% f = arr a >>?^ (uncurry f)
446a ^>>?% f = arr a >>?^ (uncurry f)
449−(>>?%?) :: (ArrowChoice a, Monoid f)
449+(>>?%?) :: (ArrowChoice a)
450 => FallibleArrow a x f (b,b')
450 => FallibleArrow a x f (b,b')
451 -> (b -> b' -> (Either f c))
451 -> (b -> b' -> (Either f c))
452 -> FallibleArrow a x f c
452 -> FallibleArrow a x f c