(flatten-class) ( class -- )

Vocabulary

classes.algebra.private

Inputs

class

an object

Outputs

None

Definition

IN: classes.algebra.private

GENERIC: (flatten-class) ( class -- )

Methods

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

M: anonymous-complement (flatten-class) drop full-cover ;


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 ;

M: anonymous-predicate (flatten-class) class>> (flatten-class) ;


USING: accessors classes.algebra.private sequences ;

M: anonymous-union (flatten-class)
    members>> [ (flatten-class) ] each ;


USING: classes.algebra.private classes.builtin make ;

M: builtin-class (flatten-class) , ;


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

M: intersection-class (flatten-class)
    class-participants <anonymous-intersection> (flatten-class)
    ;


USING: classes.algebra.private classes.maybe ;

M: maybe (flatten-class) maybe-class-or (flatten-class) ;


USING: classes classes.algebra.private classes.predicate ;

M: predicate-class (flatten-class)
    superclass-of (flatten-class) ;


USING: classes.algebra.private classes.tuple make ;

M: tuple-class (flatten-class) , ;


USING: classes classes.algebra.private classes.union ;

M: union-class (flatten-class)
    class-members <anonymous-union> (flatten-class) ;