curried-effect

Vocabulary

stack-checker.values

Class description

Result of curry.

Definition

IN: stack-checker.values

TUPLE: curried-effect obj quot ;

Methods

USING: kernel stack-checker.values ;

M: curried-effect (input-value?)
    >curried-effect< [ input-value? ] either? ;


USING: kernel stack-checker.values ;

M: curried-effect (literal)
    >curried-effect< [ curry ] curried/composed-literal ;


USING: kernel stack-checker.values ;

M: curried-effect (literal-value?)
    >curried-effect< [ literal-value? ] both? ;


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

M: curried-effect curried/composed? drop t ;


USING: accessors kernel quotations.private stack-checker.backend
stack-checker.known-words stack-checker.values ;

M: curried-effect infer-call*
    swap push-d [ uncurry ] infer-quot-here
    [ quot>> known pop-d [ set-known ] keep ]
    [ obj>> known pop-d [ set-known ] keep ] bi push-d
    (infer-call) ;


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

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


USING: kernel sequences stack-checker.values ;

M: curried-effect known>callable
    >curried-effect< [ known known>callable ] bi@ swap prefix ;