package seqes

  1. Overview
  2. Docs

Module Make1.MakeSource

Make is a functor to produce further M-like modules, but with parameter functions returning into a different monad. E.g., given module SeqMon = Make(Mon) and module SeqMonMun = SeqMon.Make(Mun) then SeqMonMun.map has type ('a -> 'b Mun.t) -> 'a t -> 'b t.

Note that the functor parameter includes the necessary machinery to bundle the two monads together.

See the documentation of Sigs1.SEQMON1TRANSFORMERS for more details.

Parameters

module Alt : sig ... end
module Glue : sig ... end

Signature

Any monad that we can use to produce transformers, we can also use to produce traversors. Thus, SEQMON1TRANSFORMERS includes SEQMON1TRAVERSORS and all the functors producing transformer also produce traversors.

Sourceval iter : ('a -> unit Alt.t) -> 'a t -> unit Mon.t

See Stdlib.Seq.iter

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

See Stdlib.Seq.fold_left

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

See Stdlib.Seq.iteri

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

See Stdlib.Seq.fold_lefti

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

See Stdlib.Seq.for_all

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

See Stdlib.Seq.exists

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

See Stdlib.Seq.find

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

See Stdlib.Seq.find_map

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

See Stdlib.Seq.iter2

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

See Stdlib.Seq.fold_left2

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

See Stdlib.Seq.for_all2

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

See Stdlib.Seq.exists2

Sourceval init : int -> (int -> 'a Alt.t) -> 'a t

See Stdlib.Seq.init

Sourceval unfold : ('b -> ('a * 'b) option Alt.t) -> 'b -> 'a t

See Stdlib.Seq.unfold

Sourceval forever : (unit -> 'a Alt.t) -> 'a t

See Stdlib.Seq.forever

Sourceval iterate : ('a -> 'a Alt.t) -> 'a -> 'a t

See Stdlib.Seq.iterate

Sourceval map : ('a -> 'b Alt.t) -> 'a t -> 'b t

See Stdlib.Seq.map

Sourceval mapi : (int -> 'a -> 'b Alt.t) -> 'a t -> 'b t

See Stdlib.Seq.mapi

Sourceval filter : ('a -> bool Alt.t) -> 'a t -> 'a t

See Stdlib.Seq.filter

Sourceval filter_map : ('a -> 'b option Alt.t) -> 'a t -> 'b t

See Stdlib.Seq.filter_map

Sourceval scan : ('b -> 'a -> 'b Alt.t) -> 'b -> 'a t -> 'b t

See Stdlib.Seq.scan

Sourceval take_while : ('a -> bool Alt.t) -> 'a t -> 'a t

See Stdlib.Seq.take_while

Sourceval drop_while : ('a -> bool Alt.t) -> 'a t -> 'a t

See Stdlib.Seq.drop_while

Sourceval group : ('a -> 'a -> bool Alt.t) -> 'a t -> 'a t t

See Stdlib.Seq.group

Sourceval map2 : ('a -> 'b -> 'c Alt.t) -> 'a t -> 'b t -> 'c t

See Stdlib.Seq.map2

Sourceval map_product : ('a -> 'b -> 'c Alt.t) -> 'a t -> 'b t -> 'c t

See Stdlib.Seq.map_product

Sourceval partition_map : ('a -> ('b, 'c) Either.t Alt.t) -> 'a t -> 'b t * 'c t

See Stdlib.Seq.partition_map

Sourceval partition : ('a -> bool Alt.t) -> 'a t -> 'a t * 'a t

See Stdlib.Seq.partition