Factor Documentation | Home | Glossary |
factorcode.org
infer-known* ( known -- effect )


Vocabulary
combinators.smart

Definition
IN: combinators.smart

GENERIC: infer-known* ( known -- effect )


Methods
USING: accessors combinators.smart effects kernel
stack-checker.values ;

M: composed infer-known*
[ quot1>> ] [ quot2>> ] bi [ infer-known ] bi@ 2dup and
[ compose-effects ] [ 2drop f ] if ;


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

M: curried infer-known*
quot>> infer-known dup [ curry-effect ] [ drop f ] if ;


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

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


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

M: input-parameter infer-known* drop f ;


USING: combinators.smart kernel ;

M: object infer-known* drop f ;