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.Queue

Description

A type aligned sequence, a queue, with amortized constant time: |>, and tviewl.

A simplified version of Okasaki's implicit recursive slowdown queues. See purely functional data structures by Chris Okasaki section 8.4: Queues based on implicit recursive slowdown

Documentation

data Queue c a b #

Instances

TASequence Queue # 

Methods

tempty :: Queue c x x #

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

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

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

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

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

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

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