| symbol | specification | entry |
|---|
| # | array | function,
array('a) → nat |
| # | list-data | function,
list('a) → nat |
| #c | matrix | function,
matrix('a) → nat |
| #clean0rows | ShearSort | function,
matrix(tord) × tord → nat |
| #clean1rows | ShearSort | function,
matrix(tord) × tord → nat |
| #dirtyrows | ShearSort | function,
matrix(tord) × tord → nat |
| #oc | list-perm | function,
'a × list('a) → nat |
| #oc | list-as-arrayinstance | function,
'a × array('a) → nat |
| #r | matrix | function,
matrix('a) → nat |
| % | nat-div | partial function,
nat × nat → nat |
| ' | list | function,
'a → list('a) |
| ' | list-as-arrayinstance | function,
'a → array('a) |
| * | nat-mult | function,
nat × nat → nat |
| + | array-listops | function,
'a × array('a) → array('a) |
| + | list | function,
list('a) × 'a → list('a) |
| + | list | function,
list('a) × list('a) → list('a) |
| + | list-data | function,
'a × list('a) → list('a) |
| + | list-as-arrayinstance | function,
array('a) × 'a → array('a) |
| + | list-as-arrayinstance | function,
array('a) × array('a) → array('a) |
| + | nat-basic | function,
nat × nat → nat |
| ++ | list-dup | function,
list('a) × 'a → list('a) |
| ++ | list-as-arrayinstance | function,
array('a) × 'a → array('a) |
| +1 | nat-basic | function,
nat → nat |
| +2 | list | function,
'a × 'a → list('a) |
| +2 | list-as-arrayinstance | function,
'a × 'a → array('a) |
| - | nat | partial function,
nat × nat → nat |
| -1 | nat-basic | partial function,
nat → nat |
| -1l | list-del | function,
list('a) × 'a → list('a) |
| -1l | list-as-arrayinstance | function,
array('a) × 'a → array('a) |
| -l | list-del | function,
list('a) × 'a → list('a) |
| -l | list-as-arrayinstance | function,
array('a) × 'a → array('a) |
| -p | list-del | function,
list('a) × nat → list('a) |
| -p | list-as-arrayinstance | function,
array('a) × nat → array('a) |
| .butlast | list-last | partial function,
list('a) → list('a) |
| .butlast | list-as-arrayinstance | partial function,
array('a) → array('a) |
| .dirtyrows≤ | ShearSort | predicate,
matrix(tord) × nat |
| .first | array-listops | partial function,
array('a) → 'a |
| .foldLeft | list | function,
list('a) × 'b × 'b × 'a → 'b → 'b |
| .foldLeft | list-as-arrayinstance | function,
array('a) × 'b × 'b × 'a → 'b → 'b |
| .head | list-data | partial function,
list('a) → 'a |
| .last | list-last | partial function,
list('a) → 'a |
| .last | list-as-arrayinstance | partial function,
array('a) → 'a |
| .rest | array-listops | partial function,
array('a) → array('a) |
| .tail | list-data | partial function,
list('a) → list('a) |
| .toArc | rowcol-upd | function,
matrix('a) → array('a) |
| .toArr | rowcol-upd | function,
matrix('a) → array('a) |
| / | nat-div | partial function,
nat × nat → nat |
| /↑ | ShearSort | partial function,
nat × nat → nat |
| 2^ | nat-pot | function,
nat → nat |
| < | array-listops | predicate,
array('a) × array('a) |
| < | list-data | predicate,
list('a) × list('a) |
| < | tord | predicate,
tord × tord |
| < | nat-basic | predicate,
nat × nat |
| > | nat | predicate,
nat × nat |
| AR | BubbleSort | variable,
array(tord),flexible |
| ASC | ShearSort | variable,
bool,flexible |
| C | ShearSort | variable,
nat,flexible |
| C | Bubblesort-col | variable,
nat,flexible |
| M | ShearSort | variable,
nat,flexible |
| MX | ShearSort | variable,
matrix(tord),flexible |
| MX | Bubblesort-col | variable,
matrix(tord),flexible |
| N | ShearSort | variable,
nat,flexible |
| N | Bubblesort-col | variable,
nat,flexible |
| N | BubbleSort | variable,
nat,flexible |
| ORD | ShearSort | variable,
tord × tord → bool,flexible |
| R | ShearSort | variable,
nat,flexible |
| R | Bubblesort-col | variable,
nat,flexible |
| R | BubbleSort | variable,
nat,flexible |
| [] | array-listops | constant,
array('a) |
| [] | list-data | constant,
list('a) |
| \ | list-as-arrayinstance | function,
array('a) × array('a) → array('a) |
| \ | list-set | function,
list('a) × list('a) → list('a) |
| ] | list-getput | partial function,
list('a) × nat × 'a → list('a) |
| ] | list-getput | partial function,
list('a) × nat → 'a |
| ] | array | partial function,
array('a) × nat × 'a → array('a) |
| ] | array | partial function,
array('a) × nat → 'a |
| ] | matrix | partial function,
matrix('a) × nat × nat × 'a → matrix('a) |
| ] | matrix | partial function,
matrix('a) × nat × nat → 'a |
| ]c | rowcol-upd | partial function,
matrix('a) × nat × array('a) → matrix('a) |
| ]c | matrix+array | partial function,
matrix('a) × nat → array('a) |
| ]r | rowcol-upd | partial function,
matrix('a) × nat × array('a) → matrix('a) |
| ]r | matrix+array | partial function,
matrix('a) × nat → array('a) |
| ]rv | matrix-revops | partial function,
matrix('a) × nat × nat × 'a → matrix('a) |
| ]rv | matrix-revops | partial function,
matrix('a) × nat × nat → 'a |
| ^ | nat-pot | function,
nat × nat → nat |
| a | list-getput | variable,
'a |
| a | ShearSort | variable,
array(tord) |
| a | array-listops | variable,
'a |
| a | array | variable,
'a |
| a | list-del | variable,
'a |
| a | olist | variable,
tord |
| a | Bubblesort-col | variable,
tord |
| a | list-perm | variable,
'a |
| a | filter-count | variable,
'a |
| a | list-dup | variable,
'a |
| a | array-copy | variable,
'a |
| a | list | variable,
'a |
| a | olist-min-max | variable,
tord |
| a | tord-min-max | variable,
tord |
| a | matrix | variable,
'a |
| a | list-data | variable,
'a |
| a | oarray-sort | variable,
'a |
| a | list-last | variable,
'a |
| a | rowcol-upd | variable,
array('a) |
| a | matrix-revops | variable,
'a |
| a | olist-sort | variable,
tord |
| a | list-as-arrayinstance | variable,
'a |
| a | tord | variable,
tord |
| a | list-set | variable,
'a |
| a | Bubblesort-row | variable,
'a |
| all< | olist-min-max | predicate,
list(tord) × nat × nat × tord |
| all< | olist-min-max | predicate,
list(tord) × tord |
| all< | oarray-sort | predicate,
array(tord) × nat × nat × tord |
| all< | oarray-sort | predicate,
array(tord) × tord |
| all> | olist-min-max | predicate,
list(tord) × nat × nat × tord |
| all> | olist-min-max | predicate,
list(tord) × tord |
| all> | oarray-sort | predicate,
array(tord) × nat × nat × tord |
| all> | oarray-sort | predicate,
array(tord) × tord |
| all≤ | olist-min-max | predicate,
list(tord) × nat × nat × tord |
| all≤ | olist-min-max | predicate,
list(tord) × tord |
| all≤ | oarray-sort | predicate,
array(tord) × nat × nat × tord |
| all≤ | oarray-sort | predicate,
array(tord) × tord |
| all≥ | olist-min-max | predicate,
list(tord) × nat × nat × tord |
| all≥ | olist-min-max | predicate,
list(tord) × tord |
| all≥ | oarray-sort | predicate,
array(tord) × nat × nat × tord |
| all≥ | oarray-sort | predicate,
array(tord) × tord |
| ar | array-listops | variable,
array('a) |
| ar | array | variable,
array('a) |
| ar | Bubblesort-col | variable,
array(tord) |
| ar | array-copy | variable,
array('a) |
| ar | oarray-sort | variable,
array('a) |
| ar | BubbleSort | variable,
array(tord) |
| ar | list-as-arrayinstance | variable,
array('a) |
| ar | get-outside | variable,
array('a) |
| array | array | sort,
|
| asc | ShearSort | variable,
bool |
| b | list-getput | variable,
'a |
| b | list-del | variable,
'a |
| b | olist | variable,
tord |
| b | list-perm | variable,
'a |
| b | filter-count | variable,
'a |
| b | list-dup | variable,
'a |
| b | list | variable,
'b |
| b | olist-min-max | variable,
tord |
| b | tord-min-max | variable,
tord |
| b | list-last | variable,
'a |
| b | olist-sort | variable,
tord |
| b | tord | variable,
tord |
| b | list-set | variable,
'a |
| bound | ShearSort | variable,
nat |
| bubblesort# | BubbleSort | procedure,
: array(tord) |
| butlastn | list-last | partial function,
nat × list('a) → list('a) |
| butlastn | list-as-arrayinstance | partial function,
nat × array('a) → array('a) |
| c | list-getput | variable,
'a |
| c | ShearSort | variable,
nat |
| c | olist | variable,
tord |
| c | list-perm | variable,
'a |
| c | list-dup | variable,
'a |
| c | matrix | variable,
nat |
| c | list-last | variable,
'a |
| c | rowcol-upd | variable,
nat |
| c | matrix-revops | variable,
nat |
| c | olist-sort | variable,
tord |
| c | matrix+array | variable,
nat |
| c | tord | variable,
tord |
| c | list-set | variable,
'a |
| c | Bubblesort-row | variable,
nat |
| cmp | array-copy | partial predicate,
array('a) × 'a × nat × nat |
| cmp | array-copy | partial predicate,
array('a) × nat × array('a) × nat × nat |
| cmp | array-copy | predicate,
array('a) × 'a |
| colsorted | ShearSort | predicate,
matrix(tord) × nat × matrix(tord) |
| copy | array-copy | partial function,
array('a) × nat × array('a) × nat × nat → array('a) |
| count | filter-count | partial function,
list('a) × nat × nat × 'a → bool → nat |
| count | filter-count | function,
list('a) × 'a → bool → nat |
| count | oarray-sort | partial function,
array('a) × nat × nat × 'a → bool → nat |
| count | oarray-sort | function,
array('a) × 'a → bool → nat |
| countevn | ShearSort | partial function,
array(tord) × nat × nat × tord → bool → nat |
| countevn | ShearSort | function,
array(tord) × tord → bool → nat |
| countodd | ShearSort | partial function,
array(tord) × nat × nat × tord → bool → nat |
| countodd | ShearSort | function,
array(tord) × tord → bool → nat |
| disj | list-dup | predicate,
list('a) × list('a) |
| disj | list-as-arrayinstance | predicate,
array('a) × array('a) |
| dups | list-dup | predicate,
list('a) |
| dups | list-as-arrayinstance | predicate,
array('a) |
| even | nat-even | predicate,
nat |
| f | list | variable,
'a → 'b |
| fill | array-copy | partial function,
array('a) × 'a × nat × nat → array('a) |
| fill | array-copy | function,
array('a) × 'a → array('a) |
| fillfirst | list-last | function,
nat × 'a × list('a) → list('a) |
| fillfirst | list-as-arrayinstance | function,
nat × 'a × array('a) → array('a) |
| filter | filter-count | function,
list('a) × 'a → bool → list('a) |
| filter | oarray-sort | function,
array('a) × 'a → bool → array('a) |
| filter | list-as-arrayinstance | function,
array('a) × array('a) → array('a) |
| filter | list-set | function,
list('a) × list('a) → list('a) |
| firstn | list-del | partial function,
nat × list('a) → list('a) |
| firstn | list-as-arrayinstance | partial function,
nat × array('a) → array('a) |
| frome | list-del | function,
list('a) × 'a → list('a) |
| frome | list-as-arrayinstance | function,
array('a) × 'a → array('a) |
| head | list-data | variable,
'a |
| i | ShearSort | variable,
tord |
| i | rowcol-upd | variable,
'a |
| idrange | array-copy | partial predicate,
array('a) × nat × nat |
| id○ | array-copy | predicate,
array('a) × array('a) × nat × nat |
| id○ | array-copy | predicate,
array('a) × array('a) × nat |
| ins≤ | olist | function,
tord × list(tord) → list(tord) |
| ins≤ | oarray-sort | function,
tord × array(tord) → array(tord) |
| ins≥ | Bubblesort-row-rev | function,
tord × array(tord) → array(tord) |
| j | ShearSort | variable,
tord |
| j | rowcol-upd | variable,
'a |
| lastn | list-del | partial function,
nat × list('a) → list('a) |
| lastn | list-as-arrayinstance | partial function,
nat × array('a) → array('a) |
| list | list-data | sort,
|
| log | nat-pot | partial function,
nat × nat → nat |
| log2 | nat-pot | partial function,
nat → nat |
| log2↑ | ShearSort | function,
nat → nat |
| m | list-getput | variable,
nat |
| m | ShearSort | variable,
nat |
| m | nat-div | variable,
nat |
| m | array | variable,
nat |
| m | nat-mult | variable,
nat |
| m | list-perm | variable,
nat |
| m | filter-count | variable,
nat |
| m | array-copy | variable,
nat |
| m | olist-min-max | variable,
nat |
| m | rowcol-upd | variable,
nat |
| m | nat-pot | variable,
nat |
| m | nat-even | variable,
nat |
| m | list-set | variable,
nat |
| map | list | function,
list('a) × 'a → 'b → list('b) |
| map | list-as-arrayinstance | function,
array('a) × 'a → 'b → array('b) |
| matrix | matrix | sort,
|
| max | olist-min-max | partial function,
list(tord) → tord |
| max | tord-min-max | function,
tord × tord → tord |
| max | oarray-sort | partial function,
array(tord) → tord |
| max | nat-even | function,
nat × nat → nat |
| merge | olist | function,
list(tord) × list(tord) → list(tord) |
| merge | oarray-sort | function,
array(tord) × array(tord) → array(tord) |
| mergerev | Bubblesort-row-rev | function,
array(tord) × array(tord) → array(tord) |
| min | olist-min-max | partial function,
list(tord) → tord |
| min | tord-min-max | function,
tord × tord → tord |
| min | oarray-sort | partial function,
array(tord) → tord |
| min | nat-even | function,
nat × nat → nat |
| mkarray | array | function,
nat → array('a) |
| mklist | list-last | function,
'a × nat → list('a) |
| mklist | list-as-arrayinstance | function,
'a × nat → array('a) |
| mkmatrix | matrix | function,
nat × nat × 'a → matrix('a) |
| mx | ShearSort | variable,
matrix(tord) |
| mx | Bubblesort-col | variable,
matrix(tord) |
| mx | matrix | variable,
matrix('a) |
| mx | rowcol-upd | variable,
matrix('a) |
| mx | matrix-revops | variable,
matrix('a) |
| mx | matrix+array | variable,
matrix('a) |
| mx | Bubblesort-row | variable,
matrix('a) |
| n | list-getput | variable,
nat |
| n | ShearSort | variable,
nat |
| n | nat-div | variable,
nat |
| n | array-listops | variable,
nat |
| n | array | variable,
nat |
| n | list-del | variable,
nat |
| n | Bubblesort-col | variable,
nat |
| n | nat-mult | variable,
nat |
| n | list-perm | variable,
nat |
| n | filter-count | variable,
nat |
| n | array-copy | variable,
nat |
| n | olist-min-max | variable,
nat |
| n | list-data | variable,
nat |
| n | oarray-sort | variable,
nat |
| n | list-last | variable,
nat |
| n | rowcol-upd | variable,
nat |
| n | nat-pot | variable,
nat |
| n | BubbleSort | variable,
nat |
| n | list-as-arrayinstance | variable,
nat |
| n | get-outside | variable,
nat |
| n | nat-even | variable,
nat |
| n | list-set | variable,
nat |
| nat | nat-basic | sort,
|
| odd | nat-even | predicate,
nat |
| ordered< | olist | predicate,
list(tord) |
| ordered< | oarray-sort | predicate,
array(tord) |
| ordered> | Bubblesort-row-rev | predicate,
array(tord) |
| ordered≤ | olist | predicate,
list(tord) |
| ordered≤ | oarray-sort | predicate,
array(tord) |
| ordered≥ | Bubblesort-row-rev | predicate,
array(tord) |
| p | ShearSort | variable,
tord → bool |
| p | filter-count | variable,
'a → bool |
| perm | list-perm | predicate,
list('a) × list('a) |
| perm | list-as-arrayinstance | predicate,
array('a) × array('a) |
| pos | list-del | function,
'a × list('a) → nat |
| pos | list-as-arrayinstance | function,
'a × array('a) → nat |
| pshearsort# | ShearSort | procedure,
: matrix(tord) |
| psortcol# | Bubblesort-col | procedure,
nat : matrix(tord) |
| psortcols# | ShearSort | procedure,
: matrix(tord) |
| psortrow# | Bubblesort-row | procedure,
nat : matrix(tord) |
| psortrowrev# | Bubblesort-row-rev | procedure,
nat : matrix(tord) |
| psortrows# | ShearSort | procedure,
: matrix(tord) |
| psortrowsnake# | ShearSort | procedure,
nat × bool : matrix(tord) |
| psortrowssnake# | ShearSort | procedure,
: matrix(tord) |
| r | ShearSort | variable,
nat |
| r | matrix | variable,
nat |
| r | rowcol-upd | variable,
nat |
| r | BubbleSort | variable,
nat |
| r | matrix-revops | variable,
nat |
| r | matrix+array | variable,
nat |
| r | Bubblesort-row | variable,
nat |
| restn | list-del | partial function,
nat × list('a) → list('a) |
| restn | list-as-arrayinstance | partial function,
nat × array('a) → array('a) |
| rev | list-last | function,
list('a) → list('a) |
| rev | list-as-arrayinstance | function,
array('a) → array('a) |
| rmdup | list-dup | function,
list('a) → list('a) |
| rmdup | list-as-arrayinstance | function,
array('a) → array('a) |
| rowsincreasing | ShearSort | predicate,
matrix(tord) × nat |
| sort | oarray-sort | function,
array(tord) → array(tord) |
| sort | olist-sort | function,
list(tord) → list(tord) |
| sortrev | Bubblesort-row-rev | function,
array(tord) → array(tord) |
| srowsorted | ShearSort | predicate,
matrix(tord) × nat × matrix(tord) |
| subarray | array-copy | partial function,
array('a) × nat × nat → array('a) |
| sublist | list-del | partial function,
nat × nat × list('a) → list('a) |
| sublist | list-as-arrayinstance | partial function,
nat × nat × array('a) → array('a) |
| tail | list-data | variable,
list('a) |
| toArc | rowcol-upd | function,
matrix('a) × nat → array('a) |
| toArr | rowcol-upd | function,
matrix('a) × nat → array('a) |
| tord | tord | sort,
|
| x | list-getput | variable,
list('a) |
| x | list-del | variable,
list('a) |
| x | olist | variable,
list(tord) |
| x | list-perm | variable,
list('a) |
| x | filter-count | variable,
list('a) |
| x | list-dup | variable,
list('a) |
| x | list | variable,
list('a) |
| x | olist-min-max | variable,
list(tord) |
| x | list-data | variable,
list('a) |
| x | list-last | variable,
list('a) |
| x | olist-sort | variable,
list(tord) |
| x | list-set | variable,
list('a) |
| y | list-getput | variable,
list('a) |
| y | list-del | variable,
list('a) |
| y | olist | variable,
list(tord) |
| y | list-perm | variable,
list('a) |
| y | filter-count | variable,
list('a) |
| y | list-dup | variable,
list('a) |
| y | list | variable,
list('a) |
| y | olist-min-max | variable,
list('a) |
| y | list-data | variable,
list('a) |
| y | list-last | variable,
list('a) |
| y | olist-sort | variable,
list(tord) |
| y | list-set | variable,
list('a) |
| z | list-getput | variable,
list('a) |
| z | list-del | variable,
list('a) |
| z | olist | variable,
list(tord) |
| z | list-perm | variable,
list('a) |
| z | list-dup | variable,
list('a) |
| z | list | variable,
list('a) |
| z | list-data | variable,
list('a) |
| z | list-last | variable,
list('a) |
| z | olist-sort | variable,
list(tord) |
| z | list-set | variable,
list('a) |
| ∈ | list | predicate,
'a × list('a) |
| ∈ | list-as-arrayinstance | predicate,
'a × array('a) |
| ∪ | list-as-arrayinstance | function,
array('a) × array('a) → array('a) |
| ∪ | list-set | function,
list('a) × list('a) → list('a) |
| ≤ | nat | predicate,
nat × nat |
| ≥ | nat | predicate,
nat × nat |
| ⊆ | list-as-arrayinstance | predicate,
array('a) × array('a) |
| ⊆ | list-set | predicate,
list('a) × list('a) |
| ⊆m | list-perm | predicate,
list('a) × list('a) |
| ⊆m | list-as-arrayinstance | predicate,
array('a) × array('a) |
| ⊑ | list-last | predicate,
list('a) × list('a) |
| ⊑ | list-as-arrayinstance | predicate,
array('a) × array('a) |
| ⊒ | list-last | predicate,
list('a) × list('a) |
| ⊒ | list-as-arrayinstance | predicate,
array('a) × array('a) |