stack-checker.values vocabulary
Factor handbook > Vocabulary index


Documentation
Abstract stack checker values

Words

Tuple classes
ClassSuperclassSlots
composed-effect tuplequot1 quot2
curried-effect tupleobj quot
declared-effect tupleknown word effect variables branches actual
literal-tuple identity-tuplevalue recursion


Singleton classes
input-parameter


Generic words
WordStack effect
(input-value?)( value -- ? )
(literal)( known -- literal )
(literal-value?)( value -- ? )
known>callable( known -- quot )


Symbol words
current-word
known-values


Ordinary words
WordStack effect
(declared-effect)( known word effect variables branches actual -- declared-effect )
<composed-effect>( quot1 quot2 -- composed-effect )
<curried-effect>( obj quot -- curried-effect )
<declared-effect>( known word effect variables branches -- declared-effect )
<literal>( obj -- value )
<value>( -- value )
>composed-effect<( composed-effect -- quot1 quot2 )
>curried-effect<( curried-effect -- obj quot )
?@( x -- y )
copy-value( value -- value' )
copy-values( values -- values' )
curried/composed-literal( input1 input2 quot -- literal )
input-value?( value -- ? )
known( value -- known )
literal( value -- literal )
literal-value?( value -- ? )
make-known( known -- value )
set-known( known value -- )


Class predicate words
WordStack effect
composed-effect?( object -- ? )
curried-effect?( object -- ? )
declared-effect?( object -- ? )
input-parameter?( object -- ? )
literal-tuple?( object -- ? )


Files