Vocabulary

kernel

Inputs and outputs

Word description

Applies p to x, then applies q to x.

Examples

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

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

In general, the following two lines are equivalent:

See also

tri, cleave

Definition

kernel

Inputs and outputs

x | an object |

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

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

Word description

Applies p to x, then applies q to x.

Examples

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

[ p ] [ q ] bi
dup p q

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

[ p ] [ q ] bi
dup p swap q

In general, the following two lines are equivalent:

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

See also

tri, cleave

Definition