|
Last change
on this file since 20 was 9, checked in by fox, 3 years ago |
|
Txt read & optional path printing for txt list
|
|
File size:
519 bytes
|
| Rev | Line | |
|---|
| [3] | 1 | let predicate fn opt = Option.(to_list @@ map fn opt)
|
|---|
| [2] | 2 |
|
|---|
| [3] | 3 | let authored query_string =
|
|---|
| 4 | let q = Person.Set.of_query @@ String_set.query query_string in
|
|---|
| 5 | fun n -> Person.Set.predicate q n.Text.authors
|
|---|
| [2] | 6 |
|
|---|
| [9] | 7 | let ided query_string =
|
|---|
| 8 | fun n -> n.Text.id = query_string
|
|---|
| 9 |
|
|---|
| [3] | 10 | let keyworded query_string =
|
|---|
| 11 | let q = String_set.query query_string in
|
|---|
| 12 | fun n -> String_set.(predicate q (Text.set "Keywords" n))
|
|---|
| [2] | 13 |
|
|---|
| [3] | 14 | let topics query_string =
|
|---|
| 15 | let q = String_set.query query_string in
|
|---|
| 16 | fun n -> String_set.(predicate q (Text.set "Topics" n))
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
