Summary
Data and control flow, basic object protocol
Meta-data
Words
Builtin classes
Tuple classes
Union classes
Intersection classes
Generic words
Primitives
Ordinary words
Class predicate words
Files
Children
Data and control flow, basic object protocol
Meta-data
| Authors: | Slava Pestov |
Words
Builtin classes
 callstack |
 tuple |
| wrapper |
Tuple classes
| Class | Superclass | Slots |
 assert | tuple | got expect |
| compose | tuple | first second |
| curry | tuple | obj quot |
| identity-tuple | tuple |
Union classes
| boolean |
| null |
Intersection classes
| object |
Generic words
| Word | Stack effect |
 ?execute | ( word -- value ) |
| boa | ( slots... class -- tuple ) |
| call | ( callable -- ) |
| clone | ( obj -- cloned ) |
| equal? | ( obj1 obj2 -- ? ) |
| execute | ( word -- ) |
| hashcode* | ( depth obj -- code ) |
| new | ( class -- tuple ) |
| throw | ( error -- * ) |
Primitives
| Word | Stack effect |
| (clone) | ( obj -- newobj ) |
| -rot | ( x y z -- z x y ) |
| 2drop | ( x y -- ) |
| 2dup | ( x y -- x y x y ) |
| 2nip | ( x y z -- z ) |
| 3drop | ( x y z -- ) |
| 3dup | ( x y z -- x y z x y z ) |
| 4drop | ( w x y z -- ) |
| 4dup | ( w x y z -- w x y z w x y z ) |
| <wrapper> | ( obj -- wrapper ) |
| callstack | ( -- callstack ) |
| callstack>array | ( callstack -- array ) |
| datastack | ( -- array ) |
| die | ( -- ) |
| drop | ( x -- ) |
| dup | ( x -- x x ) |
| dupd | ( x y -- x x y ) |
| eq? | ( obj1 obj2 -- ? ) |
| nip | ( x y -- y ) |
| over | ( x y -- x y x ) |
| pick | ( x y z -- x y z x ) |
| retainstack | ( -- array ) |
| rot | ( x y z -- y z x ) |
| swap | ( x y -- y x ) |
| swapd | ( x y z -- y x z ) |
Ordinary words
| Word | Stack effect |
| 2bi | ( x y p q -- ) |
| 2bi* | ( w x y z p q -- ) |
| 2bi@ | ( w x y z quot -- ) |
| 2curry | ( obj1 obj2 quot -- curry ) |
| 2dip | ( x y quot -- x y ) |
| 2keep | ( ..a x y quot: ( ..a x y -- ..b ) -- ..b x y ) |
| 2over | ( x y z -- x y z x y ) |
| 2tri | ( x y p q r -- ) |
| 2tri* | ( u v w x y z p q r -- ) |
| 2tri@ | ( u v w x y z quot -- ) |
| 3bi | ( x y z p q -- ) |
| 3curry | ( obj1 obj2 obj3 quot -- curry ) |
| 3dip | ( x y z quot -- x y z ) |
| 3keep | ( ..a x y z quot: ( ..a x y z -- ..b ) -- ..b x y z ) |
| 3tri | ( x y z p q r -- ) |
| 4dip | ( w x y z quot -- w x y z ) |
| 4keep | ( ..a w x y z quot: ( ..a w x y z -- ..b ) -- ..b w x y z ) |
| = | ( obj1 obj2 -- ? ) |
| >boolean | ( obj -- ? ) |
| ? | ( ? true false -- true/false ) |
| ?if | ( ..a default cond true: ( ..a cond -- ..b ) false: ( ..a default -- ..b ) -- ..b ) |
| and | ( obj1 obj2 -- ? ) |
| assert | ( got expect -- * ) |
| assert= | ( a b -- ) |
| bi | ( x p q -- ) |
| bi* | ( x y p q -- ) |
| bi-curry | ( x p q -- p' q' ) |
| bi-curry* | ( x y p q -- p' q' ) |
| bi-curry@ | ( x y q -- p' q' ) |
| bi@ | ( x y quot -- ) |
| both? | ( x y quot -- ? ) |
| build | ( -- n ) |
| clear | ( -- ) |
| compose | ( quot1 quot2 -- compose ) |
| curry | ( obj quot -- curry ) |
| dip | ( x quot -- x ) |
| do | ( pred body -- pred body ) |
| either? | ( x y quot -- ? ) |
| hashcode | ( obj -- code ) |
| identity-hashcode | ( obj -- code ) |
| if | ( ..a ? true: ( ..a -- ..b ) false: ( ..a -- ..b ) -- ..b ) |
| if* | ( ..a ? true: ( ..a ? -- ..b ) false: ( ..a -- ..b ) -- ..b ) |
| keep | ( ..a x quot: ( ..a x -- ..b ) -- ..b x ) |
| loop | ( ... pred: ( ... -- ... ? ) -- ... ) |
| most | ( x y quot -- z ) |
| not | ( obj -- ? ) |
| or | ( obj1 obj2 -- ? ) |
| prepose | ( quot1 quot2 -- compose ) |
| same? | ( x y quot -- ? ) |
| tri | ( x p q r -- ) |
| tri* | ( x y z p q r -- ) |
| tri-curry | ( x p q r -- p' q' r' ) |
| tri-curry* | ( x y z p q r -- p' q' r' ) |
| tri-curry@ | ( x y z q -- p' q' r' ) |
| tri@ | ( x y z quot -- ) |
| unless | ( ..a ? false: ( ..a -- ..a ) -- ..a ) |
| unless* | ( ..a ? false: ( ..a -- ..a x ) -- ..a x ) |
| until | ( ..a pred: ( ..a -- ..b ? ) body: ( ..b -- ..a ) -- ..b ) |
| when | ( ..a ? true: ( ..a -- ..a ) -- ..a ) |
| when* | ( ..a ? true: ( ..a ? -- ..a ) -- ..a ) |
| while | ( ..a pred: ( ..a -- ..b ? ) body: ( ..b -- ..a ) -- ..b ) |
| with | ( param obj quot -- obj curry ) |
| xor | ( obj1 obj2 -- ? ) |
Class predicate words
| Word | Stack effect |
| assert? | ( object -- ? ) |
| boolean? | ( object -- ? ) |
| callstack? | ( object -- ? ) |
| compose? | ( object -- ? ) |
| curry? | ( object -- ? ) |
| identity-tuple? | ( object -- ? ) |
| tuple? | ( object -- ? ) |
| wrapper? | ( object -- ? ) |
Files
Children
| Vocabulary | Summary |
 kernel.private | kernel.private vocabulary |