package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.1.tar.gz
sha256=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e
md5=3a15a377800cf988a310b4082406c685
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.