Monoid.Float
Provides monoids in the R domain.
By default an addition monoid is provided.
include S with type t = float
include Base with type t = float
type t = float
val zero : t
zero an element that is neutral to plus
zero
plus
val plus : t -> t -> t
plus x y an associative operation.
plus x y
val concat : t list -> t
concat xs reduces xs to using plus
concat xs
xs
val (@@) : t -> t -> t
x @@ y is plus x y
x @@ y
module Sum : S with type t = float
A monoind over addition
module Product : S with type t = float
A monoid over product