Monadic traversors over
Make functor produces functions to traverse
Stdlib.Seq sequences, when the function provided by the user is within a monad.
Make functor does not export a new type: it only exports traversors for the existing type exported by the Stdlib. If you need tighter integration between your monad and the sequence, checkout
The buld of the documentation is located in the
Seqes.Sigs1 module. Familiarity with the
Stdlib.Seq module is also assumed.
module Mon : sig ... end