package accessor_core

  1. Overview
  2. Docs
package accessor_core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Accessor_core.FdequeSource

Sourceval empty : (_, unit, 'a Core.Fdeque.t, [< Accessor_core__.Import.variant ]) Accessor_base.t

Access () iff the queue is empty.

Sourceval front : (_, 'a * 'a Core.Fdeque.t, 'a Core.Fdeque.t, [< Accessor_core__.Import.variant ]) Accessor_base.t

Access the front element and remainder of the queue, if it is non-empty.

Sourceval back : (_, 'a Core.Fdeque.t * 'a, 'a Core.Fdeque.t, [< Accessor_core__.Import.variant ]) Accessor_base.t

Access the back element and remainder of the queue, if it is non-empty.

Sourceval first : (_, 'a, 'a Core.Fdeque.t, [< Accessor_core__.Import.optional ]) Accessor_base.t

Access the first element of the queue, if it is non-empty.

Sourceval last : (_, 'a, 'a Core.Fdeque.t, [< Accessor_core__.Import.optional ]) Accessor_base.t

Access the last element of the queue, if it is non-empty.

Sourceval reversed : ('i -> 'a Core.Fdeque.t -> 'b Core.Fdeque.t, 'i -> 'a Core.Fdeque.t -> 'b Core.Fdeque.t, [< Accessor_core__.Import.isomorphism ]) Accessor_base.General.t

Access a reversed version of the queue.

Sourceval each : ('i -> 'a -> 'b, 'i -> 'a Core.Fdeque.t -> 'b Core.Fdeque.t, [< Accessor_core__.Import.many ]) Accessor_base.General.t

Access each element of the queue.

Sourceval eachi : ((int * 'i) -> 'a -> 'b, 'i -> 'a Core.Fdeque.t -> 'b Core.Fdeque.t, [< Accessor_core__.Import.many ]) Accessor_base.General.t

The indexed version of each provides a numeric index for each element.

include Accessor_base.Monad.S with type 'a t := 'a Core.Fdeque.t
Sourceval map : ?how:[ `Parallel | `Sequential ] -> (Base.unit -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Accessor.Subtyping.many ]) Accessor.General.t -> 'at -> f:('a -> 'b Core.Fdeque.t) -> 'bt Core.Fdeque.t
Sourceval mapi : ?how:[ `Parallel | `Sequential ] -> ('i -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Accessor.Subtyping.many ]) Accessor.General.t -> 'at -> f:('i Accessor.Index.t -> 'a -> 'b Core.Fdeque.t) -> 'bt Core.Fdeque.t
Sourceval all : (Base.unit -> 'a Core.Fdeque.t -> 'a, Base.unit -> 'at -> 'bt, [> Accessor.Subtyping.many ]) Accessor.General.t -> 'at -> 'bt Core.Fdeque.t
Sourceval iter : ?how:[ `Parallel | `Sequential ] -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('a -> Base.unit Core.Fdeque.t) -> Base.unit Core.Fdeque.t
Sourceval iteri : ?how:[ `Parallel | `Sequential ] -> ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('i Accessor.Index.t -> 'a -> Base.unit Core.Fdeque.t) -> Base.unit Core.Fdeque.t
Sourceval sum : ?how:[ `Parallel | `Sequential ] -> (module Base.Container.Summable with type t = 'sum) -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('a -> 'sum Core.Fdeque.t) -> 'sum Core.Fdeque.t
Sourceval sumi : ?how:[ `Parallel | `Sequential ] -> (module Base.Container.Summable with type t = 'sum) -> ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('i Accessor.Index.t -> 'a -> 'sum Core.Fdeque.t) -> 'sum Core.Fdeque.t
Sourceval count : ?how:[ `Parallel | `Sequential ] -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('a -> Base.bool Core.Fdeque.t) -> Base.int Core.Fdeque.t
Sourceval counti : ?how:[ `Parallel | `Sequential ] -> ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> f:('i Accessor.Index.t -> 'a -> Base.bool Core.Fdeque.t) -> Base.int Core.Fdeque.t
Sourceval map_reduce : ?how:[ `Parallel | `Sequential ] -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> empty:'b -> combine:('b -> 'b -> 'b) -> f:('a -> 'b Core.Fdeque.t) -> 'b Core.Fdeque.t
Sourceval map_reducei : ?how:[ `Parallel | `Sequential ] -> ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ]) Accessor.General.t -> 'at -> empty:'b -> combine:('b -> 'b -> 'b) -> f:('i Accessor.Index.t -> 'a -> 'b Core.Fdeque.t) -> 'b Core.Fdeque.t
Sourceval map_reduce_nonempty : ?how:[ `Parallel | `Sequential ] -> (Base.unit -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.nonempty_getter ]) Accessor.General.t -> 'at -> combine:('b -> 'b -> 'b) -> f:('a -> 'b Core.Fdeque.t) -> 'b Core.Fdeque.t
Sourceval map_reduce_nonemptyi : ?how:[ `Parallel | `Sequential ] -> ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.nonempty_getter ]) Accessor.General.t -> 'at -> combine:('b -> 'b -> 'b) -> f:('i Accessor.Index.t -> 'a -> 'b Core.Fdeque.t) -> 'b Core.Fdeque.t