package preface
Source file monoid.ml
1 2 3 4 5 6 7 8 9 10 11let times combine n x = if n > 0 then let result = Array.make (pred n) x |> Array.fold_left combine x in Some result else None ;; let reduce_nel combine list = Nonempty_list.reduce combine list let reduce combine neutral list = List.fold_left combine neutral list