composed-effect

Vocabulary

stack-checker.values

Class description

Result of compose.

Definition

IN: stack-checker.values

TUPLE: composed-effect quot1 quot2 ;

Methods

USING: kernel stack-checker.values ;

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


USING: kernel stack-checker.values ;

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


USING: kernel stack-checker.values ;

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


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

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


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

M: composed-effect infer-call*
    swap push-d [ uncompose ] infer-quot-here
    [ quot2>> known pop-d [ set-known ] keep ]
    [ quot1>> known pop-d [ set-known ] keep ] bi push-d push-d
    1 infer->r infer-call terminated? get
    [ 1 infer-r> infer-call ] unless ;


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: kernel sequences stack-checker.values ;

M: composed-effect known>callable
    >composed-effect< [ known known>callable ?@ ] bi@ append ;