Module Coll.MkMutDeq

Parameters

module FD : FUNDEQ

Signature

type 'a t
type 'a init_t = 'a FD.init_t
val mk : 'a init_t -> 'a t
val front : 'a t -> 'a option
val shift : 'a t -> 'a
val unshift : 'a -> 'a t -> unit
val pop_front : 'a t -> 'a
val push_front : 'a -> 'a t -> unit
val back : 'a t -> 'a option
val pop : 'a t -> 'a
val push : 'a t -> 'a -> unit
val pop_back : 'a t -> 'a
val push_back : 'a t -> 'a -> unit
val empty : 'a t -> bool
val toList : 'a t -> 'a list
val ofList : 'a list -> 'a init_t -> 'a t
val clear : 'a t -> unit
val first : 'a t -> 'a
val last : 'a t -> 'a
val for_all : ('a -> bool) -> 'a t -> bool
val exists : ('a -> bool) -> 'a t -> bool
val app : ('a -> unit) -> 'a t -> unit