declared-effect

Vocabulary

stack-checker.values

Definition

IN: stack-checker.values

TUPLE: declared-effect
    known word effect variables branches actual ;

Methods

USING: accessors stack-checker.values ;

M: declared-effect (input-value?) known>> (input-value?) ;


USING: accessors stack-checker.values ;

M: declared-effect (literal) known>> (literal) ;


USING: accessors stack-checker.values ;

M: declared-effect (literal-value?) known>> (literal-value?) ;


USING: accessors stack-checker.inlining stack-checker.values ;

M: declared-effect (undeclared-known)
    known>> (undeclared-known) ;


USING: accessors stack-checker.branches stack-checker.values ;

M: declared-effect curried/composed? known>> curried/composed? ;


USING: accessors stack-checker.branches stack-checker.values ;

M: declared-effect infer-branch known>> infer-branch ;


USING: accessors kernel stack-checker.known-words
stack-checker.row-polymorphism stack-checker.values ;

M: declared-effect infer-call*
    [ [ known>> infer-call* ] keep ] with-effect-here
    check-declared-effect ;


USING: accessors combinators.smart stack-checker.values ;

M: declared-effect infer-known* known>> infer-known* ;


USING: accessors stack-checker.values ;

M: declared-effect known>callable known>> known>callable ;