package fmlib

  1. Overview
  2. Docs
Functional monadic library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

  1. H
    Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.1.0.tar.gz
sha256=0558665285e4d7691e5a80c90ab05a7acb86c09f03ceef6589f150f6d3574573
md5=fb61f4d6e7233cf8d1d71758e6110c1e

doc/fmlib.fmlib_std/Fmlib_std/Deque/index.html

Module Fmlib_std.DequeSource

A double ended queue. Insert from both ends, pop only from the front.

Sourcetype _ t

'a t A double ended queue with element type 'a.

Sourceval is_empty : _ t -> bool

is_empty q Is the queue q empty?

Sourceval has_some : _ t -> bool

has_some q Does the queue have elements?

Sourceval empty : _ t

empty The empty queue.

Sourceval push_front : 'a -> 'a t -> 'a t

push_front e q Push the element e to the front of the queue q.

Sourceval push_rear : 'a -> 'a t -> 'a t

push_rear e q Push the element e to the rear of the queue q.

Sourceval pop_front : 'a t -> ('a * 'a t) option

pop_front q Pop the front element.

Sourceval update_first : ('a -> 'a) -> 'a t -> 'a t

update_first f q Update the first element of the queue q with the update function f.

Sourceval update_last : ('a -> 'a) -> 'a t -> 'a t

update_last f q Update the last element of the queue q with the update function f.

Sourceval to_list : 'a t -> 'a list

to_list q Convert the queue q to a list.