git.annexia.org
/
goaljobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a command line tool for examining the goaljobs persistent memory.
[goaljobs.git]
/
goaljobs.mli
diff --git
a/goaljobs.mli
b/goaljobs.mli
index
43432f1
..
7374f54
100644
(file)
--- a/
goaljobs.mli
+++ b/
goaljobs.mli
@@
-265,6
+265,9
@@
val memory_get : string -> string option
val memory_delete : string -> unit
(** Delete the [key]. If the key doesn't exist, has no effect. *)
val memory_delete : string -> unit
(** Delete the [key]. If the key doesn't exist, has no effect. *)
+val memory_list : unit -> (string * string) list
+ (** Return all [(key, value)] pairs in the memory. *)
+
(** {2 Publishing goals} *)
val publish : string -> (string list -> unit) -> unit
(** {2 Publishing goals} *)
val publish : string -> (string list -> unit) -> unit