Documentation
Splitting sequences
Meta-data
Words
Generic words
Ordinary words
Files
Children from resource:basis
Children from resource:extra
Children
Splitting sequences
Meta-data
| Tags: | collections, text |
| Authors: | Slava Pestov |
Words
Generic words
| Word | Stack effect |
 string-lines | ( str -- seq ) |
Ordinary words
| Word | Stack effect |
 ?head | ( seq begin -- newseq ? ) |
| ?head-slice | ( seq begin -- newseq ? ) |
| ?tail | ( seq end -- newseq ? ) |
| ?tail-slice | ( seq end -- newseq ? ) |
| replace | ( seq old new -- new-seq ) |
| split | ( seq separators -- pieces ) |
| split-slice | ( seq separators -- pieces ) |
| split-subseq | ( seq subseq -- seqs ) |
| split-when | ( ... seq quot: ( ... elt -- ... ? ) -- ... pieces ) |
| split-when-slice | ( ... seq quot: ( ... elt -- ... ? ) -- ... pieces ) |
| split1 | ( seq subseq -- before after ) |
| split1-last | ( seq subseq -- before after ) |
| split1-last-slice | ( seq subseq -- before-slice after-slice ) |
| split1-slice | ( seq subseq -- before-slice after-slice ) |
| split1-when | ( ... seq quot: ( ... elt -- ... ? ) -- ... before after ) |
| split1-when-slice | ( ... seq quot: ( ... elt -- ... ? ) -- ... before-slice after-slice ) |
Files
Children from resource:basis
| Vocabulary | Summary |
 splitting.monotonic | Split a sequence into monotonically-increasing subsequences |
Children from resource:extra
| Vocabulary | Summary |
| splitting.extras | splitting.extras vocabulary |
Children
| Vocabulary | Summary |
| splitting.private | splitting.private vocabulary |