Handbook
Glossary
combinator-branches-effects ( branches -- quots declareds actuals )
Vocabulary
stack-checker.row-polymorphism
Inputs
branches
an
object
Outputs
quots
an
object
declareds
an
object
actuals
an
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
;