package preface

  1. Overview
  2. Docs

Source file monoid.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
let times_nel 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 times combine neutral n x =
  if n >= 0 then Array.make n x |> Array.fold_left combine neutral else neutral
;;

let reduce_nel combine list = Nonempty_list.reduce combine list
let reduce combine neutral list = List.fold_left combine neutral list