From 152f817f8dc622aec7936ace7c16ce645aaed159 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 9 Sep 2026 22:35:09 -0300 Subject: substantial relation and schematics --- lib/kernel/SubstantialRelation.mli | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) (limited to 'lib/kernel/SubstantialRelation.mli') diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli index 9e61411..866c3a0 100644 --- a/lib/kernel/SubstantialRelation.mli +++ b/lib/kernel/SubstantialRelation.mli @@ -1,4 +1,7 @@ -module Make (S : Abstract.Storage.STORAGE) : sig +module Make (S : Abstract.Storage.STORAGE) (Schematics : sig + include Protocols.Schematics.S + val of_blob : Concepts.Blob.t -> (Schema.t, Concepts.Condition.condition) result +end) : sig type t val encode : t -> Concepts.Blob.t @@ -46,4 +49,16 @@ module Make (S : Abstract.Storage.STORAGE) : sig val contains_tuple : S.transaction -> t -> Concepts.Blob.t -> (bool, Concepts.Condition.condition) result + + (** decodes the heading at [heading relation] -- the body of + [Schematics.schema] for this kind of relation. *) + val heading_value : S.transaction -> t -> (Schematics.Schema.t, Concepts.Condition.condition) result + + (** a handle carrying [Protocols.Cursor] over every tuple currently + asserted, decoded via [Concepts.Tuple.Representation.of_blob] -- + the body of [Protocols.Relation.enumerate] for this kind of + relation. Opens its own storage transaction, held for the + cursor's whole lifetime rather than just this call -- see + [Kernel.Generator] and docs/design/evaluator.md, "Shape". *) + val enumerate : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result end -- cgit v1.2.3