journal for the websitejournal

1 files changed, 32 insertions, 0 deletions

diff --git a/lib/kernel/Source.mli b/lib/kernel/Source.mli
new file mode 100644
index 0000000..1a51da2
--- /dev/null
+++ b/lib/kernel/Source.mli
@@ -0,0 +1,32 @@
+(** programs as source. A program in any language travels the tree as a
+    handle carrying [EphemeralRelation.Stored], with its text as the code,
+    so whoever holds one can run it through the evaluator of its language
+    without linking that language. *)
+
+(** a program in [language]. *)
+val program : language:string -> string -> Protocols.Handle.t
+
+(** the language and text a handle carries, if it is a program. *)
+val text : Protocols.Handle.t -> (string * string) option
+
+(** an evaluator for [language]: it runs the text of a program in that
+    language, and refuses anything else. *)
+val evaluator :
+  language:string ->
+  (string -> (Protocols.Handle.t, Concepts.Condition.condition) result) ->
+  Protocols.Handle.t
+
+(** look up the evaluator of [language] under [root]'s \evaluator and run
+    [text] with it. *)
+val run :
+  Protocols.Handle.t ->
+  language:string ->
+  string ->
+  (Protocols.Handle.t, Concepts.Condition.condition) result
+
+(** register [evaluator] as \evaluator\[language] under [root]. *)
+val register :
+  Protocols.Handle.t ->
+  language:string ->
+  Protocols.Handle.t ->
+  (unit, Concepts.Condition.condition) result