Vocabulary
kernel

Inputs
xan object
pa quotation with stack effect ( ..a x -- ..b )
qa 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


See also
tri, cleave

Definition

: bi ( x p q -- ) [ keep ] dip call ; inline