combinator-branches-effects ( branches -- quots declareds actuals )


Vocabulary
stack-checker.row-polymorphism

Inputs
branchesan object


Outputs
quotsan object
declaredsan object
actualsan object


Definition
USING: accessors kernel sequences stack-checker.values ;

IN: stack-checker.row-polymorphism

: combinator-branches-effects
( branches -- quots declareds actuals )
[ [ known>callable ] { } map-as ]
[ [ effect>> ] { } map-as ] [ [ actual>> ] { } map-as ] tri
;