bi ( x p q -- ) (original) (raw)
Vocabulary
kernel
Inputs
x | an object |
---|---|
p | a quotation with stack effect ( ..a x -- ..b ) |
q | a quotation with stack effect ( ..c x -- ..d ) |
Outputs
None
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
Definition