ArrowChoice

class Arrow a => ArrowChoice a
base Control.Arrow
Choice, for arrows that support it. This class underlies the if and case constructs in arrow notation. Any instance must define left. The other combinators have sensible default definitions, which may be overridden for efficiency.