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

See Stdlib.Seq.iter

Sourceval fold_left : ('a -> 'b -> 'a Mon.t) -> 'a -> 'b Seq.t -> 'a Mon.t

See Stdlib.Seq.fold_left

Sourceval iteri : (int -> 'a -> unit Mon.t) -> 'a Seq.t -> unit Mon.t

See Stdlib.Seq.iteri

Sourceval fold_lefti : ('b -> int -> 'a -> 'b Mon.t) -> 'b -> 'a Seq.t -> 'b Mon.t

See Stdlib.Seq.fold_lefti

Sourceval for_all : ('a -> bool Mon.t) -> 'a Seq.t -> bool Mon.t

See Stdlib.Seq.for_all

Sourceval exists : ('a -> bool Mon.t) -> 'a Seq.t -> bool Mon.t

See Stdlib.Seq.exists

Sourceval find : ('a -> bool Mon.t) -> 'a Seq.t -> 'a option Mon.t

See Stdlib.Seq.find

Sourceval find_map : ('a -> 'b option Mon.t) -> 'a Seq.t -> 'b option Mon.t

See Stdlib.Seq.find_map

Sourceval iter2 : ('a -> 'b -> unit Mon.t) -> 'a Seq.t -> 'b Seq.t -> unit Mon.t

See Stdlib.Seq.iter2

Sourceval fold_left2 : ('a -> 'b -> 'c -> 'a Mon.t) -> 'a -> 'b Seq.t -> 'c Seq.t -> 'a Mon.t

See Stdlib.Seq.fold_left2

Sourceval for_all2 : ('a -> 'b -> bool Mon.t) -> 'a Seq.t -> 'b Seq.t -> bool Mon.t

See Stdlib.Seq.for_all2

Sourceval exists2 : ('a -> 'b -> bool Mon.t) -> 'a Seq.t -> 'b Seq.t -> bool Mon.t

See Stdlib.Seq.exists2