diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 12:00:45 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 12:00:45 -0300 |
| commit | 7689433baac01b6e9f3d7f91bec0ec1b89f15104 (patch) | |
| tree | 7b02425e8fd390d7b02efa7e837a61028d1abbe9 /lib/kernel/EphemeralRelation.ml | |
| parent | ad33454a204aa5791445e7d15f02ba0447fff85e (diff) | |
| download | RNT-7689433baac01b6e9f3d7f91bec0ec1b89f15104.tar.gz RNT-7689433baac01b6e9f3d7f91bec0ec1b89f15104.zip | |
temporary handle instead of type description everywhere
Diffstat (limited to 'lib/kernel/EphemeralRelation.ml')
| -rw-r--r-- | lib/kernel/EphemeralRelation.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/kernel/EphemeralRelation.ml b/lib/kernel/EphemeralRelation.ml index 250aacc..3e955ba 100644 --- a/lib/kernel/EphemeralRelation.ml +++ b/lib/kernel/EphemeralRelation.ml @@ -63,6 +63,8 @@ let persisted = function Some {Persisted.name; schematics; pointer} | _ -> None +let temporary description = {name= None; schematics= `Temporary description; pointer= None} + class ephemeral_relation ?program ?decide description value modes enumerate inputs = object (self) inherit Lifecycle.counted @@ -111,7 +113,7 @@ let instantiate ?(inputs = []) ?program ?decide ~modes description value enumera let literal description tuples = instantiate description ~modes:(fun () -> Ok [Concepts.(Mode.mode [] (Cardinality.bounded (List.length tuples)))]) - {name= None; schematics= `Temporary description; pointer= None} + (temporary description) (fun () -> Ok (Generator.cursor_of (fun ~yield -> List.iter yield tuples; Ok ()))) type binding = {root: Protocols.Handle.t; within: Protocols.Handle.t} @@ -153,8 +155,9 @@ let generated ?program ?within name description value = description value (invoking enumerate_owned) let of_program ?within description program = - generated ~program ?within (Protocols.Handle.to_string program) description - {name= None; schematics= `Temporary description; pointer= None} + generated ~program ?within + (Protocols.Handle.to_string program) + description (temporary description) module Make (S : Abstract.Storage.STORAGE) = struct module SI = Storage.Make (S) |