Source file `variant_access.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
open Intf

type ('tag, 'value, 'error) t = ('tag, 'value, 'error) variant_access = {
  tag : unit -> ('tag, 'error Error.de_error) result;
  unit_variant : unit -> (unit, 'error Error.de_error) result;
  tuple_variant :
    (module Rec.Visitor_intf with type value = 'value) ->
    ('value, 'error Error.de_error) result;
  record_variant :
    'field.
    (module Rec.Visitor_intf with type value = 'value and type tag = 'field) ->
    (module Rec.Visitor_intf with type value = 'field) ->
    fields:string list ->
    ('value, 'error Error.de_error) result;
}

let tag t = t.tag ()
let unit_variant t = t.unit_variant ()
let tuple_variant t v = t.tuple_variant v
let record_variant t v = t.record_variant v