From 41224db2c0929db32da31718af04655ce5e138e6 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 8 Oct 2026 20:05:19 -0300 Subject: purge schema in favor of simple namespace --- lib/kernel/Prototype.mli | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) (limited to 'lib/kernel/Prototype.mli') diff --git a/lib/kernel/Prototype.mli b/lib/kernel/Prototype.mli index 5f0e29e..9c446fc 100644 --- a/lib/kernel/Prototype.mli +++ b/lib/kernel/Prototype.mli @@ -6,6 +6,10 @@ val mixture : Protocols.Handle.protocol list -> Protocols.Handle.t module Directory : sig val of_properties : (string * Protocols.Handle.t) list -> Protocols.Handle.protocol + (** the names a directory lists, and what each reaches. *) + val children : + Protocols.Handle.t -> ((string * Protocols.Handle.t) list, Concepts.Condition.condition) result + module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY with type t = string) @@ -35,20 +39,26 @@ module Associative : sig (** how a value is stored once a write has begun, giving its address. *) type 'tx admission = 'tx -> (Concepts.Hash.hash, Concepts.Condition.condition) result + (** a value with an address is stored as that address; [admit] reads + one with none, before the write begins, into an admission. *) + val admission : + (string -> Protocols.Handle.t -> ('tx admission, Concepts.Condition.condition) result) -> + string -> + Protocols.Handle.t -> + ('tx admission, Concepts.Condition.condition) result + module OfTree (S : Abstract.Storage.STORAGE) (K : Merkle.KEY with type t = string) : sig module Tree : module type of Merkle.Make (S) (K) - (** a value bound under a key must have an address, unless [admit] - can read it, before the write begins, into an admission. *) + (** a value bound under a key is stored as its [admission]. *) val make : - ?admit: + admit: (string -> Protocols.Handle.t -> (S.transaction admission, Concepts.Condition.condition) result ) -> storage:S.connection -> constructor:(Tree.node -> (Protocols.Handle.t, Concepts.Condition.condition) result) -> node:Tree.node -> - unit -> Protocols.Handle.protocol end end -- cgit v1.2.3