From 932e657e38665afa1da1aab549977841abbd9dcf Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 7 Oct 2026 18:25:43 -0300 Subject: drop journal in favor of local branch history --- lib/kernel/Source.mli | 25 ++++++++++++++++++++----- 1 file changed, 20 insertions(+), 5 deletions(-) (limited to 'lib/kernel/Source.mli') diff --git a/lib/kernel/Source.mli b/lib/kernel/Source.mli index 1a51da2..0961dcc 100644 --- a/lib/kernel/Source.mli +++ b/lib/kernel/Source.mli @@ -10,21 +10,36 @@ val program : language:string -> string -> Protocols.Handle.t 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. *) + language against the directory it is given, and refuses anything + else. *) val evaluator : language:string -> - (string -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> + (within:Protocols.Handle.t -> 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. *) +(** where the evaluators are registered, from the root: \system\evaluator. *) +val evaluators : Path.t + +(** run [program] through the evaluator of [language] found in + [directory], against [within]. Usable as an + [EphemeralRelation.binding] once [directory] and [within] are given. *) +val bind : + Protocols.Handle.t -> + within:Protocols.Handle.t -> + string -> + Protocols.Handle.t -> + (Protocols.Handle.t, Concepts.Condition.condition) result + +(** run [text] in [language] against [within], with the evaluator + registered under [root]. *) val run : Protocols.Handle.t -> language:string -> + within:Protocols.Handle.t -> string -> (Protocols.Handle.t, Concepts.Condition.condition) result -(** register [evaluator] as \evaluator\[language] under [root]. *) +(** register [evaluator] for [language] under [root]. *) val register : Protocols.Handle.t -> language:string -> -- cgit v1.2.3