diff options
Diffstat (limited to 'lib/protocols/Cursor.ml')
| -rw-r--r-- | lib/protocols/Cursor.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/protocols/Cursor.ml b/lib/protocols/Cursor.ml index f9bd697..f53bfa1 100644 --- a/lib/protocols/Cursor.ml +++ b/lib/protocols/Cursor.ml @@ -39,3 +39,5 @@ let drain i ?(limit = 256) () = if batch.exhausted then Ok tuples else loop tuples in loop BatFingerTree.empty + +let consuming cursor f = Handle.releasing cursor (fun () -> Result.bind (require cursor) f) |