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