Neodriver_eio.EagerResultAn in-memory (eager) query result (keys / records / summary).
An in-memory (eager) query result: the field names, every record and the final summary.
Driver.execute_query returns a t; of_result drains a lazily-streamed Neo4j_result.t into one (the Python driver's Result.to_eager_result).
type t = {keys : string list;The field names of the returned records.
*)records : Neodriver_core.Values.t list list;All records, each a list of values in field order.
*)summary : Summary.t;The summary of the query execution.
*)}An in-memory result of a query.
val of_result :
Neodriver_eio__.Neo4j_result.t ->
(t, Neodriver_core.Errors.t) Stdlib.resultDrain result fully and return its keys, records and summary.
val check_keys :
t ->
'a Neodriver_core.Decode.t ->
(unit, Neodriver_core.Errors.t) Stdlib.resultCheck that decoder can find every field it reads in keys; extra keys are allowed, a missing or duplicate key is an Errors.Decode_error.
val decode_all :
t ->
'a Neodriver_core.Decode.t ->
('a list, Neodriver_core.Errors.t) Stdlib.resultDecode every record with decoder. On a decode failure the error names the 1-based record number.