Maps an Error
Apply the result of this rule to the function returned by the previous rule
>~>(f) is equivalent to >> { case b1 ~ b2 => f(b1, b2) }
-(f) is equivalent to ^^ { b2 => b1 => f(b1, b2) }
~>~(f) is equivalent to ^^ { case b2 ~ b3 => b1 => f(b1, b2, b3) }
~(f) is equivalent to ^^ { case b1 ~ b2 => f(b1, b2) }
~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 => f(b1, b2, b3) }
~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 => f(b1, b2, b3, b4) }
~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 => f(b1, b2, b3, b4, b5) }
~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
~~~~~~(f) is equivalent to ^^ { case b1 ~ b2 ~ b3 ~ b4 ~ b5 ~ b6 => f(b1, b2, b3, b4, b5, b6) }
Apply the result of this rule to the function returned by the next rule
A Rule is a function from some input to a Result. The result may be: