Make2 (stanc.Common.Foldable.Make2)

Parameters

module X : Basic2

val fold_left : 
  f:('c -> 'a -> 'c) ->
  g:('c -> 'b -> 'c) ->
  init:'c ->
  ('a, 'b) X.t ->
  'c

val fold_right : 
  f:('a -> 'c -> 'c) ->
  g:('b -> 'c -> 'c) ->
  init:'c ->
  ('a, 'b) X.t ->
  'c

val any : 
  pred_first:('a -> bool) ->
  pred_second:('b -> bool) ->
  ?init:bool ->
  ('a, 'b) X.t ->
  bool

val all : 
  pred_first:('a -> bool) ->
  pred_second:('b -> bool) ->
  ?init:bool ->
  ('a, 'b) X.t ->
  bool