Module Prelude.Extended

Extensions.

Each of these modules is a functor and needs to be applied to the external module it extends; this avoids creating a dependency on those modules.

Extended.Benchmark

module type BENCHMARK = sig ... end
module Benchmark (Benchmark : BENCHMARK) : sig ... end

Additional functions for Christophe Troestler's Benchmark module.

Extended.Parmap

module type PARMAP = sig ... end
module Parmap (Parmap : PARMAP) : sig ... end

Additional Parmap functions.

Extended.Re

module type RE = sig ... end
module Re (Re : RE) : sig ... end

Additional Re functions.

Extended.Uri

module type URI = sig ... end

Additional Uri functions.

module Uri (Uri : URI) : sig ... end

Extended.Xmlm

module type XMLM = sig ... end
module Xmlm (Xmlm : XMLM) : sig ... end

Additional Xmlm functions.