Handbook
Glossary
fuzzy ( full short -- indices )
Fuzzy completion
Prev:
completions ( short candidates -- seq )
Next:
runs ( seq -- newseq )
Vocabulary
tools
.
completion
Inputs
full
a
string
short
a
string
Outputs
indices
a
vector
Word description
If
short
can be obtained from
full
by removing subsequences, then outputs the index of every character from
short
in
full
, otherwise outputs
f
.
Definition
USING:
kernel
sequences
tools.completion.private
;
IN:
tools.completion
:
fuzzy
( full short -- indices )
[
V{
}
clone
0
]
2dip
swap
[
(fuzzy)
]
curry
all?
2drop
;