Module type Semigroup.S
The Alg.Semigroup.S
interface extended with a way of generating arbitrary QCheck
values.
include Alg.Semigroup.S
include Alg.Semigroup.Seed
val concat : t Alg_structs.NonEmptyList.t -> t
concat xs
is the concatenation of all elements ofxs
into a single value usingop
.This is equivalent to
List.fold_right op (NonEmptyList.tl xs) (NonEmptyList.hd xs)
.
val name : string
val arbitrary : t QCheck.arbitrary