Last change
on this file since 13 was 9, checked in by fox, 3 years ago |
Txt read & optional path printing for txt list
|
File size:
519 bytes
|
Line | |
---|
1 | let predicate fn opt = Option.(to_list @@ map fn opt)
|
---|
2 |
|
---|
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
|
---|
6 |
|
---|
7 | let ided query_string =
|
---|
8 | fun n -> n.Text.id = query_string
|
---|
9 |
|
---|
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))
|
---|
13 |
|
---|
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.