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: accessors combinators.smart effects kernel
stack-checker.values ;

M: composed-effect 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-effect 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 ;