source: code/trunk/lib/string_set.ml@ 8

Last change on this file since 8 was 3, checked in by fox, 3 years ago
  • Removed 'txt init'

Format

  • New B32 ID

Index

  • New option: txt index --print
  • Move scheme to peers
  • Replace peer.*.conf files with index packed locations Instead of adding a URL to peers.*.conf, run txt pull <url>

Conversion

  • Rewritten converters
  • txt-convert looks for a .convert.conf containing key: value lines.
  • Specifiable topic-roots from .convert.conf.
  • Added Topics: key, with comma seperated topics.

If set only those topics will appear in the main index and used as topic roots.
Other topics will have sub-indices generated, but won't be listed in the main index.

  • HTML converter header & footer options
  • HTML-index renamed to HTM-index

Internal

  • Change types: uuid:Uuid -> id:string
  • File_store merges identical texts
  • Use peer ID for store path, store peers' texts in .local/share/texts
  • Simple URN resolution for converter

Continue to next feed if parsing one fails

  • Phasing-out Archive, replaced by improved packs
  • Eliminate Bos, Cohttp, lwt, uri, tls, Re, Ptime, dependencies
  • Lock version for Cmdliner, fix dune-project
  • Optional resursive store
  • Improve header_pack
  • Fix recursive mkdir
File size: 642 bytes
Line 
1include Set.Make(String)
2
3let list_of_csv x = Str.(split (regexp " *, *")) (String.trim x)
4let of_string x = of_list (list_of_csv x)
5let to_string ?(pre="") ?(sep=", ") s =
6 let j a x = match a, x with "", _ -> x | _, "" -> a | _ -> a ^ sep ^ x in
7 fold (fun x acc -> j acc x) s pre
8
9let query string =
10 let partition (include_set, exclude_set) elt =
11 if String.get elt 0 = '!' then (include_set, add String.(sub elt 1 (length elt - 1)) exclude_set)
12 else (add elt include_set, exclude_set) in
13 List.fold_left partition (empty, empty) @@ list_of_csv string
14
15let predicate (inc, exl) set = not (disjoint inc set) && disjoint exl set
Note: See TracBrowser for help on using the repository browser.