diff --git a/docs/build_index.py b/docs/build_index.py index 16f5e2c..01472ee 100644 --- a/docs/build_index.py +++ b/docs/build_index.py @@ -19,8 +19,8 @@ print(f'''\ {title_of(html)} - - + + diff --git a/docs/html/FuncRef.html b/docs/html/FuncRef.html index c21e7a3..045a205 100644 --- a/docs/html/FuncRef.html +++ b/docs/html/FuncRef.html @@ -130,7 +130,7 @@ terms of [choice] as above). The more common "if..then..else" construct --------------------- b

Definition

[pop] [popd] branch

Discussion

It's a matter of taste whether you implement this in terms of [branch] or -the other way around.

See Also

branch select

clear

built-in

Clear everything from the stack.

Definition

[] swaack pop

See Also

stack swaack

Used By

enstacken

cleave

combinator

Run two programs in parallel, consuming one additional item, and put their +the other way around.

See Also

branch select

clear

built-in

Clear everything from the stack.

Definition

enstacken pop

See Also

stack swaack

cleave

combinator

Run two programs in parallel, consuming one additional item, and put their results on the stack.

   ... x [A] [B] cleave
 ------------------------
@@ -206,7 +206,7 @@ expressions, e.g.:
 ------------------
      [a ...]

Discussion

Cons is a venerable old function from Lisp. -Its inverse operation is [uncons].

See Also

uncons

Used By

app2 ccons codi dipdd dipddd grabN map nulco pow quote-two reco swons unit zip

dinfrirst

combinator

Specialist function (that means I forgot what it does and why.)

Definition

dip infrst

Used By

nullary

dip

combinator built-in

The dip combinator expects a quoted program on the stack and below it +Its inverse operation is [uncons].

See Also

uncons

Used By

app2 ccons codi dipdd dipddd grabN map nulco pow quote-two reco stack swons unit zip

dinfrirst

combinator

Specialist function (that means I forgot what it does and why.)

Definition

dip infrst

Used By

nullary

dip

combinator built-in

The dip combinator expects a quoted program on the stack and below it some item, it hoists the item into the expression and runs the program on the rest of the stack. 

   ... x [Q] . dip
@@ -224,7 +224,7 @@ Continuation-Passing Style.  The dip combinator could "set aside" t
 item and replace it after running Q but that means that there is an
 "extra space" where the item resides while Q runs.  One of the nice
 things about CPS is that the whole state is recorded in the stack and
-pending expression (not counting modifications to the dictionary.)

See Also

dipd dipdd dupdip dupdipd infra

Used By

anamorphism and app2 b codi dinfrirst dipd dipdd dupd dupdip enstacken grba ii infra map on-non-empty-list or over popd popopd quoted shift spiral_next stackd swapd unquoted unstack

dipd

combinator

Like [dip] but expects two items.

+pending expression (not counting modifications to the dictionary.)

See Also

dipd dipdd dupdip dupdipd infra

Used By

anamorphism and app2 b codi dinfrirst dipd dipdd dupd dupdip grba ii infra map on-non-empty-list or over popd popopd quoted shift spiral_next stackd swapd unquoted unstack

dipd

combinator

Like [dip] but expects two items.

   ... y x [Q] . dipd
 -------------------------
            ... . Q y x
@@ -264,7 +264,7 @@ items removed off the top.

 
   a dup
 -----------
     a a
-

See Also

dupd dupdd dupdip dupdipd

Used By

? abs down_to_zero dupd dupdd dupdipd empty? gcd over range sqr tuck x

dupd

[dup] the second item down on the stack.

+

See Also

dupd dupdd dupdip dupdipd

Used By

? abs down_to_zero dupd dupdd dupdipd empty? gcd over range sqr stack tuck x

dupd

[dup] the second item down on the stack.

   a b dupd
 --------------
     a a b
@@ -293,8 +293,8 @@ It doesn't consume the list.

Defini 
   ... a b c enstacken
 -------------------------
        [c b a ...]
-

Definition

stack [clear] dip

Discussion

This is a destructive version of [stack]. See the note under -[disenstacken] about the apparent but illusory reversal of the stack.

See Also

stack disenstacken unstack

eq

built-in

Compare the two items on the top of the stack for equality and replace +

Definition

[] swaack

Discussion

This is a destructive version of [stack]. See the note under +[disenstacken] about the apparent but illusory reversal of the stack.

See Also

stack disenstacken unstack

Used By

clear stack unstack

eq

built-in

Compare the two items on the top of the stack for equality and replace them with a Boolean value.

   a b eq
 -------------
@@ -610,7 +610,7 @@ the underlying [map] function is so implemented, of course.)

Definition

[+] [-] clop

pop

built-in

Pop the top item from the stack and discard it.

   a pop
 -----------
-

See Also

popd popdd popop popopd popopdd popopop

Used By

/\ \/ anamorphism choice clear disenstacken first gcd max-of-two min-of-two popd popdd popop popopop size small spiral_next take unstack zip

popd

[pop] the second item down on the stack.

+

See Also

popd popdd popop popopd popopdd popopop

Used By

/\ \/ anamorphism choice clear disenstacken first gcd max-of-two min-of-two popd popdd popop popopop size small spiral_next stack take unstack zip

popd

[pop] the second item down on the stack.

   a b popd
 --------------
       b
@@ -786,8 +786,8 @@ list.

 
      ... c b a stack
 ---------------------------
    ... c b a [a b c ...]
-

Discussion

This function forms a pair with [unstack], and together they form the -complement to the "destructive" pair [enstacken] and [disenstacken].

See Also

enstacken disenstacken stackd unstack

Used By

enstacken grba nullary stackd stuncons

stackd

Grab the stack under the top item and put it onto the stack.

+

Definition

enstacken dup cons swaack pop

Discussion

This function forms a pair with [unstack], and together they form the +complement to the "destructive" pair [enstacken] and [disenstacken].

See Also

enstacken disenstacken stackd unstack

Used By

grba nullary stackd stuncons

stackd

Grab the stack under the top item and put it onto the stack.

Example

   ... 1 2 3 stackd
 ------------------------
@@ -832,7 +832,7 @@ with the list, and put the old stack onto it.

 --------------------------
    6 5 4 [3 2 1]

Discussion

This function works as a kind of "context switch". It's used in the -definition of [infra].

See Also

infra

Used By

clear disenstacken infra unstack

swap

built-in

Swap the top two items on the stack.

+definition of [infra].

See Also

infra

Used By

disenstacken enstacken infra stack unstack

swap

built-in

Swap the top two items on the stack.

   a b swap
 --------------
      b a
@@ -930,7 +930,7 @@ the list.  You cannot uncons an item from an empty list.

 joy? unstack
 
 1 2 3 6 5 4
-

Definition

[[] swaack] dip swoncat swaack pop

See Also

stack disenstacken enstacken

unswons 

   [a ...] unswons
+

Definition

[enstacken] dip swoncat swaack pop

See Also

stack disenstacken enstacken

unswons 

   [a ...] unswons
 ---------------------
        [...] a

Definition

uncons swap

warranty

Print warranty information.

while

combinator

A specialization of [loop] that accepts a quoted predicate program P diff --git a/docs/html/Thun.html b/docs/html/Thun.html index 471943c..e3ff640 100644 --- a/docs/html/Thun.html +++ b/docs/html/Thun.html @@ -3,8 +3,8 @@ Thun Specification - - + + diff --git a/docs/html/index.html b/docs/html/index.html index f3277fd..3a24caf 100644 --- a/docs/html/index.html +++ b/docs/html/index.html @@ -3,8 +3,8 @@ Thun - - + + diff --git a/docs/html/notebooks/BigInts.html b/docs/html/notebooks/BigInts.html index ff1cc3b..201b547 100644 --- a/docs/html/notebooks/BigInts.html +++ b/docs/html/notebooks/BigInts.html @@ -3,8 +3,8 @@ BigNums in Joy - - + + diff --git a/docs/html/notebooks/DeriveZip.html b/docs/html/notebooks/DeriveZip.html index 69e7506..75d00dd 100644 --- a/docs/html/notebooks/DeriveZip.html +++ b/docs/html/notebooks/DeriveZip.html @@ -3,8 +3,8 @@ Zip - - + + diff --git a/docs/html/notebooks/Generator_Programs.html b/docs/html/notebooks/Generator_Programs.html index 3512faf..d7a30d6 100644 --- a/docs/html/notebooks/Generator_Programs.html +++ b/docs/html/notebooks/Generator_Programs.html @@ -3,8 +3,8 @@ Generator Programs - - + + diff --git a/docs/html/notebooks/NerdSnipe.html b/docs/html/notebooks/NerdSnipe.html index 3e0768d..cbddcf3 100644 --- a/docs/html/notebooks/NerdSnipe.html +++ b/docs/html/notebooks/NerdSnipe.html @@ -3,8 +3,8 @@ Nerd Sniped - - + +