Vocabulary

kernel

Inputs and outputs

Word description

Applies p to the two input values, then applies q to the two input values.

Examples

If [ p ] and [ q ] have stack effect ( x y -- ), then the following two lines are equivalent:

If [ p ] and [ q ] have stack effect ( x y -- z ), then the following two lines are equivalent:

In general, the following two lines are equivalent:

Definition

kernel

Inputs and outputs

x | an object |

y | an object |

p | a quotation with stack effect ( x y -- ... ) |

q | a quotation with stack effect ( x y -- ... ) |

Word description

Applies p to the two input values, then applies q to the two input values.

Examples

If [ p ] and [ q ] have stack effect ( x y -- ), then the following two lines are equivalent:

[ p ] [ q ] 2bi
2dup p q

If [ p ] and [ q ] have stack effect ( x y -- z ), then the following two lines are equivalent:

[ p ] [ q ] 2bi
2dup p -rot q

In general, the following two lines are equivalent:

[ p ] [ q ] 2bi
[ p ] 2keep q

Definition