| Copyright | (c) Ross Paterson Ralf Hinze 2006 |
|---|---|
| License | BSD-style |
| Maintainer | R.Paterson@city.ac.uk |
| Stability | experimental |
| Portability | non-portable (MPTCs and functional dependencies) |
| Safe Haskell | None |
| Language | Haskell2010 |
HaskellWorks.Data.FingerTree
Description
A general sequence representation with arbitrary annotations, for use as a base for implementations of various collection types, as described in section 4 of
- Ralf Hinze and Ross Paterson, "Finger trees: a simple general-purpose data structure", Journal of Functional Programming 16:2 (2006) pp 197-217. http://staff.city.ac.uk/~ross/papers/FingerTree.html
For a directly usable sequence type, see Data.Sequence, which is
a specialization of this structure.
An amortized running time is given for each operation, with n referring to the length of the sequence. These bounds hold even in a persistent (shared) setting.
Note: Many of these operations have the same names as similar
operations on lists in the Prelude. The ambiguity may be resolved
using either qualification or the hiding clause.
Synopsis
- data FingerTree v a
- data Digit a
- data Node v a
- deep :: Measured v a => Digit a -> FingerTree v (Node v a) -> Digit a -> FingerTree v a
- node2 :: Measured v a => a -> a -> Node v a
- node3 :: Measured v a => a -> a -> a -> Node v a
- class Monoid v => Measured v a | a -> v where
- measure :: a -> v
- empty :: Measured v a => FingerTree v a
- singleton :: Measured v a => a -> FingerTree v a
- append :: Measured v a => FingerTree v a -> FingerTree v a -> FingerTree v a
- fromList :: Measured v a => [a] -> FingerTree v a
- null :: Measured v a => FingerTree v a -> Bool
- data ViewL (s :: Type -> Type) a
- data ViewR (s :: Type -> Type) a
- viewl :: Measured v a => FingerTree v a -> ViewL (FingerTree v) a
- viewr :: Measured v a => FingerTree v a -> ViewR (FingerTree v) a
- split :: Measured v a => (v -> Bool) -> FingerTree v a -> (FingerTree v a, FingerTree v a)
- takeUntil :: Measured v a => (v -> Bool) -> FingerTree v a -> FingerTree v a
- dropUntil :: Measured v a => (v -> Bool) -> FingerTree v a -> FingerTree v a
- reverse :: Measured v a => FingerTree v a -> FingerTree v a
- fmap' :: (Measured v1 a1, Measured v2 a2) => (a1 -> a2) -> FingerTree v1 a1 -> FingerTree v2 a2
- fmapWithPos :: (Measured v1 a1, Measured v2 a2) => (v1 -> a1 -> a2) -> FingerTree v1 a1 -> FingerTree v2 a2
- unsafeFmap :: (a -> b) -> FingerTree v a -> FingerTree v b
- traverse' :: (Measured v1 a1, Measured v2 a2, Applicative f) => (a1 -> f a2) -> FingerTree v1 a1 -> f (FingerTree v2 a2)
- traverseWithPos :: (Measured v1 a1, Measured v2 a2, Applicative f) => (v1 -> a1 -> f a2) -> FingerTree v1 a1 -> f (FingerTree v2 a2)
- unsafeTraverse :: Applicative f => (a -> f b) -> FingerTree v a -> f (FingerTree v b)
- (><) :: (Semigroup v, Container v) => v -> v -> v
- (<|) :: Cons v => Elem v -> v -> v
- (|>) :: Snoc v => v -> Elem v -> v
Documentation
data FingerTree v a #
A representation of a sequence of values of type a, allowing
access to the ends in constant time, and append and split in time
logarithmic in the size of the smaller piece.
The collection is also parameterized by a measure type v, which
is used to specify a position in the sequence for the split operation.
The types of the operations enforce the constraint Measured v av is determined by a.
A variety of abstract data types can be implemented by using different element types and measurements.
Instances
Instances
| Foldable Digit # | |||||
Defined in HaskellWorks.Data.FingerTree Methods fold :: Monoid m => Digit m -> m # foldMap :: Monoid m => (a -> m) -> Digit a -> m # foldMap' :: Monoid m => (a -> m) -> Digit a -> m # foldr :: (a -> b -> b) -> b -> Digit a -> b # foldr' :: (a -> b -> b) -> b -> Digit a -> b # foldl :: (b -> a -> b) -> b -> Digit a -> b # foldl' :: (b -> a -> b) -> b -> Digit a -> b # foldr1 :: (a -> a -> a) -> Digit a -> a # foldl1 :: (a -> a -> a) -> Digit a -> a # elem :: Eq a => a -> Digit a -> Bool # maximum :: Ord a => Digit a -> a # minimum :: Ord a => Digit a -> a # | |||||
| Functor Digit # | |||||
| Measured v a => Measured v (Digit a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| Generic (Digit a) # | |||||
Defined in HaskellWorks.Data.FingerTree Associated Types
| |||||
| Show a => Show (Digit a) # | |||||
| NFData a => NFData (Digit a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| type Rep (Digit a) # | |||||
Defined in HaskellWorks.Data.FingerTree type Rep (Digit a) = D1 ('MetaData "Digit" "HaskellWorks.Data.FingerTree" "hw-fingertree-0.1.2.1-3p5RZE9E7Ssp1Wf221CQu" 'False) ((C1 ('MetaCons "One" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Two" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Three" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "Four" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) | |||||
Instances
| Monoid v => Measured v (Node v a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| Foldable (Node v) # | |||||
Defined in HaskellWorks.Data.FingerTree Methods fold :: Monoid m => Node v m -> m # foldMap :: Monoid m => (a -> m) -> Node v a -> m # foldMap' :: Monoid m => (a -> m) -> Node v a -> m # foldr :: (a -> b -> b) -> b -> Node v a -> b # foldr' :: (a -> b -> b) -> b -> Node v a -> b # foldl :: (b -> a -> b) -> b -> Node v a -> b # foldl' :: (b -> a -> b) -> b -> Node v a -> b # foldr1 :: (a -> a -> a) -> Node v a -> a # foldl1 :: (a -> a -> a) -> Node v a -> a # elem :: Eq a => a -> Node v a -> Bool # maximum :: Ord a => Node v a -> a # minimum :: Ord a => Node v a -> a # | |||||
| Generic (Node v a) # | |||||
Defined in HaskellWorks.Data.FingerTree Associated Types
| |||||
| (Show v, Show a) => Show (Node v a) # | |||||
| (NFData v, NFData a) => NFData (Node v a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| type Rep (Node v a) # | |||||
Defined in HaskellWorks.Data.FingerTree type Rep (Node v a) = D1 ('MetaData "Node" "HaskellWorks.Data.FingerTree" "hw-fingertree-0.1.2.1-3p5RZE9E7Ssp1Wf221CQu" 'False) (C1 ('MetaCons "Node2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 v) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: C1 ('MetaCons "Node3" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 v) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) | |||||
deep :: Measured v a => Digit a -> FingerTree v (Node v a) -> Digit a -> FingerTree v a #
class Monoid v => Measured v a | a -> v where #
Things that can be measured.
Instances
| Measured v a => Measured v (Digit a) # | |
Defined in HaskellWorks.Data.FingerTree | |
| Measured v a => Measured v (FingerTree v a) # | O(1). The cached measure of a tree. |
Defined in HaskellWorks.Data.FingerTree Methods measure :: FingerTree v a -> v # | |
| Monoid v => Measured v (Node v a) # | |
Defined in HaskellWorks.Data.FingerTree | |
Construction
empty :: Measured v a => FingerTree v a #
O(1). The empty sequence.
singleton :: Measured v a => a -> FingerTree v a #
O(1). A singleton sequence.
append :: Measured v a => FingerTree v a -> FingerTree v a -> FingerTree v a #
O(log(min(n1,n2))). Concatenate two sequences.
fromList :: Measured v a => [a] -> FingerTree v a #
O(n). Create a sequence from a finite list of elements.
Deconstruction
null :: Measured v a => FingerTree v a -> Bool #
O(1). Is this the empty sequence?
data ViewL (s :: Type -> Type) a #
View of the left end of a sequence.
Instances
| Functor s => Functor (ViewL s) # | |||||
| Generic (ViewL s a) # | |||||
Defined in HaskellWorks.Data.FingerTree Associated Types
| |||||
| (Read a, Read (s a)) => Read (ViewL s a) # | |||||
| (Show a, Show (s a)) => Show (ViewL s a) # | |||||
| (NFData a, NFData (s a)) => NFData (ViewL s a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| (Eq a, Eq (s a)) => Eq (ViewL s a) # | |||||
| (Ord a, Ord (s a)) => Ord (ViewL s a) # | |||||
| type Rep (ViewL s a) # | |||||
Defined in HaskellWorks.Data.FingerTree type Rep (ViewL s a) = D1 ('MetaData "ViewL" "HaskellWorks.Data.FingerTree" "hw-fingertree-0.1.2.1-3p5RZE9E7Ssp1Wf221CQu" 'False) (C1 ('MetaCons "EmptyL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons ":<" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (s a)))) | |||||
data ViewR (s :: Type -> Type) a #
View of the right end of a sequence.
Constructors
| EmptyR | empty sequence |
| (s a) :> a infixl 5 | the sequence minus the rightmost element, -- and the rightmost element |
Instances
| Functor s => Functor (ViewR s) # | |||||
| Generic (ViewR s a) # | |||||
Defined in HaskellWorks.Data.FingerTree Associated Types
| |||||
| (Read a, Read (s a)) => Read (ViewR s a) # | |||||
| (Show a, Show (s a)) => Show (ViewR s a) # | |||||
| (NFData a, NFData (s a)) => NFData (ViewR s a) # | |||||
Defined in HaskellWorks.Data.FingerTree | |||||
| (Eq a, Eq (s a)) => Eq (ViewR s a) # | |||||
| (Ord a, Ord (s a)) => Ord (ViewR s a) # | |||||
| type Rep (ViewR s a) # | |||||
Defined in HaskellWorks.Data.FingerTree type Rep (ViewR s a) = D1 ('MetaData "ViewR" "HaskellWorks.Data.FingerTree" "hw-fingertree-0.1.2.1-3p5RZE9E7Ssp1Wf221CQu" 'False) (C1 ('MetaCons "EmptyR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons ":>" ('InfixI 'LeftAssociative 5) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (s a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) | |||||
viewl :: Measured v a => FingerTree v a -> ViewL (FingerTree v) a #
O(1). Analyse the left end of a sequence.
viewr :: Measured v a => FingerTree v a -> ViewR (FingerTree v) a #
O(1). Analyse the right end of a sequence.
split :: Measured v a => (v -> Bool) -> FingerTree v a -> (FingerTree v a, FingerTree v a) #
takeUntil :: Measured v a => (v -> Bool) -> FingerTree v a -> FingerTree v a #
dropUntil :: Measured v a => (v -> Bool) -> FingerTree v a -> FingerTree v a #
Transformation
reverse :: Measured v a => FingerTree v a -> FingerTree v a #
O(n). The reverse of a sequence.
fmap' :: (Measured v1 a1, Measured v2 a2) => (a1 -> a2) -> FingerTree v1 a1 -> FingerTree v2 a2 #
Like fmap, but with a more constrained type.
fmapWithPos :: (Measured v1 a1, Measured v2 a2) => (v1 -> a1 -> a2) -> FingerTree v1 a1 -> FingerTree v2 a2 #
Map all elements of the tree with a function that also takes the measure of the prefix of the tree to the left of the element.
unsafeFmap :: (a -> b) -> FingerTree v a -> FingerTree v b #
Like fmap, but safe only if the function preserves the measure.
traverse' :: (Measured v1 a1, Measured v2 a2, Applicative f) => (a1 -> f a2) -> FingerTree v1 a1 -> f (FingerTree v2 a2) #
Like traverse, but with a more constrained type.
traverseWithPos :: (Measured v1 a1, Measured v2 a2, Applicative f) => (v1 -> a1 -> f a2) -> FingerTree v1 a1 -> f (FingerTree v2 a2) #
Traverse the tree with a function that also takes the measure of the prefix of the tree to the left of the element.
unsafeTraverse :: Applicative f => (a -> f b) -> FingerTree v a -> f (FingerTree v b) #
Like traverse, but safe only if the function preserves the measure.
Example
Particular abstract data types may be implemented by defining
element types with suitable Measured instances.
(from section 4.5 of the paper)
Simple sequences can be implemented using a Sum monoid as a measure:
newtype Elem a = Elem { getElem :: a }
instance Measured (Sum Int) (Elem a) where
measure (Elem _) = Sum 1
newtype Seq a = Seq (FingerTree (Sum Int) (Elem a))Then the measure of a subsequence is simply its length. This representation supports log-time extraction of subsequences:
take :: Int -> Seq a -> Seq a take k (Seq xs) = Seq (takeUntil (> Sum k) xs) drop :: Int -> Seq a -> Seq a drop k (Seq xs) = Seq (dropUntil (> Sum k) xs)
The module Data.Sequence is an optimized instantiation of this type.
For further examples, see Data.IntervalMap.FingerTree and Data.PriorityQueue.FingerTree.