Source file `map_access.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
open Intf

type ('value, 'error) t = ('value, 'error) map_access = {
  next_key :
    'key.
    deser_key:(unit -> ('key, 'error Error.de_error) result) ->
    ('key option, 'error Error.de_error) result;
  next_value :
    'field.
    deser_value:(unit -> ('field, 'error Error.de_error) result) ->
    ('field option, 'error Error.de_error) result;
}

let next_key t ~deser_key = t.next_key ~deser_key
let next_value t ~deser_value = t.next_value ~deser_value