Implementation for Seq.t.
type 'a t = 'a Seq.tmodule Functor : Preface_specs.FUNCTOR with type 'a t = 'a tSeq.t implements Preface_specs.APPLICATIVE and introduces an interface to define Preface_specs.TRAVERSABLE using Seq as an iterable structure.
module Applicative :
Preface_specs.Traversable.API_OVER_APPLICATIVE with type 'a t = 'a tmodule Alternative : Preface_specs.ALTERNATIVE with type 'a t = 'a tmodule Selective : Preface_specs.SELECTIVE with type 'a t = 'a tSeq.t implements Preface_specs.MONAD and introduces an interface to define Preface_specs.TRAVERSABLE using Seq as an iterable structure.
module Monad : Preface_specs.Traversable.API_OVER_MONAD with type 'a t = 'a tmodule Monad_plus : Preface_specs.MONAD_PLUS with type 'a t = 'a tmodule Foldable : Preface_specs.FOLDABLE with type 'a t = 'a tmodule Invariant : Preface_specs.INVARIANT with type 'a t = 'a tAdditional functions to facilitate practical work with Seq.t.
val pure : 'a -> 'a tCreate a value from 'a to 'a t.
cons x xs is the sequence containing the element x followed by the sequence xs.
Equality between Seq.t. (The function may not terminate if the two sequence are infinite (and identical)).
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unitFormatter for pretty-printing for Seq.t. (The function may not terminate if the seq is infinite).