anonymous-intersection

Vocabulary

classes.algebra.private

Definition

IN: classes.algebra.private

TUPLE: anonymous-intersection { participants read-only } ;

Methods

USING: accessors classes.algebra classes.algebra.private kernel
sequences ;

M: anonymous-intersection (classes-intersect?)
    participants>> [ classes-intersect? ] with all? ;


USING: accessors classes.algebra classes.algebra.private
classes.builtin classes.intersection.private make sequences ;

M: anonymous-intersection (flatten-class)
    participants>>
    [ full-cover ] [
        [ flatten-class ] [ intersect-flattened-classes ]
        map-reduce %
    ] if-empty ;


USING: accessors classes.algebra.private prettyprint.custom ;

M: anonymous-intersection >pprint-sequence participants>> ;


USING: accessors classes.algebra.private sequences
stack-checker.dependencies ;

M: anonymous-intersection add-depends-on-class
    participants>> [ add-depends-on-class ] each ;


USING: accessors classes.algebra.private classes.private
sequences splitting ;

M: anonymous-intersection class-name
    participants>> [ class-name ] map join-words ;


USING: accessors classes.algebra.private generic ;

M: anonymous-intersection implementor-classes participants>> ;


USING: accessors assocs classes classes.algebra
classes.algebra.private combinators kernel sequences slots ;

M: anonymous-intersection initial-value*
    {
        { [ f over instance? ] [ drop f t ] }
        { [ 0 over instance? ] [ drop 0 t ] }
        [
            [ ] [
                participants>> sort-classes
                [ initial-value ] map>alist
            ] [ ] tri [ [ first2 nip ] dip instance? ] curry
            find swap [ nip second t ] [ 2drop f f ] if
        ]
    } cond ;


USING: accessors classes classes.algebra.private kernel
sequences ;

M: anonymous-intersection instance?
    participants>> [ instance? ] with all? ;


USING: classes.algebra.private prettyprint.custom ;

M: anonymous-intersection pprint* pprint-object ;


USING: classes.algebra.private kernel prettyprint.custom ;

M: anonymous-intersection pprint-delims
    drop \ intersection{ \ } ;


USING: accessors classes classes.algebra.private
classes.intersection.private ;

M: anonymous-intersection predicate-def
    participants>> intersection-predicate-quot ;


USING: classes.algebra.private classes.private kernel ;

M: anonymous-intersection rank-class drop 4 ;


USING: classes.algebra.private classes.private
prettyprint.backend sequences ;

M: anonymous-intersection word-name*
    class-name "intersection{ " " }" surround ;