traverse 0.3.0 (latest) · OCaml Package


  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 : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a Stdcompat.Stdlib.Array.t, 'a Stdcompat.Stdlib.Array.t Applicative.t)
    Arity.t

method visit_bool : (bool, bool Applicative.t) Arity.t

method visit_bytes : (Stdcompat.bytes, Stdcompat.bytes Applicative.t) Arity.t

method visit_char : (char, char Applicative.t) Arity.t

method visit_float : (float, float Applicative.t) Arity.t

method visit_int : (int, int Applicative.t) Arity.t

method visit_int32 : (int32, int32 Applicative.t) Arity.t

method visit_int64 : (int64, int64 Applicative.t) Arity.t

method visit_lazy_t : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a Stdcompat.Stdlib.Lazy.t, 'a Stdcompat.Stdlib.Lazy.t Applicative.t)
    Arity.t

method visit_list : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a list, 'a list Applicative.t) Arity.t

method visit_nativeint : (nativeint, nativeint Applicative.t) Arity.t

method visit_option : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a option, 'a option Applicative.t) Arity.t

method visit_ref : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a Stdcompat.ref, 'a Stdcompat.ref Applicative.t) Arity.t

method 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

method visit_seq : 'a. ('a, 'a Applicative.t) Arity.t ->
  ('a Stdcompat.Stdlib.Seq.t, 'a Stdcompat.Stdlib.Seq.t Applicative.t) Arity.t

method visit_string : (string, string Applicative.t) Arity.t

method visit_unit : (unit, unit Applicative.t) Arity.t

package traverse