infer-known* ( known -- effect )

Vocabulary

combinators.smart

Inputs

known

an object

Outputs

effect

an object

Definition

IN: combinators.smart

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

Methods

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

M: composed-effect infer-known* infer-known-call ;


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

M: curried-effect infer-known* infer-known-call ;


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 ;