package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.1.2.tar.gz
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1
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.