|
Last change
on this file since 2 was 2, checked in by fox, 4 years ago |
|
Samhain 21
Converter
- type selection
- subdir conversion
- htm extension
Gemini
- index.gmi
- topics and latest
- gmi.atom feed
Add pull (http(s)) operation
- peers.pub.conf and peers.priv.conf
HTML5 format & fixes by Novaburst
Phony target (thanks Gergely)
May
Basic unit renamed from Note to Text.
New modular text-parser, internal to Logarion, for generic notation parsing. The default input format is now a much plainer text.
Logarion created texts have part of the UUID in filename.
Logarion's index re-written in Messagepack format. Removed indices command. They are generated during convert.
|
|
File size:
769 bytes
|
| Line | |
|---|
| 1 | module KV = Map.Make (String)
|
|---|
| 2 |
|
|---|
| 3 | module type T = sig
|
|---|
| 4 | type t
|
|---|
| 5 | type item_t
|
|---|
| 6 | type archive_t = { name: string; archivists: Person.Set.t; id: Id.t; kv: string KV.t; store: t }
|
|---|
| 7 | type record_t = Text.t * item_t
|
|---|
| 8 | val of_path: string -> (archive_t, string) result
|
|---|
| 9 | val newest: record_t -> record_t -> int
|
|---|
| 10 | val oldest: record_t -> record_t -> int
|
|---|
| 11 | val with_id: archive_t -> Id.t -> (Text.t option, Text.t list) result
|
|---|
| 12 | val with_text: archive_t -> Text.t -> (string * Text.t, string) result
|
|---|
| 13 | val iter: ?predicate:(Text.t -> bool) -> ?order:(record_t -> record_t -> int) -> ?number:int
|
|---|
| 14 | -> (record_t -> unit) -> archive_t -> unit
|
|---|
| 15 | val fold: ?predicate:(Text.t -> bool) -> ?order:(record_t -> record_t -> int) -> ?number:int
|
|---|
| 16 | -> ('a -> record_t -> 'a) -> 'a -> archive_t -> 'a
|
|---|
| 17 | end
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
