stack-checker.values vocabulary
Factor handbook » Vocabulary index

Documentation
Abstract stack checker values

Words

Tuple classes

Class	Superclass	Slots
composed-effect	tuple	quot1 quot2
curried-effect	tuple	obj quot
declared-effect	tuple	known word effect variables branches actual
literal-tuple	identity-tuple	value recursion

Singleton classes

input-parameter

Generic words

Word	Stack effect
(input-value?)	( value -- ? )
(literal)	( known -- literal )
(literal-value?)	( value -- ? )
known>callable	( known -- quot )

Symbol words

current-word

known-values

Ordinary words

Word	Stack 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

Word	Stack effect
composed-effect?	( object -- ? )
curried-effect?	( object -- ? )
declared-effect?	( object -- ? )
input-parameter?	( object -- ? )
literal-tuple?	( object -- ? )

Files

resource:basis/stack-checker/values/values.factor
resource:basis/stack-checker/values/values-docs.factor
resource:basis/stack-checker/values/values-tests.factor

Metadata files

resource:basis/stack-checker/values/summary.txt