package seqes

  1. Overview
  2. Docs

Module Standard.Make1Source

Monadic traversors over Stdlib.Seq.

This Make functor produces functions to traverse Stdlib.Seq sequences, when the function provided by the user is within a monad.

The 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 Seqes.Monadic.

The buld of the documentation is located in the Seqes.Sigs1 module. Familiarity with the Stdlib.Seq module is also assumed.

Parameters

module Mon : sig ... end

Signature

Sourceval iter : ('a -> unit Mon.t) -> 'a Seq.t -> unit Mon.t
Sourceval fold_left : ('a -> 'b -> 'a Mon.t) -> 'a -> 'b Seq.t -> 'a Mon.t
Sourceval iteri : (int -> 'a -> unit Mon.t) -> 'a Seq.t -> unit Mon.t
Sourceval fold_lefti : ('b -> int -> 'a -> 'b Mon.t) -> 'b -> 'a Seq.t -> 'b Mon.t
Sourceval for_all : ('a -> bool Mon.t) -> 'a Seq.t -> bool Mon.t
Sourceval exists : ('a -> bool Mon.t) -> 'a Seq.t -> bool Mon.t
Sourceval find : ('a -> bool Mon.t) -> 'a Seq.t -> 'a option Mon.t
Sourceval find_map : ('a -> 'b option Mon.t) -> 'a Seq.t -> 'b option Mon.t
Sourceval iter2 : ('a -> 'b -> unit Mon.t) -> 'a Seq.t -> 'b Seq.t -> unit Mon.t
Sourceval fold_left2 : ('a -> 'b -> 'c -> 'a Mon.t) -> 'a -> 'b Seq.t -> 'c Seq.t -> 'a Mon.t
Sourceval for_all2 : ('a -> 'b -> bool Mon.t) -> 'a Seq.t -> 'b Seq.t -> bool Mon.t
Sourceval exists2 : ('a -> 'b -> bool Mon.t) -> 'a Seq.t -> 'b Seq.t -> bool Mon.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct