283
edits
Pipe-calculus: Difference between revisions
→The pipe combinator
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 128: | Line 128: | ||
Any other combination of operands leads to failure of the current fork. | Any other combination of operands leads to failure of the current fork. | ||
<math> | <math>a^+ . s \rhd b^- . t = \mathsf{fail}</math> | ||
If any of the arguments is a choice, each fork of the left side is paired with each fork of the right side. | If any of the arguments is a choice, each fork of the left side is paired with each fork of the right side. | ||
<math>r \mid s \rhd t \mid u = (r \rhd t) \mid (r \rhd u) \mid (s \rhd t) \mid (s \rhd u)</math> | <math>r \mid s \rhd t \mid u = (r \rhd t) \mid (r \rhd u) \mid (s \rhd t) \mid (s \rhd u)</math> | ||
==== Pipe and Unix pipelines ==== | ==== Pipe and Unix pipelines ==== | ||