@@ -383,49 +383,49 @@ raiseAEmpty = arr (fromRight (const mempty) >>> Left)
385-- | Execute the second arrow if the first succeeds
385-- | Execute the second arrow if the first succeeds
386−(>>?) :: (ArrowChoice a, Monoid failure)
386+(>>?) :: (ArrowChoice a)
387 => FallibleArrow a x failure success
387 => FallibleArrow a x failure success
388 -> FallibleArrow a success failure success'
388 -> FallibleArrow a success failure success'
389 -> FallibleArrow a x failure success'
389 -> FallibleArrow a x failure success'
390a >>? b = a >>> Left ^||| b
390a >>? b = a >>> Left ^||| b
392-- | Execute the lifted second arrow if the first succeeds
392-- | Execute the lifted second arrow if the first succeeds
393−(>>?^) :: (ArrowChoice a, Monoid failure)
393+(>>?^) :: (ArrowChoice a)
394 => FallibleArrow a x failure success
394 => FallibleArrow a x failure success
395 -> (success -> success')
395 -> (success -> success')
396 -> FallibleArrow a x failure success'
396 -> FallibleArrow a x failure success'
397a >>?^ f = a >>^ Left ^|||^ Right . f
397a >>?^ f = a >>^ Left ^|||^ Right . f
399-- | Execute the lifted second arrow if the first succeeds
399-- | Execute the lifted second arrow if the first succeeds
400−(>>?^?) :: (ArrowChoice a, Monoid failure)
400+(>>?^?) :: (ArrowChoice a)
401 => FallibleArrow a x failure success
401 => FallibleArrow a x failure success
402 -> (success -> Either failure success')
402 -> (success -> Either failure success')
403 -> FallibleArrow a x failure success'
403 -> FallibleArrow a x failure success'
404a >>?^? b = a >>> Left ^|||^ b
404a >>?^? b = a >>> Left ^|||^ b
406-- | Execute the second arrow if the lifted first arrow succeeds
406-- | Execute the second arrow if the lifted first arrow succeeds
407−(^>>?) :: (ArrowChoice a, Monoid failure)
407+(^>>?) :: (ArrowChoice a)
408 => (x -> Either failure success)
408 => (x -> Either failure success)
409 -> FallibleArrow a success failure success'
409 -> FallibleArrow a success failure success'
410 -> FallibleArrow a x failure success'
410 -> FallibleArrow a x failure success'
411a ^>>? b = a ^>> Left ^||| b
411a ^>>? b = a ^>> Left ^||| b
413-- | Execute the lifted second arrow if the lifted first arrow succeeds
413-- | Execute the lifted second arrow if the lifted first arrow succeeds
414−(^>>?^) :: (ArrowChoice a, Monoid failure)
414+(^>>?^) :: (ArrowChoice a)
415 => (x -> Either failure success)
415 => (x -> Either failure success)
416 -> (success -> success')
416 -> (success -> success')
417 -> FallibleArrow a x failure success'
417 -> FallibleArrow a x failure success'
418a ^>>?^ f = arr $ a >>> right f
418a ^>>?^ f = arr $ a >>> right f
420-- | Execute the lifted second arrow if the lifted first arrow succeeds
420-- | Execute the lifted second arrow if the lifted first arrow succeeds
421−(^>>?^?) :: (ArrowChoice a, Monoid failure)
421+(^>>?^?) :: (ArrowChoice a)
422 => (x -> Either failure success)
422 => (x -> Either failure success)
423 -> (success -> Either failure success')
423 -> (success -> Either failure success')
424 -> FallibleArrow a x failure success'
424 -> FallibleArrow a x failure success'
425a ^>>?^? f = a ^>> Left ^|||^ f
425a ^>>?^? f = a ^>> Left ^|||^ f
427-- | Execute the second, non-fallible arrow if the first arrow succeeds
427-- | Execute the second, non-fallible arrow if the first arrow succeeds
428−(>>?!) :: (ArrowChoice a, Monoid failure)
428+(>>?!) :: (ArrowChoice a)
429 => FallibleArrow a x failure success
429 => FallibleArrow a x failure success
430 -> a success success'
430 -> a success success'
431 -> FallibleArrow a x failure success'
431 -> FallibleArrow a x failure success'