package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.1.tar.gz
sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8
md5=533153cd4a9fe8093d3b98afc1073bc8
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.