package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.3.tar.gz
sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654
md5=00393728b481c2bf15919a8202732335
doc/orsetto.cf/Cf_deque/index.html
Module Cf_deque
Functional deque.
Overview
A functional persistent double-ended catenable deque, with Oavg(1) cost for every operation. Internally, this is a recursive data structure with height O(log N). (Note: if the deque is not the product of concatenation, then it is a pure data structure. Concatenation entails a lazy evaluation of the recursive join.)
Type
Interface
val nil : 'a tThe empty deque.
val one : 'a -> 'a tCreate a deque containing one element.
val empty : 'a t -> boolReturns true if the deque is the empty deque.
module type Direction = sig ... endFunctions for operations on one of the two ends of a deque.