Variants_of_mutable_list (p.arrayjit.0.6.0.doc.arrayjit.utils.Utils.Variants_of_mutable

Sourceval empty : 'a mutable_list Variantslib.Variant.t

val cons : 
  (hd:'a -> tl:'a mutable_list -> 'a mutable_list) Variantslib.Variant.t

Source

val fold : 
  init:'a ->
  empty:('a -> 'b mutable_list Variantslib.Variant.t -> 'c) ->
  cons:
    ('c ->
      (hd:'d -> tl:'d mutable_list -> 'd mutable_list) Variantslib.Variant.t ->
      'e) ->
  'e

Source

val iter : 
  empty:('a mutable_list Variantslib.Variant.t -> Base.unit) ->
  cons:
    ((hd:'b -> tl:'b mutable_list -> 'b mutable_list) Variantslib.Variant.t ->
      Base.unit) ->
  Base.unit

Source

val map : 
  'a mutable_list ->
  empty:('b mutable_list Variantslib.Variant.t -> 'c) ->
  cons:
    ((hd:'d -> tl:'d mutable_list -> 'd mutable_list) Variantslib.Variant.t ->
      hd:'a ->
      tl:'a mutable_list ->
      'c) ->
  'c

Source

val make_matcher : 
  empty:('a mutable_list Variantslib.Variant.t -> 'b -> (unit -> 'c) * 'd) ->
  cons:
    ((hd:'e -> tl:'e mutable_list -> 'e mutable_list) Variantslib.Variant.t ->
      'd ->
      (hd:'f -> tl:'f mutable_list -> 'c) * 'g) ->
  'b ->
  ('f mutable_list -> 'c) * 'g

Sourceval to_rank : 'a mutable_list -> int

Sourceval to_name : 'a mutable_list -> string

Sourceval descriptions : (string * int) list