type-aligned-0.9.6: Various type-aligned sequence data structures.

Copyright(c) Atze van der Ploeg 2014
LicenseBSD-style
Maintaineratzeus@gmail.org
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Data.TASequence.FingerTree

Description

A type aligned sequence, a catanable deque, with amortized O(log n) constant time: ><,<|,|>, tviewl and tviewr.

Based on: "Finger trees: a simple general-purpose data structure" Ralf Hinze and Ross Paterson. in Journal of Functional Programming16:2 (2006), pages 197-217.

Documentation

data FingerTree r a b #

Instances

TASequence FingerTree # 

Methods

tempty :: FingerTree c x x #

tsingleton :: c x y -> FingerTree c x y #

(><) :: FingerTree c x y -> FingerTree c y z -> FingerTree c x z #

tviewl :: FingerTree c x y -> TAViewL FingerTree c x y #

tviewr :: FingerTree c x y -> TAViewR FingerTree c x y #

(|>) :: FingerTree c x y -> c y z -> FingerTree c x z #

(<|) :: c x y -> FingerTree c y z -> FingerTree c x z #

tmap :: (forall x y. c x y -> d x y) -> FingerTree c x y -> FingerTree d x y #