effects vocabulary
Factor handbook » Vocabulary index

Documentation
Stack effect declarations

Metadata

Tags:	reflection
Authors:	Slava Pestov

Words

Tuple classes

Class	Superclass	Slots
bad-stack-effect	tuple	word got expected
effect	tuple	in out terminated? in-var out-var

Generic words

Word	Stack effect
effect>string	( obj -- str )
effect>type	( obj -- type )
stack-effect	( word -- effect/f )

Ordinary words

Word	Stack effect
<effect>	( in out -- effect )
<terminated-effect>	( in out terminated? -- effect )
<variable-effect>	( in-var in out-var out -- effect )
?terminated	( out -- out terminated? )
add-effect-input	( effect -- effect' )
bad-stack-effect	( word got expected -- * )
bivariable-effect?	( effect -- ? )
check-stack-effect	( word effect -- )
compose-effects	( effect1 effect2 -- effect' )
curry-effect	( effect -- effect' )
effect-height	( effect -- n )
effect-in-types	( effect -- input-types )
effect-out-types	( effect -- input-types )
effect<=	( effect1 effect2 -- ? )
effect=	( effect1 effect2 -- ? )
shuffle	( stack shuffle -- newstack )
shuffle-mapping	( effect -- mapping )
stack-height	( word -- n )
variable-effect?	( effect -- ? )

Class predicate words

Word	Stack effect
bad-stack-effect?	( object -- ? )
effect?	( object -- ? )

Files

resource:core/effects/effects.factor
resource:core/effects/effects-docs.factor
resource:core/effects/effects-tests.factor

Metadata files

resource:core/effects/authors.txt
resource:core/effects/summary.txt
resource:core/effects/tags.txt

Children from resource:core

Vocabulary	Summary
effects.parser	Parsing stack effect declarations