score ( full fuzzy -- n )

Fuzzy completion

Fuzzy completion

Prev: | runs ( seq -- newseq ) |

Next: | complete ( full short -- score ) |

Vocabulary

tools.completion

Inputs

Outputs

Word description

Ranks fuzzy by how closely it approximates the sequence { { 0 ... n-1 } } where n is the length of full.

Definition

tools.completion

Inputs

full | a string |

fuzzy | a sequence of sequences of integers |

Outputs

n | an integer |

Word description

Ranks fuzzy by how closely it approximates the sequence { { 0 ... n-1 } } where n is the length of full.

Definition