Documentation
Propagation for straight-line code

Words

Tuple classes
ClassSuperclassSlots
invalid-outputs tuple#call infos


Ordinary words
WordStack effect
(fold-call)( #call word -- info )
call-outputs-quot( #call word -- infos )
check-outputs( #call infos -- infos )
compute-constraints( #call word -- )
custom-constraints( #call quot -- )
default-output-value-infos( #call word -- infos )
fold-call( #call word -- )
foldable-call?( #call word -- ? )
input-classes-match?( #call word -- ? )
invalid-outputs( #call infos -- * )
literal-inputs?( #call -- ? )
output-value-infos( #call word -- infos )
predicate-constraints( value class boolean-value -- constraint )
predicate-output-infos( info class -- info )
predicate-output-infos/class( info class -- info )
predicate-output-infos/literal( info class -- info )
propagate-alien-invoke( node -- )
propagate-input-infos( node infos/f -- )
propagate-predicate( #call word -- infos )
refine-value-infos( classes/f values -- )
set-value-infos( infos values -- )


Class predicate words
WordStack effect
invalid-outputs?( object -- ? )


Files


Metadata files