flatten-lens ( compressed-lens -- bits )

Vocabulary

compression.gzip.private

Inputs

compressed-lens

an object

Outputs

bits

an object

Definition

USING: sequences ;

IN: compression.gzip.private

: flatten-lens ( compressed-lens -- bits )
    [ flatten-single ] map concat ;