Ufind.MatchingObtaining detailed matching results
Use this module if select_data is not sufficient for your needs.
For instance, in order to obtain a global ranking of results obtained from different searches, use find and to_list instead of select_data.
val data : 'a item → 'aExtract the data from the matching item.
val find :
?folding:casefolding →
matching_defect:matching_defect →
'a search_item Stdlib.Seq.t →
string →
'a item Stdlib.Seq.tfind sitems name immediately returns the lazy sequence of items matching the given name in the sequence of search items sitems. The returned sequence may be infinite if sitems is infinite.
The matching_defect parameter defines the function used for matching: its first entry is (given by) the provided name.
Warning: the folding parameter must be the same as the one used to create the sitems sequence.