package traverse

  1. Overview
  2. Docs
constraint < visit_array : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Array.t, 'a Stdcompat.Stdlib.Array.t Applicative.t) Arity.t ; visit_bool : (bool, bool Applicative.t) Arity.t ; visit_bytes : (Stdcompat.bytes, Stdcompat.bytes Applicative.t) Arity.t ; visit_char : (char, char Applicative.t) Arity.t ; visit_float : (float, float Applicative.t) Arity.t ; visit_int : (int, int Applicative.t) Arity.t ; visit_int32 : (int32, int32 Applicative.t) Arity.t ; visit_int64 : (int64, int64 Applicative.t) Arity.t ; visit_lazy_t : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Lazy.t, 'a Stdcompat.Stdlib.Lazy.t Applicative.t) Arity.t ; visit_list : 'a. ('a, 'a Applicative.t) Arity.t -> ('a list, 'a list Applicative.t) Arity.t ; visit_nativeint : (nativeint, nativeint Applicative.t) Arity.t ; visit_option : 'a. ('a, 'a Applicative.t) Arity.t -> ('a option, 'a option Applicative.t) Arity.t ; visit_ref : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.ref, 'a Stdcompat.ref Applicative.t) Arity.t ; visit_result : 'a. ('a, 'a Applicative.t) Arity.t -> ('b, 'b Applicative.t) Arity.t -> (('a, 'b) Stdcompat.result, ('a, 'b) Stdcompat.result Applicative.t) Arity.t ; visit_seq : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Seq.t, 'a Stdcompat.Stdlib.Seq.t Applicative.t) Arity.t ; visit_string : (string, string Applicative.t) Arity.t ; visit_unit : (unit, unit Applicative.t) Arity.t.. > = < visit_array : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Array.t, 'a Stdcompat.Stdlib.Array.t Applicative.t) Arity.t ; visit_bool : (bool, bool Applicative.t) Arity.t ; visit_bytes : (Stdcompat.bytes, Stdcompat.bytes Applicative.t) Arity.t ; visit_char : (char, char Applicative.t) Arity.t ; visit_float : (float, float Applicative.t) Arity.t ; visit_int : (int, int Applicative.t) Arity.t ; visit_int32 : (int32, int32 Applicative.t) Arity.t ; visit_int64 : (int64, int64 Applicative.t) Arity.t ; visit_lazy_t : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Lazy.t, 'a Stdcompat.Stdlib.Lazy.t Applicative.t) Arity.t ; visit_list : 'a. ('a, 'a Applicative.t) Arity.t -> ('a list, 'a list Applicative.t) Arity.t ; visit_nativeint : (nativeint, nativeint Applicative.t) Arity.t ; visit_option : 'a. ('a, 'a Applicative.t) Arity.t -> ('a option, 'a option Applicative.t) Arity.t ; visit_ref : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.ref, 'a Stdcompat.ref Applicative.t) Arity.t ; visit_result : 'a. ('a, 'a Applicative.t) Arity.t -> ('b, 'b Applicative.t) Arity.t -> (('a, 'b) Stdcompat.result, ('a, 'b) Stdcompat.result Applicative.t) Arity.t ; visit_seq : 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Seq.t, 'a Stdcompat.Stdlib.Seq.t Applicative.t) Arity.t ; visit_string : (string, string Applicative.t) Arity.t ; visit_unit : (unit, unit Applicative.t) Arity.t.. >
method visit_array : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Array.t, 'a Stdcompat.Stdlib.Array.t Applicative.t) Arity.t
method visit_bool : 'd -> (bool, bool Applicative.t) Arity.t
method visit_char : 'd -> (char, char Applicative.t) Arity.t
method visit_float : 'd -> (float, float Applicative.t) Arity.t
method visit_int : 'd -> (int, int Applicative.t) Arity.t
method visit_int32 : 'd -> (int32, int32 Applicative.t) Arity.t
method visit_int64 : 'd -> (int64, int64 Applicative.t) Arity.t
method visit_lazy_t : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Lazy.t, 'a Stdcompat.Stdlib.Lazy.t Applicative.t) Arity.t
method visit_list : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a list, 'a list Applicative.t) Arity.t
method visit_nativeint : 'd -> (nativeint, nativeint Applicative.t) Arity.t
method visit_option : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a option, 'a option Applicative.t) Arity.t
method visit_ref : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.ref, 'a Stdcompat.ref Applicative.t) Arity.t
method visit_result : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('b, 'b Applicative.t) Arity.t -> (('a, 'b) Stdcompat.result, ('a, 'b) Stdcompat.result Applicative.t) Arity.t
method visit_seq : 'd -> 'a. ('a, 'a Applicative.t) Arity.t -> ('a Stdcompat.Stdlib.Seq.t, 'a Stdcompat.Stdlib.Seq.t Applicative.t) Arity.t
method visit_string : 'd -> (string, string Applicative.t) Arity.t
method visit_unit : 'd -> (unit, unit Applicative.t) Arity.t